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: 2485
Venue: SIGMOD
Year: 1990
Pagerank: 8.8242736e-05
Overall Rank: 2,433 | 83.10%
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,386	Managing Semantic Heterogeneity in Databases : A Theoretical Perspective	1997	PODS	0.00012251453
1,479	A Transactional Model for Long-Running Activities	1991	VLDB	0.00011722975
2,275	Specifying and Enforcing Intertask Dependencies	1993	VLDB	9.1378799e-05
3,464	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD	7.0672222e-05
3,637	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.8920046e-05
5,513	A Formalism for Extended Transaction Models	1991	VLDB	5.4691558e-05
6,247	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB	5.1336743e-05
7,376	Compensation-Aware Data Types in RDBMS	2009	SIGMOD	4.7435196e-05
11,076	Cloud Actor-Oriented Database Transactions in Orleans	2024	VLDB	4.1905499e-05
12,659	Lightweight Flexible Isolation for Language-based Extensible Systems	2002	VLDB	4.1905499e-05
12,821	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.1905499e-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
793	A Model of CAD Transactions	1985	VLDB	0.0001657055
1,144	Abstraction in Recovery Management	1986	SIGMOD	0.00013687982
1,543	Split-Transactions for Open-Ended Activities	1988	VLDB	0.00011447601
2,306	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	9.064021e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
8,547	Entangled Transactions	2011	VLDB	4.4893996e-05
4,309	Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases	1992	VLDB	6.2824978e-05
793	A Model of CAD Transactions	1985	VLDB	0.0001657055
2,275	Specifying and Enforcing Intertask Dependencies	1993	VLDB	9.1378799e-05
12,909	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB	4.1905499e-05
1,479	A Transactional Model for Long-Running Activities	1991	VLDB	0.00011722975
12,716	Concurrency Control and Recovery in Transactional Process Management	1999	PODS	4.1905499e-05
4,919	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB	5.8263376e-05
12,821	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.1905499e-05
5,513	A Formalism for Extended Transaction Models	1991	VLDB	5.4691558e-05