Abstract
This paper describes the formalisation of the deductive object-oriented database system ROCK & ROLL. This is a system which integrates the deductive and object-oriented paradigms in a way that is both clean and consistent, and that has a sound theoretical foundation. The system uses a formally defined object-oriented data model as a foundation for both a logic query language and an imperative data manipulation language in such a way that impedance mismatches are minimised. This paper introduces the facilities offered by ROCK & ROLL, and indicates how their formalisation has been achieved. © 1997 Elsevier Science B.V.
| Original language | English |
|---|---|
| Pages (from-to) | 379-389 |
| Number of pages | 11 |
| Journal | Information and Software Technology |
| Volume | 39 |
| Issue number | 6 |
| Publication status | Published - Jun 1997 |
Keywords
- Deductive databases
- Logic programming
- Object-oriented databases
- Programming language semantics