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.
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
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
- David Spelt, Herman Balsters:
Automatic Verification of Transactions on an Object-Oriented Database.
DBPL 1997: 396-412
- Michael Benedikt, Timothy Griffin, Leonid Libkin:
Verifiable Properties of Database Transactions.
PODS 1996: 117-127
- Dimitris Plexousakis, John Mylopoulos:
Accomodating Integrity Constraints During Database Design.
EDBT 1996: 497-513
- 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)
- Subhasish Mazumdar, David W. Stemple:
Helping the Database Designer Maintain Inegrity Constraints.
IEEE Data Eng. Bull. 17(2): 28-32(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
- H. V. Jagadish, Xiaolei Qian:
Integrity Maintenance in Object-Oriented Databases.
VLDB 1992: 469-480
- Guido Moerkotte, Peter C. Lockemann:
Reactive Consistency Control In Deductive Databases.
ACM Trans. Database Syst. 16(4): 670-702(1991)
- Leonidas Fegaras, David W. Stemple:
Using Type Transformation in Database Implementation.
DBPL 1991: 337-353
- 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)
- Stefano Ceri, Jennifer Widom:
Deriving Production Rules for Constraint Maintainance.
VLDB 1990: 566-577
- Tim Sheard, David W. Stemple:
Automatic Verification of Database Transaction Safety.
ACM Trans. Database Syst. 14(3): 322-368(1989)
- 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