An Operational Model For Database System Reliability
Summary: State-based operational model: represent DBMS as system states and transactions as state-transition functions, express reliability predicates (e.g., resiliency) over state sequences. Formalizes commit/abort, data residency and fault-tolerance, derives/proves algorithms including distributed extensions. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,148 | Abstraction in Recovery Management | 1986 | SIGMOD | 0.00013660928 |
| 9,541 | Reliable Scheduling of Database Transactions for Unreliable Systems | 1984 | PODS | 4.3265281e-05 |
| 13,012 | On the Correctness of a Local Storage Subsystem (Extended Abstract) | 1985 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 752 | File Structure Design To Facilitate On-Line Instantaneous Updating | 1975 | SIGMOD | 0.00017205234 |
| 3,123 | Concurrency Control for Resilient Nested Transactions | 1983 | PODS | 7.5249489e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,028 | Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems | 1994 | SIGMOD | 5.2415551e-05 |
| 1,142 | Robustness To Crash In A Distributed Database: A Non Shared-Memory Multi-Processor Approach | 1984 | VLDB | 0.00013712652 |
| 8,332 | Triggered Real-Time Databases with Consistency Constraints | 1990 | VLDB | 4.5435639e-05 |
| 11,327 | Robustness Against Read Committed: A Free Transactional Lunch | 2022 | PODS | 4.1945683e-05 |
| 8,107 | A Dependability Benchmark for OLTP Application Environments | 2003 | VLDB | 4.5847497e-05 |
| 7,272 | Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems | 1992 | PODS | 4.7811016e-05 |
| 3,262 | Reliable Transaction Management in a Multidatabase System | 1990 | SIGMOD | 7.3105466e-05 |
| 12,781 | Recovery for Transaction Failures in Object-Based Databases | 1996 | PODS | 4.1945683e-05 |
| 9,541 | Reliable Scheduling of Database Transactions for Unreliable Systems | 1984 | PODS | 4.3265281e-05 |
| 14,267 | The Complexity of Reliable Concurrency Control | 1985 | PODS | - |