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: 7999
Venue: VLDB
Year: 1991
Pagerank: 5.4691558e-05
Overall Rank: 5,513 | 61.69%
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,637	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.8920046e-05
4,007	ASSET: A System for Supporting Extended Transactions	1994	SIGMOD	6.5364177e-05
6,126	A Multidatabase System for Tracking and Retrieval of Financial Data	1994	VLDB	5.1948248e-05
12,821	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.1905499e-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.00071732655
793	A Model of CAD Transactions	1985	VLDB	0.0001657055
1,076	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.00014229211
1,543	Split-Transactions for Open-Ended Activities	1988	VLDB	0.00011447601
1,753	Formal Model of Correctness Without Serializability	1988	SIGMOD	0.00010665163
1,795	A Multidatabase Transaction Model for InterBase	1990	VLDB	0.0001051023
2,306	Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)	1988	PODS	9.064021e-05
2,433	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.8242736e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,909	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB	4.1905499e-05
12,889	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB	4.1905499e-05
4,919	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB	5.8263376e-05
6,486	Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications	1984	VLDB	5.0384864e-05
6,247	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB	5.1336743e-05
12,990	Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)	1987	PODS	4.1905499e-05
12,822	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB	4.1905499e-05
4,643	Transactions And Integrity Constraints	1985	PODS	6.0213009e-05
6,824	A Transaction Logic for Database Specification	1988	SIGMOD	4.9096742e-05
2,433	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.8242736e-05