THE FORMALIZATION OF ROCK-AND-ROLL - A DEDUCTIVE OBJECT-ORIENTED DATABASE SYSTEM

Authors
FERNANDES AAA BARJA ML PATON NW WILLIAMS MH
Citation
Aaa. Fernandes et al., THE FORMALIZATION OF ROCK-AND-ROLL - A DEDUCTIVE OBJECT-ORIENTED DATABASE SYSTEM, Information and software technology, 39(6), 1997, pp. 379-389
Citations number
38
Categorie Soggetti
Computer Sciences","Information Science & Library Science","Computer Science Information Systems","Computer Science Software Graphycs Programming
Journal title
Information and software technology → ACNP
ISSN journal
09505849
Volume
39
Issue
6
Year of publication
1997
Pages
379 - 389
Database
ISI
SICI code
0950-5849(1997)39:6<379:TFOR-A>2.0.ZU;2-#
Abstract
This paper describes the formalisation of the deductive object-oriente d database system ROCK & ROLL, This is a system which integrates the d eductive and object-oriented paradigms in a way that is both clean and consistent, and that has a sound theoretical foundation. The system u ses a formally defined object-oriented data model as a foundation for both a logic query language and an imperative data manipulation langua ge in such a way that impedance mismatches are minimised. This paper i ntroduces the facilities offered by ROCK & ROLL, and indicates how the ir formalisation has been achieved. (C) 1997 Elsevier Science B.V.