A probabilistic analysis of a database system

In Gray, Homan, Obermarck, and Korth [GHOK], the authors give many conjectures based on simulation for the probabilistic analysis of transaction lock-waits and transaction deadlocks. In this paper, we introduce a probabilistic model to explain their observations.