Design and implementation of rock & roll: A deductive object-oriented database system

Maria L. Barja, A. A A Fernandes, Norman W. Paton, M. Howard Williams, Ndrew Dinn, Alia I. Abdelmoty

Research output: Contribution to journalArticlepeer-review

32 Citations (Scopus)


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 languageEnglish
Pages (from-to)185-211
Number of pages27
JournalInformation Systems
Issue number3
Publication statusPublished - 1995


  • Database Programming
  • Deductive Databases
  • Deductive Object-Oriented Databases
  • Logic Programming
  • Object-Oriented Databases


Dive into the research topics of 'Design and implementation of rock & roll: A deductive object-oriented database system'. Together they form a unique fingerprint.

Cite this