Selective Refutation of Integrity Constraints in Deductive Databases.

@inproceedings{DBLP:conf/mfdbs/AsirelliBI89,
  author    = {Patrizia Asirelli and
               C. Billi and
               Paola Inverardi},
  editor    = {J{\'a}nos Demetrovics and
               Bernhard Thalheim},
  title     = {Selective Refutation of Integrity Constraints in Deductive Databases},
  booktitle = {MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database
               Systems, Visegr{\'a}d, Hungary, June 26-30, 1989},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {364},
  year      = {1989},
  isbn      = {3-540-51251-9},
  pages     = {1-11},
  ee        = {db/conf/mfdbs/AsirelliBI89.html},
  crossref  = {DBLP:conf/mfdbs/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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-2 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

References

[Asirelli et al. 85]

Patrizia Asirelli, Michele de Santis, Maurizio Martelli: Integrity Constraints for Logic Databases. J. Log. Program. 2(3): 221-232(1985) BibTeX

[Asirelli et al. 88]

Patrizia Asirelli, Paola Inverardi, A. Mustaro: Improving Integrity Constraint Checking in Deductive Databases. ICDT 1988: 72-86 BibTeX

[Decker 86]

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

[Lloyd 87]

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

[Lloyd et al. 87]

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

[Sadri&Kowalsky 87]

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