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

@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

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

...

[3]

Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153

[4]

Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250

[5]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173

[6]

...

[7]

Rakesh Agrawal, H. V. Jagadish: Direct Algorithms for Computing the Transitive Closure of Database Relations. VLDB 1987: 255-266

[8]

Rakesh Agrawal: Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. ICDE 1987: 580-590

[9]

Rakesh Agrawal, H. V. Jagadish: Multiprocessor Transitive Closure Algorithms. IEEE Data Eng. Bull. 12(1): 30-36(1989)

[10]

Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120

[11]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982)

[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

[13]

François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178

[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

[15]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52

[16]

François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517

[17]

...

[18]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60

[19]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105

[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

[22]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284

[23]

Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40

[24]

...

[25]

Jorge B. Bocca: On the Evaluation Strategy of EDUCE. SIGMOD Conference 1986: 368-378

[26]

Michael L. Brodie: Future Intelligent Information Systems: AI and Database Technologies Working Together. AAAI 1988: 844-845

[27]

François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50

[28]

Stefano Ceri, Georg Gottlob, Luigi Lavazza: Translation and Optimization of Logic Queries: The Algebraic Approach. VLDB 1986: 395-402

[29]

Stefano Ceri, Letizia Tanca: Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. VLDB 1987: 31-41

[30]

Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555

[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)

[33]

Stefano Ceri, Georg Gottlob, Gio Wiederhold: Efficient Database Access from Prolog. IEEE Trans. Software Eng. 15(2): 153-164(1989)

[34]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6

[35]

Upen S. Chakravarthy, Jack Minker, John Grant: Semantic Query Optimization: Additional Constraints and Control Strategies. Expert Database Conf. 1986: 345-379

[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

[37]

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985)

[38]

Ashok K. Chandra: Theory of Database Queries. PODS 1988: 1-9

[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

[42]

Chin-Liang Chang, Adrian Walker: PROSQL: A Prolog Programming Interface with SQL/DS. Expert Database Workshop 1984: 233-246

[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)

[44]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322

[45]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981

[46]

Frédéric Cuppens, Robert Demolombe: A Prolog-Relational DBMS Interface Using Delayed Evaluation. JCDKB 1988: 135-148

[47]

Rakesh Agrawal, Premkumar T. Devanbu: Moving Selections into Linear Least Fixpoint Queries. ICDE 1988: 452-461

[48]

...

[49]

Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312(1985)

[50]

Kazuhiro Fuchi: Revisiting Original Philosophy of Fifth Generation Computer Systems Project. FGCS 1984: 1-2

[51]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

[52]

Georges Gardarin, Christophe de Maindreville: Evaluation of Database Recursive Logic Programs as Recurrent Function Series. SIGMOD Conference 1986: 177-186

[53]

...

[54]

Georges Gardarin: Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. VLDB 1987: 21-30

[55]

...

[56]

...

[57]

...

[58]

Antonin Guttman: New Features for Relational Database Systems to Support CAD Applications. Ph.D. thesis, University of California, Berkeley 1984

[59]

Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85(1984)

[60]

...

[61]

Yannis E. Ioannidis, Eugene Wong: An Algebraic Approach to Recursive Inference. Expert Database Conf. 1986: 295-309

[62]

Yannis E. Ioannidis: On the Computation of the Transitive Closure of Relational Operators. VLDB 1986: 403-411

[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

[65]

Hidenori Itoh: Research and Development on Knowledge Bases Systems at ICOT. VLDB 1986: 437-445

[66]

Gerhard Jaeschke, Hans-Jörg Schek: Remarks on the Algebra of Non First Normal Form Relations. PODS 1982: 124-138

[67]

...

[68]

Michael Kifer, Eliezer L. Lozinskii: Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202

[69]

Won Kim, David S. Reiner, Don S. Batory (Eds.): Query Processing in Database Systems. Springer 1985, ISBN 3-540-13831-5
Contents

[70]

Jonathan J. King: QUIST: A System for Semantic Query Optimization in Relational Databases. VLDB 1981: 510-517

[71]

Phokion G. Kolaitis: The Expressive Power of Stratified Programs. Inf. Comput. 90(1): 50-66(1991)

[72]

Phokion G. Kolaitis, Christos H. Papadimitriou: Why Not Negation by Fixpoint? PODS 1988: 231-239

[73]

Ravi Krishnamurthy, Carlo Zaniolo: Optimization in a Logic Based Language for Knowledge and Data Intensive Applications. EDBT 1988: 16-33

[74]

Kenneth Kunen: Negation in Logic Programming. J. Log. Program. 4(4): 289-308(1987)

[75]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20

[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

[78]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[79]

...

[80]

...

[81]

Eliezer L. Lozinskii: Evaluating Queries in Deductive Databases by Generating. IJCAI 1985: 173-177

[82]

David Maier, David Scott Warren: Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, ISBN 0-8053-6681-4

[83]

...

[84]

Michael V. Mannino, Paicheng Chu, Thomas Sager: Statistical Profile Estimation in Database Systems. ACM Comput. Surv. 20(3): 191-221(1988)

[85]

...

[86]

G. Marque-Pucheu: Rational Set of Trees and the Algebraic Semantics of Logic Programming. Acta Inf. 20: 249-260(1983)

[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

[88]

Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568

[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)

[90]

Katherine A. Morris: An Algorithm for Ordering Subgoals in NAIL! PODS 1988: 82-88

[91]

...

[92]

Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6

[93]

Wolfgang Nejdl: Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy. VLDB 1987: 43-50

[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)

[95]

...

[96]

Teodor C. Przymusinski: Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. PODS 1989: 11-21

[97]

...

[98]

Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102

[99]

Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach to Logic Programs. ICLP/SLP 1988: 140-159

[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)

[102]

Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola: Traversal Recursion: A Practical Approach to Supporting Recursive Applications. SIGMOD Conference 1986: 166-176

[103]

Kenneth A. Ross: A Procedural Semantics for Well Founded Negation in Logic Programs. PODS 1989: 22-33

[104]

Domenico Saccà, Carlo Zaniolo: On the Implementation of a Simple Class of Logic Queries for Databases. PODS 1986: 16-23

[105]

...

[106]

Domenico Saccà, Carlo Zaniolo: Magic Counting Methods. SIGMOD Conference 1987: 49-59

[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)

[107]

Yehoshua Sagiv: Optimizing Datalog Programs. PODS 1987: 349-362

[108]

Lothar Schmitz: An improved transitive closure algorithm. Computing 30(4): 359-371(1983)

[109]

Claus-Peter Schnorr: An Algorithm for Transitive Closure with Linear Expected Time. SIAM J. Comput. 7(2): 127-133(1978)

[110]

John C. Shepherdson: Negation as Failure II. J. Log. Program. 2(3): 185-202(1985)

[111]

John C. Shepherdson: Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming. 1988: 19-88

[112]

Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. ICLP 1987: 152-177

[113]

...

[114]

David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg: Controlling Recursive Inference. Artif. Intell. 30(3): 343-389(1986)

[115]

Leon Sterling, Ehud Y. Shapiro: The Art of Prolog - Advanced Programming Techniques. MIT Press 1986, ISBN 0-262-19250-0

[116]

Mark E. Stickel: A Unification Algorithm for Associative-Commutative Functions. J. ACM 28(3): 423-434(1981)

[117]

...

[118]

...

[119]

Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41

[120]

Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985)

[121]

...

[122]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents

[123]

Patrick Valduriez, Haran Boral: Evaluation of Recursive Queries Using Join Indices. Expert Database Conf. 1986: 271-293

[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)

[125]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976)

[126]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230

[127]

Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10

[128]

Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267

[129]

Laurent Vieille: A Database-Complete Proof Procedure Based on SLD-Resolution. ICLP 1987: 74-103

[130]

Laurent Vieille: From QSQ towards QoSaQ: Global Optimization of Recursive Queries. Expert Database Conf. 1988: 743-778

[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)

[132]

Stephen Warshall: A Theorem on Boolean Matrices. J. ACM 9(1): 11-12(1962)

[133]

Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469

[134]

...

[135]

Carlo Zaniolo, Domenico Saccà: Rule Rewriting Methods in the Implementation of the Logic Language LDL. DS-3 1988: 457-483

[136]

...

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