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, db/conf/sigmod/ChenG88.html},
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.
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 
,
SIGMOD Record 17(2), June 1988
Contents
References
- [Abiteboul 87]
- ...
- [Al-Amoudi87]
- ...
- [Apt86]
- ...
- [Bancilhon 86]
- François Bancilhon, Setrag Khoshafian:
A Calculus for Complex Objects.
PODS 1986: 53-60
- [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
- [Chen 86]
- Qiming Chen:
A Rule-Based Object/Task Modelling Approach.
SIGMOD Conference 1986: 281-292
- [Chen 87]
- ...
- [Gardarin 87a]
- Georges Gardarin:
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs.
VLDB 1987: 21-30
- [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)
- [Khoshafian 86]
- Setrag Khoshafian, George P. Copeland:
Object Identity.
OOPSLA 1986: 406-416
- [Kiernan87]
- ...
- [Kuper 87]
- Gabriel M. Kuper:
Logic Programming With Sets.
PODS 1987: 11-20
- [Maier 83]
- Andreas Meier, Raymond A. Lorie:
A Surrogate Concept for Engineering Databases.
VLDB 1983: 30-32
- [Reiter 84]
- ...
- [Tsur 86]
- Shalom Tsur, Carlo Zaniolo:
LDL: A Logic-Based Data Language.
VLDB 1986: 33-41
- [Woelk 86]
- Darrell Woelk, Won Kim, Willis Luther:
An Object-Oriented Approach to Multimedia Databases.
SIGMOD Conference 1986: 311-325
- [Zaniolo 85]
- Carlo Zaniolo:
The Representation and Deductive Retrieval of Complex Objects.
VLDB 1985: 458-469
Copyright © Mon Mar 15 03:54:28 2010
by Michael Ley (ley@uni-trier.de)
