On the modes and meaning of feedback to transaction designers
- 1 December 1987
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 16 (3) , 374-386
- https://doi.org/10.1145/38714.38753
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.Keywords
This publication has 3 references indexed in Scilit:
- Integrity checking for multiple updatesPublished by Association for Computing Machinery (ACM) ,1985
- Specification and verification of abstract database typesPublished by Association for Computing Machinery (ACM) ,1984
- Fast methods for testing quantified relational calculus assertionsPublished by Association for Computing Machinery (ACM) ,1982