Relaxed Transaction Processing

Summary: Introduces a general specification facility for extended transaction models based on dependencies among subtransaction events (start, commit, abort). Each subtransaction has an actor to mediate interactions and enforce guards on events; specifications extend Klein's language and are compiled into a provably sound algebraic core executed on Carnot ESS, delivering flexible, efficient relaxed transaction processing. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2827
Venue: SIGMOD
Year: 1994
Pagerank: -
Overall Rank: 14,304 | 1.87%
DOI: 10.1145/191839.191949

Incoming Non-self Citations Over Time

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

Authors

1. Munindar P. Singh (Microelectronics And Technology Computer Corporation)
2. Christine Tomlinson (Microelectronics And Technology Computer Corporation)
3. Darrell Woelk (Microelectronics And Technology Computer Corporation)

BibTeX Citation

@inproceedings{singh_sigmod94,
        title = {{Relaxed Transaction Processing}},
        author = {Singh, Munindar P. and Tomlinson, Christine and Woelk, Darrell},
        series = {{SIGMOD} '94},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/191839.191949},
        url = {https://dl.acm.org/doi/10.1145/191839.191949},
        year = {1994}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
3,142	Specifying and Enforcing Intertask Dependencies	1993	VLDB	7.7169178e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,060	Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications	1993	SIGMOD
2	14,121	Correctness in General Configurations of Transactional Components	1999	PODS
3	6,983	Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems	1994	SIGMOD
4	5,628	A Formalism for Extended Transaction Models	1991	VLDB
5	9,722	Task Scheduling Using Intertask Dependencies in Carnot	1993	SIGMOD
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	6,468	A Practical and Modular Method to Implement Extended Transaction Models	1995	VLDB
9	12,843	Lightweight Flexible Isolation for Language-based Extensible Systems	2002	VLDB
10	3,142	Specifying and Enforcing Intertask Dependencies	1993	VLDB