Designing access methods for bitemporal databases
A multiagent update process in a database with temporal data dependencies and schema versioning
Topological invariants for lines
OSAM*.KBMS/P: a parallel, active, object-oriented knowledge base server
Arbitration (or how to merge knowledge bases)
A logic-based transformation system
Coherence approach to logic program revision
Advanced transaction processing in multilevel secure file stores
The design and implementation of seeded trees: an efficient method for spatial joins
A highly effective partition selection policy for object database garbage collection
Distributed optimistic concurrency control methods for high-performance transaction processing
Reorganizing knowledge to improve performance