Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.

@inproceedings{DBLP:conf/icde/CelmaGMD94,
  author    = {Matilde Celma and
               Carlos Garcia and
               Laura Mota-Herranz and
               Hendrik Decker},
  title     = {Comparing and Synthesizing Integrity Checking Methods for Deductive
               Databases},
  booktitle = {Proceedings of the Tenth International Conference on Data Engineering,
               February 14-18, 1994, Houston, Texas, USA},
  publisher = {IEEE Computer Society},
  year      = {1994},
  isbn      = {0-8186-5400-7},
  pages     = {214-222},
  ee        = {db/conf/icde/CelmaGMD94.html},
  crossref  = {DBLP:conf/icde/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

• 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/An2-6 or /cdrom

• 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

References

[1]

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 BibTeX

[2]

Matilde Celma, Juan Carlos Casamayor, Laura Mota-Herranz, María Angeles Pastor, Francisco Marqués: A Derivation Path Recording Method for Integrity Checking in Deductive Databases. DAISD 1991: 185-203 BibTeX

[3]

Matilde Celma, Juan Carlos Casamayor, Hendrik Decker: Improving Integrity Checking by Compiling Derivation Paths. Australian Database Conference 1993: 145-160 BibTeX

[4]

Matilde Celma, Laura Mota-Herranz: Foundations of Simplified Integrity Checking Reviewed. DEXA 1992: 90-95 BibTeX

[5]

Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 BibTeX

[6]

Hendrik Decker: Knowledge Assimilation in Deductive Databases - An Overview. DAISD 1992: 217-247 BibTeX

[7]

Subrata Kumar Das, M. Howard Williams: A Path Finding Method for Constraint Checking in Deductive Databases. Data Knowl. Eng. 4: 223-244(1989) BibTeX

[8]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[9]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[10]

John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343(1987) BibTeX

[11]

Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor: A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. DAISD 1992: 199-216 BibTeX

[12]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[13]

Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523 BibTeX

[14]

Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX

[15]

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 BibTeX

Referenced by

1. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182