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

[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

[3]

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

[4]

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

[5]

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

[6]

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

[7]

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

[8]

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

[9]

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

[10]

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

[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

[12]

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

[13]

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

[14]

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

[15]

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