Implementing logic programs as a database system
暂无分享,去创建一个
[1] Jack Minker,et al. On recursive axioms in deductive databases , 1983, Inf. Syst..
[2] Michael Kifer,et al. Can We Implement Logic as a Database System? , 1986, XP7.52 Workshop on Database Theory.
[3] Jeffrey D. Ullman,et al. Principles of Database Systems , 1980 .
[4] Eliezer L. Lozinskii,et al. Evaluating Queries in Deductive Databases by Generating , 1985, IJCAI.
[5] Harry B. Hunt,et al. Processing Conjunctive Predicates and Queries , 1980, VLDB.
[6] Carlo Zaniolo,et al. Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic , 1987, ICLP.
[7] Michael Kifer,et al. Filtering Data Flow in Deductive Databases , 1986, ICDT.
[8] Stuart C. Shapiro,et al. Using Active Connection Graphs for Reasoning with Recursive Rules , 1981, IJCAI.
[9] Chin-Liang Chang. On Evaluation of Queries Containing Derived Relations in a Relational Data Base , 1979, Advances in Data Base Theory.
[10] Jeffrey D. Ullman,et al. Implementation of logical query languages for databases , 1985, TODS.
[11] Suzanne W. Dietrich,et al. Extension Tables: Memo Relations in Logic Programming , 1987, SLP.
[12] Carlo Zaniolo. The Representation and Deductive Retrieval of Complex Objects , 1985, VLDB.