ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Improving Integrity Constraint Checking in Deductive Databases.

Patrizia Asirelli, Paola Inverardi, A. Mustaro: Improving Integrity Constraint Checking in Deductive Databases. ICDT 1988: 72-86
@inproceedings{DBLP:conf/icdt/AsirelliIM88,
  author    = {Patrizia Asirelli and
               Paola Inverardi and
               A. Mustaro},
  editor    = {Marc Gyssens and
               Jan Paredaens and
               Dirk Van Gucht},
  title     = {Improving Integrity Constraint Checking in Deductive Databases},
  booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
               Belgium, August 31 - September 2, 1988, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {326},
  year      = {1988},
  isbn      = {3-540-50171-1},
  pages     = {72-86},
  ee        = {db/conf/icdt/AsirelliIM88.html},
  crossref  = {DBLP:conf/icdt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[Apt et al. 87]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX
[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
[Decker 86]
Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 BibTeX
[Lloyd 84]
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX
[Lloyd 87]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX
[Lloyd&Topor 85]
John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. J. Log. Program. 2(2): 93-109(1985) BibTeX
[Lloyd&Topor 86]
John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems II. J. Log. Program. 3(1): 55-67(1986) 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
[Nicolas 82]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) 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

Referenced by

  1. Patrizia Asirelli, C. Billi, Paola Inverardi: Selective Refutation of Integrity Constraints in Deductive Databases. MFDBS 1989: 1-11
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:19:00 2009