A Proclamation-Based Model for Cooperating Transactions

Summary: Introduces proclamations—promises to write one value from a set—that expose partial future states, enabling cooperation while preserving serializability. Supports runtime discovery of data-dependent commutativity without semantic annotations, with lock-based and compiler implementations. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: h4885ebacb6a40b10
Venue: VLDB
Year: 1992
Pagerank: 4.9793485e-05
Overall Rank: 13,383 | 10.02%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. H. V. Jagadish (AT&T)
2. Oded Shmueli (AT&T)

BibTeX Citation

@article{jagadish_vldb92,
        title = {{A Proclamation-Based Model for Cooperating Transactions}},
        author = {Jagadish, H. V. and Shmueli, Oded},
        journal = {PVLDB},
        series = {{VLDB} '92},
        pages = {265--276},
        year = {1992}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
66	Sagas	1987	SIGMOD	0.00038047495
1,689	ODE (Object Database and Environment): The Language and the Data Model	1989	SIGMOD	9.8628503e-05
1,738	Split-Transactions for Open-Ended Activities	1988	VLDB	9.7487946e-05
2,490	Formal Model of Correctness Without Serializability	1988	SIGMOD	8.3959371e-05
2,896	A Formal Approach to Recovery by Compensating Transactions	1990	VLDB	7.8921728e-05
5,317	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB	6.1835441e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	9,194	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
2	14,831	Transactions Modeling	1982	SIGMOD
3	13,297	Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions	1995	VLDB
4	13,190	Concurrency Control and Recovery in Transactional Process Management	1999	PODS
5	13,311	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions	1994	PODS
6	9,270	On Correctness of Non-serializable Executions	1993	PODS
7	6,050	Semantics Based Transaction Management Techniques for Replicated Data	1988	SIGMOD
8	2,490	Formal Model of Correctness Without Serializability	1988	SIGMOD
9	5,317	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB
10	13,296	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB