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 journalArticle

2 Citations (Scopus)

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

Keywords

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

Fingerprint 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

    Fernandes, A. A. A., Barja, M. L., Paton, N. W., & Williams, H. (1997). The formalisation of ROCK & ROLL: A deductive object-oriented database system. Information and Software Technology, 39(6), 379-389.