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.0026001e-05
Overall Rank: 5,758 | 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,572	ASSET: A System for Supporting Extended Transactions	1994	SIGMOD	6.5265448e-05
5,049	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.2963095e-05
6,489	A Multidatabase System for Tracking and Retrieval of Financial Data	1994	VLDB	5.765661e-05
13,302	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.9769913e-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.00038030001
1,205	A Model of CAD Transactions	1985	VLDB	0.00011542211
1,300	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.00011112954
1,740	Split-Transactions for Open-Ended Activities	1988	VLDB	9.7442978e-05
2,357	A Multidatabase Transaction Model for InterBase	1990	VLDB	8.5814753e-05
2,490	Formal Model of Correctness Without Serializability	1988	SIGMOD	8.3919667e-05
2,564	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.2888101e-05
2,857	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	7.9343679e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,389	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB
2	13,369	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
3	5,323	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB
4	7,343	Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications	1984	VLDB
5	6,605	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB
6	13,473	Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)	1987	PODS
7	13,303	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB
8	5,085	Transactions And Integrity Constraints	1985	PODS
9	7,601	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