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