The LDL System Prototype.

@article{DBLP:journals/tkde/ChimentiGKNTZ90,
  author    = {Danette Chimenti and
               Ruben Gamboa and
               Ravi Krishnamurthy and
               Shamim A. Naqvi and
               Shalom Tsur and
               Carlo Zaniolo},
  title     = {The LDL System Prototype},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {2},
  number    = {1},
  year      = {1990},
  pages     = {76-90},
  ee        = {db/journals/tkde/ChimentiGKNTZ90.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1990 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]

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

[2]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148

[3]

François Bancilhon, Peter Buneman (Eds.): Advances in Database Programming Languages, Papers from DBPL-1, September 1987, Roscoff, France. ACM Press / Addison-Wesley 1990, ISBN 0-201-50257-7
Contents

[4]

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

[5]

Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987)

[6]

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

[7]

...

[8]

Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan: Bounds on the Propagation of Selection into Logic Programs. PODS 1987: 214-226

[9]

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(1/2/3&4): 181-232(1991)

[10]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15

[11]

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

[12]

Haran Boral: Parallelism in Bubba. DPDS 1988: 68-71

[13]

Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. 1986: 207-223

[14]

...

[15]

...

[16]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168

[17]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Towards on Open Architecture for LDL. VLDB 1989: 195-203

[18]

George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325

[19]

...

[20]

...

[21]

...

[22]

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

[23]

...

[24]

David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4

[25]

Yannis E. Ioannidis, Eugene Wong: Query Optimization by Simulated Annealing. SIGMOD Conference 1987: 9-22

[26]

Matthias Jarke, James Clifford, Yannis Vassiliou: An Optimizing Prolog Front-End to a Relational Query System. SIGMOD Conference 1984: 296-306

[27]

Charles Kellogg, Anthony B. O'Hare, Larry Travis: Optimizing the Rule-Data Interface in a KMS. VLDB 1986: 42-51

[28]

Won Kim, Frederick H. Lochovsky (Eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press and Addison-Wesley 1989, ISBN 0-201-14410-7
Contents

[29]

Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo: Database Transactions in LDL. NACLP 1989: 795-815

[30]

Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986: 128-137

[31]

Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424

[32]

Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263

[33]

Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli: A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). SIGMOD Conference 1988: 154-163

[34]

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

[35]

...

[36]

...

[37]

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

[38]

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)

[39]

...

[40]

Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262

[41]

...

[42]

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

[43]

...

[44]

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

[45]

Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81

[46]

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

[47]

Domenico Saccà, Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. ICLP 1987: 104-135

[48]

Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. Theor. Comput. Sci. 62(1-2): 187-220(1988)

[49]

Domenico Saccà, Carlo Zaniolo: Differential Fixpoint Methods and Stratification of Logic Programs. JCDKB 1988: 49-58

[50]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977)

[51]

Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, Thomas G. Price: Access Path Selection in a Relational Database Management System. SIGMOD Conference 1979: 23-34

[52]

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

[53]

Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). PODS 1988: 15-28

[54]

Arun N. Swami, Anoop Gupta: Optimization of Large Join Queries. SIGMOD Conference 1988: 8-17

[55]

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

[56]

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

[57]

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

[58]

...

[59]

Carlo Zaniolo: Prolog: A Database Query Language for All Seasons. Expert Database Workshop 1984: 219-232

[60]

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

[61]

Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. Expert Database Conf. 1986: 237-252

[62]

Carlo Zaniolo: Design and Implementation of a Logic Based Language for Data Intensive Applications. ICLP/SLP 1988: 1666-1687