On the Modes and Meaning of Feedback to Transaction Designers

Summary: Analyzes feedback modes—tests, updates, and post-condition predicates—from integrity constraints for transaction designers. Proposes a running, schema-aware theory-generation system that derives tailored theories from constraints and schemas to generate actionable feedback and prove transactions obey constraints. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2420
Venue: SIGMOD
Year: 1987
Pagerank: 6.4441344e-05
Overall Rank: 4,923 | 66.23%
DOI: 10.1145/38713.38753

Incoming Non-self Citations Over Time

Authors

1. David Stemple (University of Massachusetts Amherst)
2. Subhasish Mazumdar (University of Massachusetts Amherst)
3. Tim Sheard (University of Massachusetts Amherst)

BibTeX Citation

@inproceedings{stemple_sigmod87,
        title = {{On the Modes and Meaning of Feedback to Transaction Designers}},
        author = {Stemple, David and Mazumdar, Subhasish and Sheard, Tim},
        series = {{SIGMOD} '87},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/38713.38753},
        url = {https://dl.acm.org/doi/10.1145/38713.38753},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,329	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00011140837
5,475	Verifiable Properties of Database Transactions	1996	PODS	6.205309e-05
8,427	Integrity Maintenance in an Object-Oriented Database	1992	VLDB	5.4265283e-05
8,564	Resolving the Tension between Integrity and Security Using a Theorem Prover	1988	SIGMOD	5.4119882e-05

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
1,624	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.00010194403
13,226	Coping with Complexity in Automated Reasoning about Database Systems	1985	VLDB	5.093636e-05
13,232	Specification and Verification of Abstract Database Types	1984	PODS	5.093636e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	14,419	Synthesizing Database Transactions	1990	VLDB
2	13,232	Specification and Verification of Abstract Database Types	1984	PODS
3	5,475	Verifiable Properties of Database Transactions	1996	PODS
4	4,094	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS
5	13,073	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
6	1,329	Deriving Production Rules for Constraint Maintenance	1990	VLDB
7	2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB
8	7,452	A Transaction Logic for Database Specification	1988	SIGMOD
9	9,247	The Role of Integrity Constraints in Database Interoperation	1996	VLDB
10	4,962	Transactions And Integrity Constraints	1985	PODS