Design and Implementation of ROCK & ROLL: A Deductive Object-Oriented Database System

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. Key words: Deductive Object-Oriented Databases, Deductive Databases, Object-Oriented Databases, Database Programming, Logic Programming. 1. INTRODUCTION The two most prominent of the emerging approaches to database programming build upon the deductive and the object-oriented paradigms. Both of these approaches have significant strengths. Deductive databases (DDBs) have a formal basis in first order logic, support expressi..