ACM SIGMOD Anthology VLDB dblp.uni-trier.de

The Representation and Deductive Retrieval of Complex Objects.

Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469
@inproceedings{DBLP:conf/vldb/Zaniolo85,
  author    = {Carlo Zaniolo},
  editor    = {Alain Pirotte and
               Yannis Vassiliou},
  title     = {The Representation and Deductive Retrieval of Complex Objects},
  booktitle = {VLDB'85, Proceedings of 11th International Conference on Very
               Large Data Bases, August 21-23, 1985, Stockholm, Sweden},
  publisher = {Morgan Kaufmann},
  year      = {1985},
  pages     = {458-469},
  ee        = {db/conf/vldb/Zaniolo85.html},
  crossref  = {DBLP:conf/vldb/85},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The Relational Data Model and Relational Calculus are extended with Unification and non-recursive Horn Clauses from Logic. The benefits gained include better versatility and a richer functionality for expressing complex Jack, deductive queries and rule-based infer- ences. Applications include semantic data models for Databases, frames for Knowledge-based systems, and Complex Objects for CAD. An Extended Relational Algebra (ERA) is introduced that has the same expres- sive power as the new Calculus. The algorithm given for translating from Calculus to ERA supplies a sound basis for the compilation of these Horn clauses, and their implementation using query optimization and other techniques currently used in database systems.

Copyright © 1985 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.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Alain Pirotte, Yannis Vassiliou (Eds.): VLDB'85, Proceedings of 11th International Conference on Very Large Data Bases, August 21-23, 1985, Stockholm, Sweden. Morgan Kaufmann 1985
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Aho 79]
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
[Bancilhon 80]
François Bancilhon, Michel Scholl: On Designing an I/O Processor for a Relational Data Base Machine. SIGMOD Conference 1980: 93-93g CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Campbell 84]
...
[Chandra 82]
Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Chang 81]
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
[Codd 72]
E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Dwork 84]
Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell: On the Sequential Nature of Unification. J. Log. Program. 1(1): 35-50(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gallaire 84]
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
[Henschen 84]
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
[Jarke 84]
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
[Kowalski 75]
Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kowalski 84]
...
[McKay 81]
...
[Naqvi 83]
Shamim A. Naqvi, Lawrence J. Henschen: Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Li 84]
...
[Parker 85]
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
[Reiter 78]
Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Smith 77]
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
[Tsur 84]
Shalom Tsur, Carlo Zaniolo: An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End. SIGMOD Conference 1984: 286-295 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ullman 80]
Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ullman 85]
Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases (Abstract). SIGMOD Conference 1985: 444 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Winston 79]
...
[Zaniolo 83]
Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zaniolo 84]
Carlo Zaniolo: Object-Oriented Programming in Prolog. SLP 1984: 265-270 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zaniolo 85]
...
[Zloof 85]
...

Copyright © Mon Mar 15 03:55:49 2010 by Michael Ley (ley@uni-trier.de)