A Formalism for Extended Transaction Models

Summary: Formalism underpinning ACTA to specify interactions among extended transactions and their effects on database objects. Enables proofs of visibility, consistency, recovery, and permanence, and generalizes to traditional, nested, and split transaction models. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7998
Venue: VLDB
Year: 1991
Pagerank: 5.4744227e-05
Overall Rank: 5,500 | 61.74%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Panos K. Chrysanthis
2. Krithi Ramamritham

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
3,634	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.8986478e-05
4,004	ASSET: A System for Supporting Extended Transactions	1994	SIGMOD	6.5427306e-05
6,121	A Multidatabase System for Tracking and Retrieval of Financial Data	1994	VLDB	5.1999228e-05
12,812	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.1945683e-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
45	Sagas	1987	SIGMOD	0.00071800944
799	A Model of CAD Transactions	1985	VLDB	0.00016575268
1,075	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.00014250476
1,540	Split-Transactions for Open-Ended Activities	1988	VLDB	0.00011460082
1,753	Formal Model of Correctness Without Serializability	1988	SIGMOD	0.00010673887
1,798	A Multidatabase Transaction Model for InterBase	1990	VLDB	0.00010520589
2,315	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	9.0443059e-05
2,431	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.8329645e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,899	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB	4.1945683e-05
12,879	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB	4.1945683e-05
4,912	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB	5.8321169e-05
6,489	Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications	1984	VLDB	5.0433313e-05
6,248	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB	5.1385559e-05
12,979	Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)	1987	PODS	4.1945683e-05
12,813	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB	4.1945683e-05
4,640	Transactions And Integrity Constraints	1985	PODS	6.0271345e-05
6,825	A Transaction Logic for Database Specification	1988	SIGMOD	4.9143895e-05
2,431	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.8329645e-05