DBScholar

Back to papers

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
2546
Venue
SIGMOD
Year
1990
Pagerank
8.4560885e-05
Overall Rank
2,535 | 82.61%
DOI
10.1145/93597.98729

Incoming Non-self Citations Over Time

Authors

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,609 Managing Semantic Heterogeneity in Databases : A Theoretical Perspective 1997 PODS 0.00010225236
2,089 A Transactional Model for Long-Running Activities 1991 VLDB 9.1910671e-05
3,142 Specifying and Enforcing Intertask Dependencies 1993 VLDB 7.7169178e-05
3,775 Extracting Concurrency from Objects: A Methodology 1991 SIGMOD 7.1372528e-05
4,931 Using Flexible Transactions to Support Multi-system Telecommunication Applications 1992 VLDB 6.4389004e-05
5,628 A Formalism for Extended Transaction Models 1991 VLDB 6.1429911e-05
6,468 A Practical and Modular Method to Implement Extended Transaction Models 1995 VLDB 5.8711447e-05
7,993 Compensation-Aware Data Types in RDBMS 2009 SIGMOD 5.5098775e-05
11,279 Cloud Actor-Oriented Database Transactions in Orleans 2024 VLDB 5.093636e-05
12,843 Lightweight Flexible Isolation for Language-based Extensible Systems 2002 VLDB 5.093636e-05
13,006 Towards a Cooperative Transaction Model - The Cooperative Activity Model - 1995 VLDB 5.093636e-05
Previous Page 1 / 1 Next

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,179 A Model of CAD Transactions 1985 VLDB 0.00011806468
1,287 Abstraction in Recovery Management 1986 SIGMOD 0.00011320549
1,705 Split-Transactions for Open-Ended Activities 1988 VLDB 9.9629987e-05
2,793 Hybrid Concurrency Control for Abstract Data Types (Extended Abstract) 1988 PODS 8.1180419e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 8,447 Entangled Transactions 2011 VLDB
2 6,240 Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases 1992 VLDB
3 1,179 A Model of CAD Transactions 1985 VLDB
4 3,142 Specifying and Enforcing Intertask Dependencies 1993 VLDB
5 13,093 A Proclamation-Based Model for Cooperating Transactions 1992 VLDB
6 2,089 A Transactional Model for Long-Running Activities 1991 VLDB
7 12,900 Concurrency Control and Recovery in Transactional Process Management 1999 PODS
8 5,194 Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications 1990 VLDB
9 13,006 Towards a Cooperative Transaction Model - The Cooperative Activity Model - 1995 VLDB
10 5,628 A Formalism for Extended Transaction Models 1991 VLDB