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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb8997 or /cdrom

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

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

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

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