Synthesizing Database Transactions

Summary: Synthesizes database transactions that preserve integrity constraints using a transaction logic and deductive proofs. Extends Manna–Waldinger tableaux with transaction-extraction rules, coordinating multiple tableaux to generate update programs. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 8163
Venue: VLDB
Year: 1990
Pagerank: -
Overall Rank: 14,419 | 1.08%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Xiaolei Qian (Kestrel Institute; Stanford University)

BibTeX Citation

@article{qian_vldb90,
        title = {{Synthesizing Database Transactions}},
        author = {Qian, Xiaolei},
        journal = {PVLDB},
        series = {{VLDB} '90},
        year = {1990}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,241	Integrity Constraints Checking In Deductive Databases	1991	VLDB
2	4,923	On the Modes and Meaning of Feedback to Transaction Designers	1987	SIGMOD
3	13,073	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
4	3,107	Integrity Checking in Deductive Databases	1987	VLDB
5	13,232	Specification and Verification of Abstract Database Types	1984	PODS
6	7,615	Deciding Properties of Transactional Schemas	1986	PODS
7	13,007	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB
8	13,226	Coping with Complexity in Automated Reasoning about Database Systems	1985	VLDB
9	4,962	Transactions And Integrity Constraints	1985	PODS
10	7,452	A Transaction Logic for Database Specification	1988	SIGMOD