A Theory of Timestamp-Based Concurrency Control for Nested Transactions
Summary: Rigorous timestamp-based concurrency control and recovery framework for nested transactions; introduces local static atomicity (LSA) as a modular correctness property. Per-object LSA implies global serializability; generalizes Reed–Herlihy algorithms and proves they preserve LSA. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. James Aspnes (Carnegie Mellon University)
- 2. Alan Fekete (Massachusetts Institute of Technology)
- 3. Nancy Lynch (Massachusetts Institute of Technology)
- 4. Michael Merritt (AT&T)
- 5. William Weihl (Massachusetts Institute of Technology)
BibTeX Citation
@article{aspnes_vldb88,
title = {{A Theory of Timestamp-Based Concurrency Control for Nested Transactions}},
author = {Aspnes, James and Fekete, Alan and Lynch, Nancy and Merritt, Michael and Weihl, William},
journal = {PVLDB},
series = {{VLDB} '88},
pages = {431},
year = {1988}
}Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,099 | Transaction Repair for Multi-Version Concurrency Control | 2017 | SIGMOD | 5.9776969e-05 |
| 13,115 | A Serialization Graph Construction for Nested Transactions | 1990 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 0 of 0 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 13,115 | A Serialization Graph Construction for Nested Transactions | 1990 | PODS |
| 2 | 5,194 | Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications | 1990 | VLDB |
| 3 | 3,384 | Towards a Unified Theory of Concurrency Control and Recovery | 1993 | PODS |
| 4 | 2,793 | Hybrid Concurrency Control for Abstract Data Types (Extended Abstract) | 1988 | PODS |
| 5 | 7,095 | Nested Transactions and Read/Write Locking (Preliminary Report) | 1987 | PODS |
| 6 | 13,021 | Relative Serializability: An Approach for Relaxing the Atomicity of Transactions | 1994 | PODS |
| 7 | 2,257 | Concurrency Control of Nested Transactions Accessing B-Trees | 1989 | PODS |
| 8 | 12,900 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS |
| 9 | 14,524 | Multilevel Atomicity | 1982 | PODS |
| 10 | 5,708 | Concurrency Control for Resilient Nested Transactions | 1983 | PODS |