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: 8189
Venue: VLDB
Year: 1991
Pagerank: 6.1429911e-05
Overall Rank: 5,628 | 61.39%
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,476	ASSET: A System for Supporting Extended Transactions	1994	SIGMOD	6.6794902e-05
4,931	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.4389004e-05
6,362	A Multidatabase System for Tracking and Retrieval of Financial Data	1994	VLDB	5.900531e-05
13,006	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	5.093636e-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
64	Sagas	1987	SIGMOD	0.00038756588
1,179	A Model of CAD Transactions	1985	VLDB	0.00011806468
1,276	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.0001136991
1,705	Split-Transactions for Open-Ended Activities	1988	VLDB	9.9629987e-05
2,301	A Multidatabase Transaction Model for InterBase	1990	VLDB	8.7813535e-05
2,450	Formal Model of Correctness Without Serializability	1988	SIGMOD	8.565918e-05
2,535	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.4560885e-05
2,793	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	8.1180419e-05

Semantically Similar Papers

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