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: he06293561ce653e0
Venue: SIGMOD
Year: 1988
Pagerank: 5.4848155e-05
Overall Rank: 7,601 | 48.92%
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
10,096	On the Feasibility of Checking Temporal Integrity Constraints	1993	PODS	5.078242e-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
931	A Temporal Framework for Database Specifications	1982	VLDB	0.00013005575
1,768	A Transaction Language Complete for Database Update and Specification	1987	PODS	9.6894e-05
4,335	Specification, Semantics, and Enforcement of Dynamic Database Constraints	1984	VLDB	6.6530386e-05
6,217	Dynamic Constraints And Database Evolution	1983	PODS	5.8451723e-05
6,332	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.8103591e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,315	On the Algebraic Specification of Databases	1982	VLDB
2	6,332	On Verification Of Database Temporal Constraints	1985	SIGMOD
3	5,758	A Formalism for Extended Transaction Models	1991	VLDB
4	3,855	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB
5	931	A Temporal Framework for Database Specifications	1982	VLDB
6	5,209	A Temporal Framework for Database Specification and Verification	1984	VLDB
7	5,603	Verifiable Properties of Database Transactions	1996	PODS
8	14,735	Synthesizing Database Transactions	1990	VLDB
9	5,085	Transactions And Integrity Constraints	1985	PODS
10	5,317	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD