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: h1fc4742e088f8dbb
Venue: SIGMOD
Year: 1990
Pagerank: 8.2927351e-05
Overall Rank: 2,564 | 82.77%
DOI: 10.1145/93597.98729

Incoming Non-self Citations Over Time

Authors

1. Panayiotis K. Chrysanthis (University of Massachusetts Amherst)
2. Krithi Ramamritham (University of Massachusetts Amherst)

BibTeX Citation

@inproceedings{chrysanthis_sigmod90,
        title = {{ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior}},
        author = {Chrysanthis, Panayiotis K. and Ramamritham, Krithi},
        series = {{SIGMOD} '90},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/93597.98729},
        url = {https://dl.acm.org/doi/10.1145/93597.98729},
        year = {1990}
}

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,525	Managing Semantic Heterogeneity in Databases : A Theoretical Perspective	1997	PODS	0.00010355628
2,134	A Transactional Model for Long-Running Activities	1991	VLDB	8.9913304e-05
3,199	Specifying and Enforcing Intertask Dependencies	1993	VLDB	7.5438219e-05
3,852	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD	6.9771124e-05
5,047	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.2992912e-05
5,756	A Formalism for Extended Transaction Models	1991	VLDB	6.0054429e-05
6,339	Cloud Actor-Oriented Database Transactions in Orleans	2024	VLDB	5.8092399e-05
6,603	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB	5.7395671e-05
8,155	Compensation-Aware Data Types in RDBMS	2009	SIGMOD	5.3881127e-05
13,133	Lightweight Flexible Isolation for Language-based Extensible Systems	2002	VLDB	4.9793485e-05
13,296	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.9793485e-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
1,205	A Model of CAD Transactions	1985	VLDB	0.00011547408
1,309	Abstraction in Recovery Management	1986	SIGMOD	0.00011070982
1,738	Split-Transactions for Open-Ended Activities	1988	VLDB	9.7487946e-05
2,856	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	7.9381255e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,534	Entangled Transactions	2011	VLDB
2	6,369	Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases	1992	VLDB
3	1,205	A Model of CAD Transactions	1985	VLDB
4	3,199	Specifying and Enforcing Intertask Dependencies	1993	VLDB
5	13,383	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB
6	2,134	A Transactional Model for Long-Running Activities	1991	VLDB
7	13,190	Concurrency Control and Recovery in Transactional Process Management	1999	PODS
8	5,317	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB
9	13,296	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB
10	5,756	A Formalism for Extended Transaction Models	1991	VLDB