Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases.
Dimitris Plexousakis:
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases.
VLDB 1993: 146-157@inproceedings{DBLP:conf/vldb/Plexousakis93,
author = {Dimitris Plexousakis},
editor = {Rakesh Agrawal and
Se{\'a}n Baker and
David A. Bell},
title = {Integrity Constraint and Rule Maintenance in Temporal Deductive
Knowledge Bases},
booktitle = {19th International Conference on Very Large Data Bases, August
24-27, 1993, Dublin, Ireland, Proceedings},
publisher = {Morgan Kaufmann},
year = {1993},
isbn = {1-55860-152-X},
pages = {146-157},
ee = {db/conf/vldb/Plexousakis93.html},
crossref = {DBLP:conf/vldb/93},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
The enforcement of semantic integrity constraints in data and knowledge bases constitutes a major performance bottleneck.
Integrity constraint simplification methods aim at reducing the complexity of formula evaluation at run-time.
This paper proposes such a simplification method for large and semantically rich knowledge bases.
Structural, temporal and assertional knowledge in the form of deductive rules and integrity constraints, is represented in Telos, a hybrid language for knowledge representation.
A compilation method performs a number of syntactic, semantic and temporal transformations to integrity constraints and deductive rules, and organizes simplified forms in a dependence graph that allows for efficient computation of implicit updates.
Precomputation of potential implicit updates at compile time is possible by computing the dependence graph transitive closure.
To account for dynamic changes to the dependence graph by updates of constraints and rules, we propose efficient algorithms for the incremental maintenance ofthe computed transitive closure.
Copyright © 1993 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
CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
Printed Edition
Rakesh Agrawal, Seán Baker, David A. Bell (Eds.):
19th International Conference on Very Large Data Bases, August 24-27, 1993, Dublin, Ireland, Proceedings.
Morgan Kaufmann 1993, ISBN 1-55860-152-X
Contents
References
- [1]
- James F. Allen:
Maintaining Knowledge about Temporal Intervals.
Commun. ACM 26(11): 832-843(1983)
![bibliographical record in XML](../../xml.gif)
- [2]
- François Bry, Hendrik Decker, Rainer Manthey:
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
EDBT 1988: 488-505
![bibliographical record in XML](../../xml.gif)
- [3]
- Jan Chomicki:
History-less Checking of Dynamic Integrity Constraints.
ICDE 1992: 557-564
![bibliographical record in XML](../../xml.gif)
- [4]
- Hendrik Decker:
Integrity Enforcement on Deductive Databases.
Expert Database Conf. 1986: 381-395
![bibliographical record in XML](../../xml.gif)
- [5]
- Klaus Hülsmann, Gunter Saake:
Representation of the Historical Information Necessary for Temporal Integrity Monitoring.
EDBT 1990: 378-392
![bibliographical record in XML](../../xml.gif)
- [6]
- Giuseppe F. Italiano:
Finding Paths and Deleting Edges in Directed Acyclic Graphs.
Inf. Process. Lett. 28(1): 5-11(1988)
![bibliographical record in XML](../../xml.gif)
- [7]
- Manfred A. Jeusfeld, Matthias Jarke:
From Relational to Object-Oriented Integrity Simplification.
DOOD 1991: 460-477
![bibliographical record in XML](../../xml.gif)
- [8]
- Volker Küchenhoff:
On the Efficient Computation of the Difference Between Concecutive Database States.
DOOD 1991: 478-502
![bibliographical record in XML](../../xml.gif)
- [9]
- John W. Lloyd:
Foundations of Logic Programming, 2nd Edition.
Springer 1987, ISBN 3-540-18199-7
![bibliographical record in XML](../../xml.gif)
- [10]
- ...
- [11]
- John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis:
Telos: Representing Knowledge About Information Systems.
ACM Trans. Inf. Syst. 8(4): 325-362(1990)
![bibliographical record in XML](../../xml.gif)
- [12]
- ...
- [13]
- Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Inf. 18: 227-253(1982)
![bibliographical record in XML](../../xml.gif)
- [14]
- Antoni Olivé:
Integrity Constraints Checking In Deductive Databases.
VLDB 1991: 513-523
![bibliographical record in XML](../../xml.gif)
- [15]
- ...
- [16]
- ...
- [17]
- Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim:
Efficient Algorithms for the Instantiated Transitive Closure Queries.
IEEE Trans. Software Eng. 17(3): 296-309(1991)
![bibliographical record in XML](../../xml.gif)
- [18]
- Gunter Saake, Udo W. Lipeck:
Foundations of Temporal Integrity Monitoring.
Temporal Aspects in Information Systems 1987: 235-249
![bibliographical record in XML](../../xml.gif)
Copyright © Tue Mar 16 02:22:03 2010
by Michael Ley (ley@uni-trier.de)