Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 185-211 |
| Number of pages | 27 |
| Journal | Information Systems |
| Volume | 20 |
| Issue number | 3 |
| Publication status | Published - 1995 |
Keywords
- Database Programming
- Deductive Databases
- Deductive Object-Oriented Databases
- Logic Programming
- Object-Oriented Databases