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

On the Modes and Meaning of Feedback to Transaction Designers.

David W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386
@inproceedings{DBLP:conf/sigmod/StempleMS87,
  author    = {David W. Stemple and
               Subhasish Mazumdar and
               Tim Sheard},
  editor    = {Umeshwar Dayal and
               Irving L. Traiger},
  title     = {On the Modes and Meaning of Feedback to Transaction Designers},
  booktitle = {Proceedings of the Association for Computing Machinery Special
               Interest Group on Management of Data 1987 Annual Conference,
               San Francisco, California, May 27-29, 1987},
  publisher = {ACM Press},
  year      = {1987},
  pages     = {374-386},
  ee        = {http://doi.acm.org/10.1145/38713.38753, db/conf/sigmod/StempleMS87.html},
  crossref  = {DBLP:conf/sigmod/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

An analysis of database transactions in the presence of database integrity constraints can lead to several modes of feedback to transaction designers. The different kinds of feedback include tests and updates that could be added to the transaction to make it obey the integrity constraints, as well as predicates representing post-conditions guaranteed by a transaction's execution. We discuss the various modes, meanings, and uses of feedback. We also discuss methods of generating feedback from integrity constraints, transaction details and theorems constituting both generic knowledge of database systems and specific knowledge about a particular database. Our methods are based on a running system that generates tailored theories about database systems from their schemas and uses these theories to prove that transactions obey integrity constraints.

Copyright © 1987 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

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

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Umeshwar Dayal, Irving L. Traiger (Eds.): Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, California, May 27-29, 1987. ACM Press 1987 BibTeX , SIGMOD Record 16(3)
Contents

Online Edition: ACM Digital Library


References

[Bernstein and Blaustein 81]
...
[Bernstein and Blaustein 82]
Philip A. Bernstein, Barbara T. Blaustein: Fast Methods for Testing Quantified Relational Calculus Assertions. SIGMOD Conference 1982: 39-50 BibTeX
[Boyer and Moore 79]
...
[Bunker 86]
...
[Henschen et al 84]
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
[Hsu and Imielinski 85]
Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 BibTeX
[Nicolas 82]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX
[Sheard and Stemple 85]
Tim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435 BibTeX
[Stemple and Sheard 85]
...
[Stemple et al. 86]
David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597 BibTeX
[Stemple and Sheard 83]
David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257 BibTeX
[Sheard and Stemple 86]
Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX

Referenced by

  1. David Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412
  2. Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996: 117-127
  3. Dimitris Plexousakis, John Mylopoulos: Accomodating Integrity Constraints During Database Design. EDBT 1996: 497-513
  4. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994)
  5. Subhasish Mazumdar, David W. Stemple: Helping the Database Designer Maintain Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 28-32(1994)
  6. Timothy Griffin, Howard Trickey: Integrity Maintenance in A Telecommunications Switch. IEEE Data Eng. Bull. 17(2): 43-46(1994)
  7. Subhasish Mazumdar: Optimizing Distributed Integrity Constraints. DASFAA 1993: 327-334
  8. H. V. Jagadish, Xiaolei Qian: Integrity Maintenance in Object-Oriented Databases. VLDB 1992: 469-480
  9. Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991)
  10. Leonidas Fegaras, David W. Stemple: Using Type Transformation in Database Implementation. DBPL 1991: 337-353
  11. Susan Darling Urban, Lois M. L. Delcambre: Constraint Analysis: A Design Process for Specifying Operations on Objects. IEEE Trans. Knowl. Data Eng. 2(4): 391-400(1990)
  12. Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577
  13. Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989)
  14. Subhasish Mazumdar, David W. Stemple, Tim Sheard: Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
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:39:50 2009