ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior

Summary: ACTA unifies and formalizes transaction structure and behavior across traditional and extended models. Semantics are expressed via commit/abort effects on objects and on concurrency state, enabling reasoning about reactive, long-lived, and collaborative interactions beyond serializability. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2484
Venue: SIGMOD
Year: 1990
Pagerank: 8.8329645e-05
Overall Rank: 2,431 | 83.09%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Panayiotis K. Chrysanthis
2. Krithi Ramamritham

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,384	Managing Semantic Heterogeneity in Databases : A Theoretical Perspective	1997	PODS	0.00012262892
1,481	A Transactional Model for Long-Running Activities	1991	VLDB	0.00011735776
2,270	Specifying and Enforcing Intertask Dependencies	1993	VLDB	9.1467207e-05
3,533	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD	7.0009039e-05
3,634	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.8986478e-05
5,500	A Formalism for Extended Transaction Models	1991	VLDB	5.4744227e-05
6,248	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB	5.1385559e-05
7,379	Compensation-Aware Data Types in RDBMS	2009	SIGMOD	4.7479196e-05
11,073	Cloud Actor-Oriented Database Transactions in Orleans	2024	VLDB	4.1945683e-05
12,650	Lightweight Flexible Isolation for Language-based Extensible Systems	2002	VLDB	4.1945683e-05
12,812	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
799	A Model of CAD Transactions	1985	VLDB	0.00016575268
1,148	Abstraction in Recovery Management	1986	SIGMOD	0.00013660928
1,540	Split-Transactions for Open-Ended Activities	1988	VLDB	0.00011460082
2,315	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	9.0443059e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
8,550	Entangled Transactions	2011	VLDB	4.4937074e-05
4,316	Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases	1992	VLDB	6.2885419e-05
799	A Model of CAD Transactions	1985	VLDB	0.00016575268
2,270	Specifying and Enforcing Intertask Dependencies	1993	VLDB	9.1467207e-05
12,899	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB	4.1945683e-05
1,481	A Transactional Model for Long-Running Activities	1991	VLDB	0.00011735776
12,707	Concurrency Control and Recovery in Transactional Process Management	1999	PODS	4.1945683e-05
4,912	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB	5.8321169e-05
12,812	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.1945683e-05
5,500	A Formalism for Extended Transaction Models	1991	VLDB	5.4744227e-05