The formalisation of ROCK & ROLL: A deductive object-oriented database system

A. A A Fernandes, Maria L. Barja, Norman W. Paton, Howard Williams

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)


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 languageEnglish
Pages (from-to)379-389
Number of pages11
JournalInformation and Software Technology
Issue number6
Publication statusPublished - Jun 1997


  • Deductive databases
  • Logic programming
  • Object-oriented databases
  • Programming language semantics


Dive into the research topics of 'The formalisation of ROCK & ROLL: A deductive object-oriented database system'. Together they form a unique fingerprint.

Cite this