606 search results - page 6 / 122 » Algebras and Update Strategies |
CADE
2000
Springer
15 years 1 months 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
15 years 1 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
15 years 10 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...
63
Voted
IAJIT
2010
14 years 8 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
15 years 1 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...