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

An Implementation Model for Reasoning with Complex Objects.

Qiming Chen, Georges Gardarin: An Implementation Model for Reasoning with Complex Objects. SIGMOD Conference 1988: 164-172
@inproceedings{DBLP:conf/sigmod/ChenG88,
  author    = {Qiming Chen and
               Georges Gardarin},
  editor    = {Haran Boral and
               Per-{\AA}ke Larson},
  title     = {An Implementation Model for Reasoning with Complex Objects},
  booktitle = {Proceedings of the 1988 ACM SIGMOD International Conference on
               Management of Data, Chicago, Illinois, June 1-3, 1988},
  publisher = {ACM Press},
  year      = {1988},
  pages     = {164-172},
  ee        = {http://doi.acm.org/10.1145/50202.50220},
  crossref  = {DBLP:conf/sigmod/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

In this paper, we first propose a natural syntactical extension of DATALOG called NESTED_DATALOG for dealing with complex objects represented as nested predicates. Then, we introduce the token object model which is a simple extension of the relational model with tokens to represent complex objects and support referential information sharing. An implementation model of a NESTED_DATALOG program is defined by mapping it to the token object model which remains a straightforward extension of classical logical databases. Through this work, we can accommodate two basic requirements. The availability of a rule language for reasoning with complex objects, and the mechanism for mapping a complex object rule program to a relational DBMS offering a pure DATALOG rule language. In summary, the main contributions of the paper are the definition of a rule language for complex objects and the development of a technique to compile this complex object rule language to classical DATALOG.

Copyright © 1988 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Haran Boral, Per-Åke Larson (Eds.): Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, June 1-3, 1988. ACM Press 1988 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML, SIGMOD Record 17(2), June 1988
Contents

Online Edition: ACM Digital Library


References

[Abiteboul 87]
...
[Al-Amoudi87]
...
[Apt86]
...
[Bancilhon 86]
François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Beeri 86]
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Chen 86]
Qiming Chen: A Rule-Based Object/Task Modelling Approach. SIGMOD Conference 1986: 281-292 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Chen 87]
...
[Gardarin 87a]
Georges Gardarin: Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. VLDB 1987: 21-30 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gardarin 87b]
...
[Gardarin88]
...
[Gallaire84]
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
[Khoshafian 86]
Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kiernan87]
...
[Kuper 87]
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Maier 83]
Andreas Meier, Raymond A. Lorie: A Surrogate Concept for Engineering Databases. VLDB 1983: 30-32 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Reiter 84]
...
[Tsur 86]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Woelk 86]
Darrell Woelk, Won Kim, Willis Luther: An Object-Oriented Approach to Multimedia Databases. SIGMOD Conference 1986: 311-325 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zaniolo 85]
Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Tue Sep 18 00:25:02 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