LogicBase: a deductive database system prototype

A deductive database system prototype, LogicBase, has been developed, with an emphasis on efficient compilation and query evaluation of application-oriented recursions in deductive databases. The system identifies different classes of recursions and compiles recursions into chain or psuedo-chain forms when appropriate. Queries posed to the compiled recursions are analyzed systematically with efficient evaluation plans generated and executed, mainly based on a chained-based query evaluation method. The system has been tested using sophisticated recursions and queries with satisfactory performance. This paper introduces the general design principles and implementation techniques of the system and discusses its strength and limitations.

[1]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[2]  Richard E. Korf,et al.  Pruning Duplicate Nodes in Depth-First Search , 1993, AAAI.

[3]  Laks V. S. Lakshmanan,et al.  Evaluation of Regular Nonlinear Recursions by Deductive Database Techniques , 1995, Inf. Syst..

[4]  Richard E. Korf,et al.  Depth-First vs. Best-First Search: New Results , 1993, AAAI.

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

[6]  Tong Lu,et al.  N-Queens Problem Revisited: A Deductive Database Approach , 1992, Workshop on Deductive Databases, JICSLP.

[7]  Raghu Ramakrishnan,et al.  Efficient Transitive Closure Algorithms , 1988, VLDB.

[8]  Divesh Srivastava,et al.  CORAL - Control, Relations and Logic , 1992, VLDB.

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

[10]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[11]  Peter J. Stuckey,et al.  An Introduction to Aditi Deductive Database System , 1991, Aust. Comput. J..

[12]  Michael J. Maher,et al.  Expanding Query Power in Constraint Logic Programming Languages , 1989, NACLP.

[13]  Jiawei Han,et al.  Automatic generation of compiled forms for linear recursions , 1992, Inf. Syst..

[14]  Jeffrey D. Ullman,et al.  Principles of database and knowledge-base systems, Vol. I , 1988 .

[15]  Shinichi Morishita,et al.  Design and implementation of the glue-nail database system , 1993, SIGMOD Conference.

[16]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[17]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[18]  Kenneth A. Ross,et al.  Monotonic aggregation in deductive databases , 1992, J. Comput. Syst. Sci..

[19]  Hamid Pirahesh,et al.  The Magic of Duplicates and Aggregates , 1990, VLDB.

[20]  Richard E. Korf.  Linear-Space Best-First Search: Summary of Results , 1992, AAAI.

[21]  Jiawei Han,et al.  Asynchronous Chain Recursions , 1989, IEEE Trans. Knowl. Data Eng..

[22]  Jiawei Han,et al.  Multi-way counting method , 1989, Inf. Syst..

[23]  Carlo Zaniolo,et al.  The LDL System Prototype , 1990, IEEE Trans. Knowl. Data Eng..

[24]  Konstantinos Sagonas,et al.  Xsb as an Eecient Deductive Database Engine , 1994 .

[25]  Bin Jiang,et al.  A suitable algorithm for computing partial transitive closures in databases , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[26]  Jiawei Han,et al.  Constraint-Based Query Evaluation in Deductive Databases , 1994, IEEE Trans. Knowl. Data Eng..

[27]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1990, SGMD.

[28]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[29]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1991, CACM.

[30]  Divesh Srivastava,et al.  Coral++: Adding Object-Orientation to a Logic Database Language , 1993, VLDB.

[31]  Raymond T. Ng,et al.  Very large data bases , 1994 .

[32]  Ling Liu,et al.  LogicBase: A System Prototype for Deductive Query Evaluation , 1993, Workshop on Programming with Logic Databases , ILPS.

[33]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..