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

Alvaro A A Fernandes; Maria L. Barja; Norman W. Paton; M. Howard Williams

doi:10.1016/S0950-5849(96)00007-9

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

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

Research output: Contribution to journal › Article › peer-review

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	10
Journal	Information and Software Technology
Volume	39
Issue number	6
DOIs	https://doi.org/10.1016/S0950-5849(96)00007-9
Publication status	Published - Jun 1997

Keywords

Deductive databases
Logic programming
Object-oriented databases
Programming language semantics

Access to Document

10.1016/S0950-5849(96)00007-9

Cite this

@article{0b90a8ea4df74c3db86c10785f904b3f,

title = "The formalisation of ROCK & ROLL: A deductive object-oriented database system",

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. {\textcopyright} 1997 Elsevier Science B.V.",

keywords = "Deductive databases, Logic programming, Object-oriented databases, Programming language semantics",

author = "Fernandes, {Alvaro A A} and Barja, {Maria L.} and Paton, {Norman W.} and Williams, {M. Howard}",

year = "1997",

month = jun,

doi = "10.1016/S0950-5849(96)00007-9",

language = "English",

volume = "39",

pages = "379--389",

journal = "Information and Software Technology",

issn = "1873-6025",

publisher = "Elsevier BV",

number = "6",

}

TY - JOUR

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

AU - Fernandes, Alvaro A A

AU - Barja, Maria L.

AU - Paton, Norman W.

AU - Williams, M. Howard

PY - 1997/6

Y1 - 1997/6

N2 - 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.

AB - 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.

KW - Deductive databases

KW - Logic programming

KW - Object-oriented databases

KW - Programming language semantics

U2 - 10.1016/S0950-5849(96)00007-9

DO - 10.1016/S0950-5849(96)00007-9

M3 - Article

SN - 1873-6025

VL - 39

SP - 379

EP - 389

JO - Information and Software Technology

JF - Information and Software Technology

IS - 6

ER -

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

Abstract

Keywords

Access to Document

Fingerprint

Cite this