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

LDL: A Logic-Based Data Language.

Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41
@inproceedings{DBLP:conf/vldb/TsurZ86,
  author    = {Shalom Tsur and
               Carlo Zaniolo},
  editor    = {Wesley W. Chu and
               Georges Gardarin and
               Setsuo Ohsuga and
               Yahiko Kambayashi},
  title     = {LDL: A Logic-Based Data Language},
  booktitle = {VLDB'86 Twelfth International Conference on Very Large Data Bases,
               August 25-28, 1986, Kyoto, Japan, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-18-4},
  pages     = {33-41},
  ee        = {http://www.vldb.org/conf/1986/P033.PDF},
  crossref  = {DBLP:conf/vldb/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

In this paper we describe the considerations that led us to the design of LDL and provide an overview of the features of this language. LDL is designed to combine the flexibility of logic programming with the high performance of the relational database technology. The design offers an improved mode of control over the existing logic programming languages together with an enriched repertoire of data objects and constructs, including: sets, updates and negation. These advantages are realized by means of a compilation technology.

Copyright © 1986 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Printed Edition

Wesley W. Chu, Georges Gardarin, Setsuo Ohsuga, Yahiko Kambayashi (Eds.): VLDB'86 Twelfth International Conference on Very Large Data Bases, August 25-28, 1986, Kyoto, Japan, Proceedings. Morgan Kaufmann 1986, ISBN 0-934613-18-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Ait85]
Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Banc85]
...
[Banc86]
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
[Banc86a]
François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bocc86]
Jorge B. Bocca: On the Evaluation Strategy of EDUCE. SIGMOD Conference 1986: 368-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Camp84]
...
[Clock84]
...
[Dada86]
Peter Dadam, Klaus Küspert, F. Andersen, Henk M. Blanken, R. Erbe, Jürgen Günauer, Vincent Y. Lum, Peter Pistor, Georg Walch: A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies. SIGMOD Conference 1986: 356-367 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gall78]
...
[Gall84]
...
[Gall84a]
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
[IBM81]
...
[Jark84]
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
[Kell86]
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
[Keller86]
...
[Kowa79]
Robert A. Kowalski: Algorithm = Logic + Control. Commun. ACM 22(7): 424-436(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kun82]
...
[Morr86]
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
[Lloyd84]
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Naish85]
Lee Naish: All Solutions Predicates in Prolog. SLP 1985: 73-77 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Naqvi86]
...
[Park84]
Douglas Stott Parker Jr., Michael J. Carey, Forouzan Golshani, Matthias Jarke, Edward Sciore, Adrian Walker: Logic Programming and Databases. Expert Database Workshop 1984: 35-48 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Quin85]
...
[Ram85]
Raghu Ramakrishnan, Abraham Silberschatz: The MR Diagram - A Model for Conceptual Database Design. VLDB 1985: 376-393 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Smith77]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Stick81]
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
[Ull85]
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
[Zani85]
Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zani84]
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
[Zani86]
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

Last update Mon Sep 17 22:00:42 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