ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Integrity Constraints Checking In Deductive Databases.

Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523
@inproceedings{DBLP:conf/vldb/Olive91,
  author    = {Antoni Oliv{\'e}},
  editor    = {Guy M. Lohman and
               Am\'{\i}lcar Sernadas and
               Rafael Camps},
  title     = {Integrity Constraints Checking In Deductive Databases},
  booktitle = {17th International Conference on Very Large Data Bases, September
               3-6, 1991, Barcelona, Catalonia, Spain, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-150-3},
  pages     = {513-523},
  ee        = {db/conf/vldb/Olive91.html},
  crossref  = {DBLP:conf/vldb/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We propose a new method for integrity checking in deductive databases. The method augments a database with a set of transition and internal events rules, which explicitly define the insertions and deletions induced by a database update. Standard SLDNF resolution can then be used to check satisfaction of integrity constraints. The method has the full power of the methods developed so far, and its implementation in Prolog does not require any meta-interpreter. A second main advantage is that it deals with both static and dynamic integrityconstraints, providing a simple and uniform approach in which both classes of integrity constraints can be defined and efficiently enforced.

Copyright © 1991 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

Guy M. Lohman, Amílcar Sernadas, Rafael Camps (Eds.): 17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. Morgan Kaufmann 1991, ISBN 1-55860-150-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
...
[5]
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
[6]
Lawrence Cavedon, John W. Lloyd: A Completeness Theorem for SLDNF Resolution. J. Log. Program. 7(3): 177-191(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
...
[8]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
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
[10]
Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
...
[12]
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
[13]
Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
...
[15]
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
[16]
Kenneth Kunen: Signed Data Dependencies in Logic Programs. J. Log. Program. 7(3): 231-245(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. J. Log. Program. 2(2): 93-109(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems II. J. Log. Program. 3(1): 55-67(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
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
[21]
William McCune, Lawrence J. Henschen: Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM 36(1): 46-68(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
...
[26]
Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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