A Transaction Logic for Database Specification

Summary: Proposes a transaction-logic formalism for specifying dynamic DB behavior using a variant of first-order situational logic with explicit state objects. Integrity constraints and transactions are uniformly expressible, enabling verification and synthesis. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2462
Venue: SIGMOD
Year: 1988
Pagerank: 5.6133619e-05
Overall Rank: 7,452 | 48.88%
DOI: 10.1145/50202.50232

Incoming Non-self Citations Over Time

Authors

1. Xiaolei Qian (Kestrel Institute; Stanford University)
2. Richard Waldinger (SRI International; Stanford University)

BibTeX Citation

@inproceedings{qian_sigmod88,
        title = {{A Transaction Logic for Database Specification}},
        author = {Qian, Xiaolei and Waldinger, Richard},
        series = {{SIGMOD} '88},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/50202.50232},
        url = {https://dl.acm.org/doi/10.1145/50202.50232},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,905	On the Feasibility of Checking Temporal Integrity Constraints	1993	PODS	5.1972596e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
906	A Temporal Framework for Database Specifications	1982	VLDB	0.00013310115
1,726	A Transaction Language Complete for Database Update and Specification	1987	PODS	9.9156202e-05
4,242	Specification, Semantics, and Enforcement of Dynamic Database Constraints	1984	VLDB	6.8089644e-05
6,085	Dynamic Constraints And Database Evolution	1983	PODS	5.9820991e-05
6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.9465353e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,258	On the Algebraic Specification of Databases	1982	VLDB
2	6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD
3	5,628	A Formalism for Extended Transaction Models	1991	VLDB
4	906	A Temporal Framework for Database Specifications	1982	VLDB
5	3,781	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB
6	5,081	A Temporal Framework for Database Specification and Verification	1984	VLDB
7	5,475	Verifiable Properties of Database Transactions	1996	PODS
8	14,419	Synthesizing Database Transactions	1990	VLDB
9	4,962	Transactions And Integrity Constraints	1985	PODS
10	5,190	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD