Maintaining state constraints in relational databases: a proof theoretic basis.

William McCune, Lawrence J. Henschen: Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM 36(1): 46-68(1989)

@article{DBLP:journals/jacm/McCuneH89,
  author    = {William McCune and
               Lawrence J. Henschen},
  title     = {Maintaining state constraints in relational databases: a proof
               theoretic basis},
  journal   = {J. ACM},
  volume    = {36},
  number    = {1},
  year      = {1989},
  pages     = {46-68},
  ee        = {db/journals/jacm/McCuneH89.html, http://doi.acm.org/10.1145/58562.59302},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ...

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/An5-2 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

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/aDVD2 or /dvd

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Naci Ishakbeyoglu, Z. Meral Özsoyoglu: Maintenance of Implication Integrity Constraints Under Updates to Constraints. VLDB J. 7(2): 67-78(1998)
Levent V. Orman: Differential Relational Calculus for Integrity Maintenance. IEEE Trans. Knowl. Data Eng. 10(2): 328-341(1998)
Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996: 117-127
Sang-goo Lee: On Foundations of Constraint Optimization. DASFAA 1995: 372-379
Henry F. Korth, Gregory D. Speegle: Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model. ACM Trans. Database Syst. 19(3): 492-535(1994)
Timothy Griffin, Howard Trickey: Integrity Maintenance in A Telecommunications Switch. IEEE Data Eng. Bull. 17(2): 43-46(1994)
Subhasish Mazumdar: Optimizing Distributed Integrity Constraints. DASFAA 1993: 327-334
Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523
Lois M. L. Delcambre, Billy B. L. Lim, Susan Darling Urban: Object-Centered Constraints. ICDE 1991: 368-377

BibTeX