Database Paper Browser

Back to papers

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)

Paper ID
661
Venue
PODS
Year
1983
Pagerank
0.00013485333
Overall Rank
1,176 | 91.83%
DOI
-

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,144 Abstraction in Recovery Management 1986 SIGMOD 0.00013687982
9,542 Reliable Scheduling of Database Transactions for Unreliable Systems 1984 PODS 4.3223802e-05
13,023 On the Correctness of a Local Storage Subsystem (Extended Abstract) 1985 PODS 4.1905499e-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
747 File Structure Design To Facilitate On-Line Instantaneous Updating 1975 SIGMOD 0.00017198314
3,126 Concurrency Control for Resilient Nested Transactions 1983 PODS 7.522633e-05
Previous Page 1 / 1 Next

Semantically Similar Papers