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: 660
Venue: PODS
Year: 1983
Pagerank: 8.1649564e-05
Overall Rank: 2,751 | 81.13%
DOI: 10.1145/588058.588086

Incoming Non-self Citations Over Time

Authors

1. Vassos Hadzilacos (Harvard University)

BibTeX Citation

@inproceedings{hadzilacos_pods83,
        address = {New York, NY, USA},
        series = {{PODS} '83},
        title = {{AN OPERATIONAL MODEL FOR DATABASE SYSTEM RELIABILITY}},
        url = {https://dl.acm.org/doi/10.1145/588058.588086},
        doi = {10.1145/588058.588086},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Hadzilacos, Vassos},
        year = {1983}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,287	Abstraction in Recovery Management	1986	SIGMOD	0.00011320549
9,909	Reliable Scheduling of Database Transactions for Unreliable Systems	1984	PODS	5.1972596e-05
13,211	On the Correctness of a Local Storage Subsystem (Extended Abstract)	1985	PODS	5.093636e-05

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
3,248	File Structure Design To Facilitate On-Line Instantaneous Updating	1975	SIGMOD	7.598183e-05
5,708	Concurrency Control for Resilient Nested Transactions	1983	PODS	6.1142555e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,983	Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems	1994	SIGMOD
2	8,563	Triggered Real-Time Databases with Consistency Constraints	1990	VLDB
3	2,586	Robustness to Crash in a Distributed Database: A Non Shared-Memory Multi-Processor Approach	1984	VLDB
4	11,526	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS
5	8,150	A Dependability Benchmark for OLTP Application Environments	2003	VLDB
6	9,025	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
7	4,309	Reliable Transaction Management in a Multidatabase System	1990	SIGMOD
8	12,975	Recovery for Transaction Failures in Object-Based Databases	1996	PODS
9	9,909	Reliable Scheduling of Database Transactions for Unreliable Systems	1984	PODS
10	14,468	The Complexity of Reliable Concurrency Control	1985	PODS