606 search results - page 6 / 122 » Algebras and Update Strategies |
CADE
2000
Springer
14 years 3 days ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
DOOD
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
IAJIT
2010
13 years 6 months ago
2010
: Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
Current object database management systems support user-defined conversion functions to update the database once the schema has been modified. Two main strategies are possible whe...