dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

What you Always Wanted to Know About Datalog (And Never Dared to Ask).

Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166(1989)
@article{DBLP:journals/tkde/CeriGT89,
  author    = {Stefano Ceri and
               Georg Gottlob and
               Letizia Tanca},
  title     = {What you Always Wanted to Know About Datalog (And Never Dared
               to Ask)},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {1},
  number    = {1},
  year      = {1989},
  pages     = {146-166},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/69.43410},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1989 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

References

[1]
...
[2]
...
[3]
Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
...
[7]
Rakesh Agrawal, H. V. Jagadish: Direct Algorithms for Computing the Transitive Closure of Database Relations. VLDB 1987: 255-266 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Rakesh Agrawal: Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. ICDE 1987: 580-590 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Rakesh Agrawal, H. V. Jagadish: Multiprocessor Transitive Closure Algorithms. IEEE Data Eng. Bull. 12(1): 30-36(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
...
[18]
François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
...
[21]
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
...
[25]
Jorge B. Bocca: On the Evaluation Strategy of EDUCE. SIGMOD Conference 1986: 368-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[26]
Michael L. Brodie: Future Intelligent Information Systems: AI and Database Technologies Working Together. AAAI 1988: 844-845 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[28]
Stefano Ceri, Georg Gottlob, Luigi Lavazza: Translation and Optimization of Logic Queries: The Algebraic Approach. VLDB 1986: 395-402 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Stefano Ceri, Letizia Tanca: Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. VLDB 1987: 31-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
...
[32]
Stefano Ceri, Stefano Crespi-Reghizzi, Roberto Zicari, Gianfranco Lamperti, Luigi Lavazza: Algres: An Advanced System for Complex Applications. IEEE Software 7(4): 68-78(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
Stefano Ceri, Georg Gottlob, Gio Wiederhold: Efficient Database Access from Prolog. IEEE Trans. Software Eng. 15(2): 153-164(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[34]
Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
Upen S. Chakravarthy, Jack Minker, John Grant: Semantic Query Optimization: Additional Constraints and Control Strategies. Expert Database Conf. 1986: 345-379 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[36]
Upen S. Chakravarthy, John Grant, Jack Minker: Foundations of Semantic Query Optimization for Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 243-273 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[37]
Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[38]
Ashok K. Chandra: Theory of Database Queries. PODS 1988: 1-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[39]
...
[40]
...
[41]
Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[42]
Chin-Liang Chang, Adrian Walker: PROSQL: A Prolog Programming Interface with SQL/DS. Expert Database Workshop 1984: 233-246 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[43]
Danette Chimenti, Anthony B. O'Hare, Ravi Krishnamurthy, Shalom Tsur, Carolyn West, Carlo Zaniolo: An Overview of the LDL System. IEEE Data Eng. Bull. 10(4): 52-62(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[44]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[45]
W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[46]
Frédéric Cuppens, Robert Demolombe: A Prolog-Relational DBMS Interface Using Delayed Evaluation. JCDKB 1988: 135-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[47]
Rakesh Agrawal, Premkumar T. Devanbu: Moving Selections into Linear Least Fixpoint Queries. ICDE 1988: 452-461 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[48]
...
[49]
Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[50]
Kazuhiro Fuchi: Revisiting Original Philosophy of Fifth Generation Computer Systems Project. FGCS 1984: 1-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[51]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[52]
Georges Gardarin, Christophe de Maindreville: Evaluation of Database Recursive Logic Programs as Recurrent Function Series. SIGMOD Conference 1986: 177-186 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[53]
...
[54]
Georges Gardarin: Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. VLDB 1987: 21-30 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[55]
...
[56]
...
[57]
...
[58]
Antonin Guttman: New Features for Relational Database Systems to Support CAD Applications. Ph.D. thesis, University of California, Berkeley 1984
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[59]
Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[60]
...
[61]
Yannis E. Ioannidis, Eugene Wong: An Algebraic Approach to Recursive Inference. Expert Database Conf. 1986: 295-309 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[62]
Yannis E. Ioannidis: On the Computation of the Transitive Closure of Relational Operators. VLDB 1986: 403-411 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[63]
...
[64]
Yannis E. Ioannidis, Joanna Chen, Mark A. Friedman, Manolis M. Tsangaris: Bermuda - An Architectural Perspective on Interfacing Prolog to a Database Machine. Expert Database Conf. 1988: 229-255 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[65]
Hidenori Itoh: Research and Development on Knowledge Bases Systems at ICOT. VLDB 1986: 437-445 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[66]
Gerhard Jaeschke, Hans-Jörg Schek: Remarks on the Algebra of Non First Normal Form Relations. PODS 1982: 124-138 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[67]
...
[68]
Michael Kifer, Eliezer L. Lozinskii: Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[69]
Won Kim, David S. Reiner, Don S. Batory (Eds.): Query Processing in Database Systems. Springer 1985, ISBN 3-540-13831-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[70]
Jonathan J. King: QUIST: A System for Semantic Query Optimization in Relational Databases. VLDB 1981: 510-517 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[71]
Phokion G. Kolaitis: The Expressive Power of Stratified Programs. Inf. Comput. 90(1): 50-66(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[72]
Phokion G. Kolaitis, Christos H. Papadimitriou: Why Not Negation by Fixpoint? PODS 1988: 231-239 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[73]
Ravi Krishnamurthy, Carlo Zaniolo: Optimization in a Logic Based Language for Knowledge and Data Intensive Applications. EDBT 1988: 16-33 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[74]
Kenneth Kunen: Negation in Logic Programming. J. Log. Program. 4(4): 289-308(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[75]
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[76]
...
[77]
Erik Lambrichts, Peter Nees, Jan Paredaens, Peter Peelman, Letizia Tanca: Integration of Functions in the Fixpoint Semantics of Rule-Based Systems. MFDBS 1989: 301-316 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[78]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[79]
...
[80]
...
[81]
Eliezer L. Lozinskii: Evaluating Queries in Deductive Databases by Generating. IJCAI 1985: 173-177 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[82]
David Maier, David Scott Warren: Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, ISBN 0-8053-6681-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[83]
...
[84]
Michael V. Mannino, Paicheng Chu, Thomas Sager: Statistical Profile Estimation in Database Systems. ACM Comput. Surv. 20(3): 191-221(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[85]
...
[86]
G. Marque-Pucheu: Rational Set of Trees and the Algebraic Semantics of Logic Programming. Acta Inf. 20: 249-260(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[87]
G. Marque-Pucheu, J. Martin-Gallausiaux, Geneviève Jomier: Interfacing Prolog and Relational Data Base Management Systems. ICOD-2 Workshop on New Applications of Data Bases 1983: 225-244 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[88]
Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[89]
Katherine A. Morris, Jeffrey F. Naughton, Yatin P. Saraiya, Jeffrey D. Ullman, Allen Van Gelder: YAWN! (Yet Another Window on NAIL!). IEEE Data Eng. Bull. 10(4): 28-43(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[90]
Katherine A. Morris: An Algorithm for Ordering Subgoals in NAIL! PODS 1988: 82-88 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[91]
...
[92]
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[93]
Wolfgang Nejdl: Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy. VLDB 1987: 43-50 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[94]
Philip A. Bernstein, Umeshwar Dayal, David J. DeWitt, Dieter Gawlick, Jim Gray, Matthias Jarke, Bruce G. Lindsay, Peter C. Lockemann, David Maier, Erich J. Neuhold, Andreas Reuter, Lawrence A. Rowe, Hans-Jörg Schek, Joachim W. Schmidt, Michael Schrefl, Michael Stonebraker: Future Directions in DBMS Research - The Laguna Beach Participants. SIGMOD Record 18(1): 17-26(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[95]
...
[96]
Teodor C. Przymusinski: Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. PODS 1989: 11-21 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[97]
...
[98]
Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[99]
Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach to Logic Programs. ICLP/SLP 1988: 140-159 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[100]
...
[101]
J. Rohmer, R. Lescoeur, Jean-Marc Kerisit: The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. New Generation Comput. 4(3): 273-285(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[102]
Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola: Traversal Recursion: A Practical Approach to Supporting Recursive Applications. SIGMOD Conference 1986: 166-176 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[103]
Kenneth A. Ross: A Procedural Semantics for Well Founded Negation in Logic Programs. PODS 1989: 22-33 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[104]
Domenico Saccà, Carlo Zaniolo: On the Implementation of a Simple Class of Logic Queries for Databases. PODS 1986: 16-23 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[105]
...
[106]
Domenico Saccà, Carlo Zaniolo: Magic Counting Methods. SIGMOD Conference 1987: 49-59 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[106a]
Domenico Saccà, M. Dispinzeri, A. Mecchia, Clara Pizzuti, C. Del Gracco, Paolo Naggar: The Advanced Database Environment of the KIWI System. IEEE Data Eng. Bull. 10(4): 20-27(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[107]
Yehoshua Sagiv: Optimizing Datalog Programs. PODS 1987: 349-362 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[108]
Lothar Schmitz: An improved transitive closure algorithm. Computing 30(4): 359-371(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[109]
Claus-Peter Schnorr: An Algorithm for Transitive Closure with Linear Expected Time. SIAM J. Comput. 7(2): 127-133(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[110]
John C. Shepherdson: Negation as Failure II. J. Log. Program. 2(3): 185-202(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[111]
John C. Shepherdson: Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming. 1988: 19-88 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[112]
Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. ICLP 1987: 152-177 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[113]
...
[114]
David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg: Controlling Recursive Inference. Artif. Intell. 30(3): 343-389(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[115]
Leon Sterling, Ehud Y. Shapiro: The Art of Prolog - Advanced Programming Techniques. MIT Press 1986, ISBN 0-262-19250-0
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[116]
Mark E. Stickel: A Unification Algorithm for Associative-Commutative Functions. J. ACM 28(3): 423-434(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[117]
...
[118]
...
[119]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[120]
Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[121]
...
[122]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[123]
Patrick Valduriez, Haran Boral: Evaluation of Recursive Queries Using Join Indices. Expert Database Conf. 1986: 271-293 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[124]
Patrick Valduriez, Setrag Khoshafian: Parallel Evaluation of the Transitive Closure of a Database Relation. International Journal of Parallel Programming 17(1): 19-37(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[125]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[126]
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[127]
Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[128]
Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[129]
Laurent Vieille: A Database-Complete Proof Procedure Based on SLD-Resolution. ICLP 1987: 74-103 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[130]
Laurent Vieille: From QSQ towards QoSaQ: Global Optimization of Recursive Queries. Expert Database Conf. 1988: 743-778 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[131]
Henry S. Warren Jr.: A Modification of Warshall's Algorithm for the Transitive Closure of Binary Relations. Commun. ACM 18(4): 218-220(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[132]
Stephen Warshall: A Theorem on Boolean Matrices. J. ACM 9(1): 11-12(1962) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[133]
Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[134]
...
[135]
Carlo Zaniolo, Domenico Saccà: Rule Rewriting Methods in the Implementation of the Logic Language LDL. DS-3 1988: 457-483 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[136]
...

Last update Fri Sep 14 18:25:52 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page