An Implementation Overview of the Aditi Deductive Database System

Deductive databases generalize relational databases by providing support for mecursive views and non-atomic data. Aditi is a deductive database system based on the client-server model: it is inherently multi-user and capable of exploiting parallelism on shared-memory multiprocessors. The back-end uses relational technology for efficiency in the management of disk based data and uses optimization algorithms especially developed for the bottom-up evaluation of logical queries involving recursion. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.

[1]  James Harland,et al.  Constraint Propagation for Linear Recursive Rules , 1993, ICLP.

[2]  Divesh Srivastava,et al.  Query Restricted Bottom-Up Evaluation of Normal Logic Programs , 1992, JICSLP.

[3]  Kotagiri Ramamohanarao,et al.  Design overview of the Aditi deductive database system , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[4]  Kotagiri Ramamohanarao,et al.  A Generalization of the Differential Approach to Recursive Query Evaluation , 1987, J. Log. Program..

[5]  Kotagiri Ramamohanarao,et al.  Right-, left- and multi-linear rule transformations that maintain context information , 1990, VLDB.

[6]  Divesh Srivastava,et al.  Magic Sets and Bottom-Up Evaluation of Well-Founded Models , 1991, ISLP.

[7]  J. P. Linderman.  The UNIX system: Theory and practice in the construction of a working sort routine , 1984, AT&T Bell Laboratories Technical Journal.

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

[9]  Kotagiri Ramamohanarao,et al.  Efficient Bottom-UP Computation of Queries on Stratified Databases , 1991, J. Log. Program..

[10]  Carlo Zaniolo,et al.  Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic , 1987, ICLP.

[11]  Kotagiri Ramamohanarao,et al.  A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases , 1986, ICLP.

[12]  Divesh Srivastava,et al.  Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs , 1990, IEEE Trans. Knowl. Data Eng..

[13]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[14]  Peter J. Stuckey,et al.  Analysis Based Constraint Query Optimization , 1993, ICLP.

[15]  Masaya Nakayama,et al.  Hash-Partitioned Join Method Using Dynamic Destaging Strategy , 1988, VLDB.