Strategies for deductive databases

There has recently been a growing interest in combining the technologies of database management, artificial intelligence and logic programming to produce deductive database systems. An increasing number of applications, including CAD/CAM, office automation, military and medical applications, which deal with large amounts of data and require knowledge-directed processing of these shared data, necessitate this combi­ nation. This paper discusses the current strategies for deductive databases. It attempts to provide a well organized categorization of the current approaches from the point of views of their overall architecture and how successful they could ultimately be. Particular emphasis is given to query processing strategies for deductive databases. Although the paper mainly refers to the rela­ tional databases, the main motivation for us for this survey was the need to implement efficient rule evalua­ tion mechanisms for Active KDL, an object-oriented database system, which is currently under development at the University of Georgia. This led us to view the current strategics for deductive databases from an object-oriented point of view as well.

[1]  Salvatore J. Stolfo,et al.  ACE: An Expert System for Telephone Cable Maintenance , 1983, IJCAI.

[2]  Tomasz Imielinski.  On Algebraic Query Processing in Logical Databases , 1982, Advances in Data Base Theory.

[3]  Karl Horak.  Turbo Prolog & dBase III plus , 1988 .

[4]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[5]  Peter van Emde Boas,et al.  Storing and Evaluating Horn-Clause Rules in a Relational Database , 1986, IBM J. Res. Dev..

[6]  Hendrik Decker,et al.  Some Steps Towards a DBMS-based KBMS , 1986, IFIP Congress.

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

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

[9]  Verónica Dahl,et al.  On database systems development through logic , 1982, TODS.

[10]  Shalom Tsur,et al.  LDL-a technology for the realization of tightly coupled expert database systems , 1988, IEEE Expert.

[11]  Matthias Jarke,et al.  On Integrating Logic Programming and Databases , 1984, Expert Database Workshop.

[12]  Narain H. Gehani,et al.  Rationale for the Design of Persistence and Query Processing Facilities in the Database Programming Language O++ , 1989, DBPL.

[13]  Matthias Jarke,et al.  Coupling Expert Systems with Database Management Systems , 1983 .

[14]  Eliezer L. Lozinskii,et al.  A problem-oriented inferential database system , 1986, TODS.

[15]  Michael Stonebraker,et al.  Future trends in data base systems , 1988, Proceedings. Fourth International Conference on Data Engineering.

[16]  Charles Kellogg,et al.  Deductive Methods for Large Data Bases , 1977, IJCAI.

[17]  Laurent Vieille.  Recursive Query Processing: Fundamental Algorithms and the DedGin System , 1988, Prolog and Databases.

[18]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[19]  Edward Sciore,et al.  Towards an Integrated Database-Prolog System , 1984, Expert Database Workshop.

[20]  Don S. Batory,et al.  An overview of the Object-Oriented Functional Data Language , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[21]  Patrick Valduriez,et al.  Relational Databases and Knowledge Bases , 1989 .

[22]  Mark H. Chignell,et al.  Intelligent databases , 1990 .

[23]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

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

[25]  T. Amble.  Logic programming and knowledge engineering , 1987 .

[26]  Roberto Barbuti,et al.  On the Integration of Logic Programming and Functional Programming , 1984, SLP.

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

[28]  W.D. Potter,et al.  KDL-advisor: a knowledge/data based system written in KDL , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[29]  Carol Small.  Guarded Default Databases: A Prototype Implementation , 1988, Prolog and Databases.

[30]  Carlo Zaniolo,et al.  LDL: A Logic-Based Data Language , 1986, VLDB.

[31]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[32]  Walter D. Potter,et al.  Traditional, semantic, and hypersemantic approaches to data modeling , 1988, Computer.

[33]  Walter D. Potter,et al.  Hyper-Semantic Data Modeling , 1989, Data Knowl. Eng..

[34]  Hal Berghel,et al.  Simplified integration of Prolog with RDBMS , 1985, DATB.

[35]  Christopher D. S. Moss,et al.  Intelligent databases , 1987 .

[36]  John Grant.  Logical introduction to databases , 1987 .

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

[38]  Michele Missikoff,et al.  Towards a Unified Approach for Expert and Database Systems , 1984, Expert Database Workshop.

[39]  Jeffrey D. Ullman,et al.  Implementation of logical query languages for databases , 1985, TODS.