ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases.

Sin Yeung Lee, Tok Wang Ling: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. VLDB 1996: 495-505
@inproceedings{DBLP:conf/vldb/LeeL96,
  author    = {Sin Yeung Lee and
               Tok Wang Ling},
  editor    = {T. M. Vijayaraman and
               Alejandro P. Buchmann and
               C. Mohan and
               Nandlal L. Sarda},
  title     = {Further Improvements on Integrity Constraint Checking for Stratifiable
               Deductive Databases},
  booktitle = {VLDB'96, Proceedings of 22th International Conference on Very
               Large Data Bases, September 3-6, 1996, Mumbai (Bombay), India},
  publisher = {Morgan Kaufmann},
  year      = {1996},
  isbn      = {1-55860-382-4},
  pages     = {495-505},
  ee        = {db/conf/vldb/LeeL96.html},
  crossref  = {DBLP:conf/vldb/96},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Integrity constraint checking for stratifiable deductive databases has been studied by many authors. However, most of these methods may perform unnecessary checking if the update is irrelevant to the constraints. [Lee94] proposed a set called relevant set which can be incorporated in these works to reduce unnecessary checking. [Lee94] adopts a top-down approach and makes use of constants and evaluable functions in the constraints and deductive rules to reduce the search space. In this paper, we further extend this idea to make use of relational predicates, instead of only constants and evaluable functions in [Lee94]. We first show that this extension is not a trivial one as extra database retrieval cost is incurred. We then present a new method to construct a pre-test which can be incorporated in most existing methods to reduce the average checking costs in terms of database accesses by a significant factor. Our method also differs from other partial checking methods as we can handle multiple updates.

Copyright © 1996 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 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

T. M. Vijayaraman, Alejandro P. Buchmann, C. Mohan, Nandlal L. Sarda (Eds.): VLDB'96, Proceedings of 22th International Conference on Very Large Data Bases, September 3-6, 1996, Mumbai (Bombay), India. Morgan Kaufmann 1996, ISBN 1-55860-382-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Electronic Edition

References

[Blak86]
José A. Blakeley, Neil Coburn, Per-Åke Larson: Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. VLDB 1986: 457-466 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bry88]
François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Celm93]
Matilde Celma, Juan Carlos Casamayor, Hendrik Decker: Improving Integrity Checking by Compiling Derivation Paths. Australian Database Conference 1993: 145-160 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Celm95]
Matilde Celma, Hendrik Decker: Integrity Checking in Deductive Databases - the Ultimate Method? Australasian Database Conference 1994: 136-146 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Chan77]
Ashok K. Chandra, Philip M. Merlin: Optimal Implementation of Conjunctive Queries in Relational Data Bases. STOC 1977: 77-90 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Das89]
Subrata Kumar Das, M. Howard Williams: A Path Finding Method for Constraint Checking in Deductive Databases. Data Knowl. Eng. 4: 223-244(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Deck86]
Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gupt93]
Ashish Gupta, Jennifer Widom: Local Verification of Global Integrity Constraints in Distributed Databases. SIGMOD Conference 1993: 49-58 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gupt94]
Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom: Constraint Checking with Partial Information. PODS 1994: 45-55 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Hens84]
Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Koba87]
...
[Kowa87]
Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lee94]
Sin Yeung Lee, Tok Wang Ling: Improving Integrity Constraint Checking for Stratified Deductive Databases. DEXA 1994: 591-600 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Levy93]
Alon Y. Levy, Yehoshua Sagiv: Queries Independent of Updates. VLDB 1993: 171-181 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ling87]
Tok Wang Ling: Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. Data Knowl. Eng. 2: 145-168(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lloy87]
John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lloy87b]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull89-1]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull89-2]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:22:06 2010 by Michael Ley (ley@uni-trier.de)