A Formalism for Extended Transaction Models

Summary: Presents the formal foundation of ACTA, a framework for specifying interactions among extended transactions and database objects. Supports proofs of visibility, consistency, recovery, and permanence across traditional, nested, and split transaction models. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: h7ebc56a28531d58d
Venue: VLDB
Year: 1991
Pagerank: 6.0054429e-05
Overall Rank: 5,756 | 61.31%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Panos K. Chrysanthis (University of Massachusetts Amherst; University of Pittsburgh)
2. Krithi Ramamritham (University of Massachusetts Amherst)

BibTeX Citation

@article{chrysanthis_vldb91,
        title = {{A Formalism for Extended Transaction Models}},
        author = {Chrysanthis, Panos K. and Ramamritham, Krithi},
        journal = {PVLDB},
        series = {{VLDB} '91},
        pages = {103},
        year = {1991}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,570	ASSET: A System for Supporting Extended Transactions	1994	SIGMOD	6.5296359e-05
5,047	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.2992912e-05
6,487	A Multidatabase System for Tracking and Retrieval of Financial Data	1994	VLDB	5.7683894e-05
13,296	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
66	Sagas	1987	SIGMOD	0.00038047495
1,205	A Model of CAD Transactions	1985	VLDB	0.00011547408
1,300	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.00011118207
1,738	Split-Transactions for Open-Ended Activities	1988	VLDB	9.7487946e-05
2,356	A Multidatabase Transaction Model for InterBase	1990	VLDB	8.5855389e-05
2,490	Formal Model of Correctness Without Serializability	1988	SIGMOD	8.3959371e-05
2,564	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.2927351e-05
2,856	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	7.9381255e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,383	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB
2	13,363	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
3	5,317	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB
4	7,340	Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications	1984	VLDB
5	6,603	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB
6	13,467	Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)	1987	PODS
7	13,297	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB
8	5,082	Transactions And Integrity Constraints	1985	PODS
9	7,595	A Transaction Logic for Database Specification	1988	SIGMOD
10	2,564	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD