This paper presents an approach to the development of a deductive object-oriented database system, describing the key design decisions and their consequences for implementation. The approach is novel, in that it integrates an object-oriented database system manipulated using an imperative programming language (ROCK) with a logic language for expressing queries and methods (ROLL). The integration is made seamless by deriving both the imperative and logic languages from a single formally defined data model, thereby avoiding impedance mismatches when they are integrated. Copyright© 1995 Elsevier Science Ltd.
|Number of pages||27|
|Publication status||Published - 1995|
- Database Programming
- Deductive Databases
- Deductive Object-Oriented Databases
- Logic Programming
- Object-Oriented Databases