ACM SIGMOD Anthology TKDE dblp.uni-trier.de

The LDL System Prototype.

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990)
@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

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]
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
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
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
[5]
Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
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
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Jorge B. Bocca: On the Evaluation Strategy of EDUCE. SIGMOD Conference 1986: 368-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Haran Boral: Parallelism in Bubba. DPDS 1988: 68-71 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. 1986: 207-223 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
...
[15]
...
[16]
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Towards on Open Architecture for LDL. VLDB 1989: 195-203 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
...
[24]
David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
Yannis E. Ioannidis, Eugene Wong: Query Optimization by Simulated Annealing. SIGMOD Conference 1987: 9-22 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[26]
Matthias Jarke, James Clifford, Yannis Vassiliou: An Optimizing Prolog Front-End to a Relational Query System. SIGMOD Conference 1984: 296-306 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
Charles Kellogg, Anthony B. O'Hare, Larry Travis: Optimizing the Rule-Data Interface in a KMS. VLDB 1986: 42-51 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo: Database Transactions in LDL. NACLP 1989: 795-815 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986: 128-137 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[34]
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
[35]
...
[36]
...
[37]
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
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[39]
...
[40]
Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[41]
...
[42]
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
[43]
...
[44]
Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[45]
Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[46]
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
[47]
Domenico Saccà, Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. ICLP 1987: 104-135 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[48]
Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. Theor. Comput. Sci. 62(1-2): 187-220(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[49]
Domenico Saccà, Carlo Zaniolo: Differential Fixpoint Methods and Stratification of Logic Programs. JCDKB 1988: 49-58 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[50]
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[52]
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
[53]
Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). PODS 1988: 15-28 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[54]
Arun N. Swami, Anoop Gupta: Optimization of Large Join Queries. SIGMOD Conference 1988: 8-17 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[55]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[56]
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
[57]
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
[58]
...
[59]
Carlo Zaniolo: Prolog: A Database Query Language for All Seasons. Expert Database Workshop 1984: 219-232 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[60]
Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[61]
Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. Expert Database Conf. 1986: 237-252 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[62]
Carlo Zaniolo: Design and Implementation of a Logic Based Language for Data Intensive Applications. ICLP/SLP 1988: 1666-1687 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 04:07:37 2010 by Michael Ley (ley@uni-trier.de)