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.
|Number of pages||11|
|Journal||Information and Software Technology|
|Publication status||Published - Jun 1997|
- Deductive databases
- Logic programming
- Object-oriented databases
- Programming language semantics