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: ha9c76f18a9ca18f3
Venue: SIGMOD
Year: 1987
Pagerank: 6.2972783e-05
Overall Rank: 5,045 | 66.10%
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,372	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00010893304
5,603	Verifiable Properties of Database Transactions	1996	PODS	6.0674379e-05
8,611	Integrity Maintenance in an Object-Oriented Database	1992	VLDB	5.3022604e-05
8,739	Resolving the Tension between Integrity and Security Using a Theorem Prover	1988	SIGMOD	5.2880532e-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,657	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	9.9642922e-05
13,522	Coping with Complexity in Automated Reasoning about Database Systems	1985	VLDB	4.9769913e-05
13,528	Specification and Verification of Abstract Database Types	1984	PODS	4.9769913e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	14,735	Synthesizing Database Transactions	1990	VLDB
2	13,528	Specification and Verification of Abstract Database Types	1984	PODS
3	5,603	Verifiable Properties of Database Transactions	1996	PODS
4	4,179	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS
5	13,369	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
6	1,372	Deriving Production Rules for Constraint Maintenance	1990	VLDB
7	2,640	Knowledge-based Integrity Constraint Validation	1986	VLDB
8	7,601	A Transaction Logic for Database Specification	1988	SIGMOD
9	9,429	The Role of Integrity Constraints in Database Interoperation	1996	VLDB
10	5,085	Transactions And Integrity Constraints	1985	PODS