The Implementation of a Deductive Query Language over an OODB

The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by defining an imperative programming language, ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement of deductive methods (predicates) within classes; encapsulation; overriding and late binding. This paper describes the task of implementing an evaluator and optimizer for ROLL, explaining how existing implementation techniques for deductive languages were adapted to meet these requirements and extended to support novel types of optimization.

[1]  Patrick Valduriez,et al.  Optimization of object-oriented recursive queries using cost-controlled strategies , 1992, SIGMOD '92.

[2]  M. Tamer Özsu,et al.  Execution Plan Generation for an Object-Oriented Dat Model , 1991, DOOD.

[3]  Stanley B. Zdonik,et al.  Object-Oriented Queries: Equivalence and Optimization , 1989, DOOD.

[4]  Michael Kifer,et al.  On compile-time query optimization in deductive databases by means of static filtering , 1990, TODS.

[5]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[6]  Won Kim,et al.  Indexing Techniques for Object-Oriented Databases , 1989, Object-Oriented Concepts, Databases, and Applications.

[7]  Jeffrey D. Ullman,et al.  Bottom-up beats top-down for datalog , 1989, PODS '89.

[8]  Alon Y. Halevy,et al.  Query Optimization by Predicate Move-Around , 1994, VLDB.

[9]  Patrick Valduriez,et al.  Query Optimization for Database Programming Languages , 1989, DOOD.

[10]  Letizia Tanca,et al.  Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries , 1987, VLDB.

[11]  A. Richard Helm,et al.  Detecting and Eliminating Redundant derivations in Logic Knowledge Bases , 1989, DOOD.

[12]  Beng Chin Ooi,et al.  Efficient Access Methods in Deductive and Object-Oriented Databases , 1991, DOOD.

[13]  Catriel Beeri,et al.  Sets and negation in a logic data base language (LDL1) , 1987, PODS.

[14]  Laurent Vieille,et al.  On Deductive Query Evaluation in the DedGin* System , 1989, DOOD.

[15]  Gillian Dobbie,et al.  A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems , 1993, DOOD.

[16]  Michael J. Carey,et al.  The design of the E programming language , 1993, TOPL.

[17]  Raghu Ramakrishnan,et al.  Magic Templates: A Spellbinding Approach To Logic Programs , 1991, J. Log. Program..

[18]  David J. DeWitt,et al.  The EXODUS Extensible DBMS Project: An Overview , 1989 .

[19]  Won Kim,et al.  A Model of Queries for Object-Oriented Databases , 1989, VLDB.

[20]  Suzanne W. Dietrich,et al.  Extension Tables: Memo Relations in Logic Programming , 1987, SLP.

[21]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..