Design and implementation of ROCK & ROLL: A deductive object-oriented database system

Maria L. Barja; Alvaro A A Fernandes; Norman W. Paton; M. Howard Williams; Andrew Dinn; Alia I. Abdelmoty

doi:10.1016/0306-4379(95)00009-S

Design and implementation of ROCK & ROLL: A deductive object-oriented database system

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

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

Abstract

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. © 1995.

Original language	English
Pages (from-to)	185-211
Number of pages	26
Journal	Information Systems
Volume	20
Issue number	3
DOIs	https://doi.org/10.1016/0306-4379(95)00009-S
Publication status	Published - May 1995

Keywords

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

Access to Document

10.1016/0306-4379(95)00009-S

Cite this

@article{190b240caaa9435190c2affcceae1615,

title = "Design and implementation of ROCK & ROLL: A deductive object-oriented database system",

abstract = "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. {\textcopyright} 1995.",

keywords = "Database Programming, Deductive Databases, Deductive Object-Oriented Databases, Logic Programming, Object-Oriented Databases",

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

year = "1995",

month = may,

doi = "10.1016/0306-4379(95)00009-S",

language = "English",

volume = "20",

pages = "185--211",

journal = "Information Systems",

issn = "0306-4379",

publisher = "Elsevier BV",

number = "3",

}

TY - JOUR

T1 - Design and implementation of ROCK & ROLL: A deductive object-oriented database system

AU - Barja, Maria L.

AU - Fernandes, Alvaro A A

AU - Paton, Norman W.

AU - Williams, M. Howard

AU - Dinn, Andrew

AU - Abdelmoty, Alia I.

PY - 1995/5

Y1 - 1995/5

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

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

KW - Database Programming

KW - Deductive Databases

KW - Deductive Object-Oriented Databases

KW - Logic Programming

KW - Object-Oriented Databases

U2 - 10.1016/0306-4379(95)00009-S

DO - 10.1016/0306-4379(95)00009-S

M3 - Article

SN - 0306-4379

VL - 20

SP - 185

EP - 211

JO - Information Systems

JF - Information Systems

IS - 3

ER -

Design and implementation of ROCK & ROLL: A deductive object-oriented database system

Abstract

Keywords

Access to Document

Fingerprint

Cite this