Presents the design and implementation of a deductive object-oriented database which is built upon a formally defined data model that uses two languages: an imperative programming language called ROCK (Rule Object Computation Kernel), and a logic language called ROLL (Rule Object Logic Language). (LRW)

Investigates the manipulation of large sets of two-dimensional data representing multiple overlapping features, and presents a new access method, the MOF-tree. Analyzes storage requirements and time with respect to window query operations involving multiple features. Examines both the pointer-based and pointerless MOF-tree representations.…

Investigates new design options for extended schema versioning support for multitemporal relational databases. Discusses the improved functionalities they may provide. Outlines options and basic motivations for the new design solutions, as well as techniques for the management of proposed schema versioning solutions, includes algorithms and…