The interpreted-compiled range of AI/DB systems

A range of approaches to integrating rule-based Artificial Intelligence (AI) systems and Database Management Systems are classified according to the degree of compilation that is performed by the AI system. This interpreted—compiled range provides a framework for enumerating several relevant aspects of AI/DB systems, for showing how these aspects vary along the dimension, and for comparing and contrasting previous work on AI/DB systems. In particular, this framework focuses on the nature of the interaction between the two systems as well as some of the consequences of the particular approach with respect to the utilization, functionality, and performance of each of the two systems.

[1]  Deyi Li.  A PROLOG database system , 1984 .

[2]  Georg Gottlob,et al.  Interfacing Relational Databases and Prolog Efficiently , 1986, Expert Database Conf..

[3]  Robert A. Kowalski,et al.  A Proof Procedure Using Connection Graphs , 1975, JACM.

[4]  Adrian Walker,et al.  PROSQL: A Prolog Programming Interface with SQL/DS , 1984, Expert Database Workshop.

[5]  Chin-Liang Chang.  DEDUCE 2: Further Investigations of Deduction in Relational Data Bases , 1977, Logic and Data Bases.

[6]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[7]  Jack Minker,et al.  Interfacing Predicate Logic Languages and Relational Databases , 1982, ICLP.

[8]  Matthias Jarke,et al.  An optimizing prolog front-end to a relational query system , 1984, SIGMOD '84.

[9]  R. Ramakrishnan,et al.  A framework for testing safety and effective computability of extended datalog , 1988, SIGMOD '88.

[10]  Hongjun Lu,et al.  Very Large Parallel Data Flow , 1988 .

[11]  Patrick Valduriez,et al.  FAD, a Powerful and Simple Database Language , 1987, VLDB.

[12]  Werner Kießling,et al.  Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration , 1987, SLP.

[13]  Jack Minker.  An Experimental Relational Data Base System Based on Logic , 1977, Logic and Data Bases.

[14]  Dik Lun Lee,et al.  Logic Approaches for Deductive Databases , 1988, IEEE Expert.

[15]  Koichi Furukawa,et al.  A Deductive Question Answering System on Relational Data Bases , 1977, IJCAI.

[16]  Michael L. Brodie.  Future Intelligent Information Systems: AI and Database Technologies Working Together , 1988, AAAI.

[17]  Dan Kogan,et al.  FDE: A System for Experiments in Interfaces Between Logic Programming and Database Systems , 1986 .

[18]  A. B. O'Hare.  Towards declarative control of computational deduction , 1987 .

[19]  Timos K. Sellis,et al.  Deep Compilation of Large Rule Bases , 1988, Expert Database Conf..

[20]  Charles Kellogg,et al.  Deductive Planning and Pathfinding for Relational Data Bases , 1977, Logic and Data Bases.

[21]  Charles Kellogg,et al.  Reasoning with Data in a Deductively Augmented Data Management System , 1979, Advances in Data Base Theory.

[22]  Raymond Reiter,et al.  Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.

[23]  Sharon Sickel,et al.  A Search Technique for Clause Interconnectivity Graphs , 1976, IEEE Transactions on Computers.

[24]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[25]  Jorge B. Bocca.  EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS , 1986, SLP.

[26]  Rakesh Agrawal.  Alpha: An extension of relational algebra to express a class of recursive queries , 1987, 1987 IEEE Third International Conference on Data Engineering.

[27]  Yannis E. Ioannidis,et al.  Bermuda - An Architectural Perspective on Interfacing Prolog to a Database Machine , 1988, Expert Database Conf..

[28]  Amit P. Sheth.  Does loose AI-DBMS coupling stand a chance? , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[29]  Douglas Stott Parker.  Integrating AI and DBMS through stream processing , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.