Improving Integrity Checking for Exists-Constraints.

@inproceedings{DBLP:conf/dasfaa/LingL93,
  author    = {Tok Wang Ling and
               Sin Yeung Lee},
  editor    = {Song C. Moon and
               Hideto Ikeda},
  title     = {Improving Integrity Checking for Exists-Constraints},
  booktitle = {Proceedings of the 3rd International Conference on Database Systems
               for Advanced Applications (DASFAA), Daejeon, Korea, April 6-8,
               1993},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {4},
  year      = {1993},
  isbn      = {981-02-1380-8},
  pages     = {343-350},
  ee        = {db/conf/dasfaa/LingL93.html},
  crossref  = {DBLP:conf/dasfaa/93},
  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

[Asir85]

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

[Bry88]

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

[Date86]

C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
BibTeX

[Hsu85]

Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 BibTeX

[Kowa87]

Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 BibTeX

[Lloy87]

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

[Ling87]

Tok Wang Ling: Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. Data Knowl. Eng. 2: 145-168(1987) BibTeX

[Nico82]

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

[Paog84]

Robert Paige: Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. Advances in Data Base Theory 1982: 171-209 BibTeX

[Qian87]

Xiaolei Qian, Douglas R. Smith: Integrity Constraint Reformulation for Efficient Validation. VLDB 1987: 417-425 BibTeX