Helping the Database Designer Maintain Inegrity Constraints.

Subhasish Mazumdar, David W. Stemple: Helping the Database Designer Maintain Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 28-32(1994)
  author    = {Subhasish Mazumdar and
               David W. Stemple},
  title     = {Helping the Database Designer Maintain Inegrity Constraints},
  journal   = {IEEE Data Eng. Bull.},
  volume    = {17},
  number    = {2},
  year      = {1994},
  pages     = {28-32},
  ee        = {db/journals/debu/MazumdarS94.html},
  bibsource = {DBLP,}


The guarantee of database integrity can be extremely expensive to fulfill unless attention is paid to the problem during the design of the database. Such a guarantee can be enhanced through mechanical feedback to database designers; different kinds of feedback are obtained through analysis of database transactions in the presence of integrity constraints. In the case of distributed databases, including heterogeneous databases, the problems associated with constraint maintenance are even more acute. In our approach, the designer can reduce the non-locality of the constraints by deriving sufficient conditions from the original constraints as well as those derived after transaction analysis.

Copyright © 1994 by the author(s). Abstract used with permission.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition:

Data Engineering Bulletin June 1994: Database Constraint Management (Jennifer Widom, ed.)
( letter+figures , letter-figures , A4+figures , A4-figures , PDF+figures)


Daniel Barbará, Hector Garcia-Molina: The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems. EDBT 1992: 373-388 BibTeX
Ashish Gupta, Jennifer Widom: Local Verification of Global Integrity Constraints in Distributed Databases. SIGMOD Conference 1993: 49-58 BibTeX
Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 BibTeX
Subhasish Mazumdar: Optimizing Distributed Integrity Constraints. DASFAA 1993: 327-334 BibTeX
Xiaolei Qian: Distribution Design of Integrity Constraints. Expert Database Conf. 1988: 205-226 BibTeX
Tim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435 BibTeX
Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX
David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257 BibTeX
David W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386 BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Bulletin of the IEEE Computer Society Technical Committee on Data Engineering: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:56:12 2009