Deadlock problems in a multidatabase environment
Yuri J. Breitbart, Witold Litwin, Abraham Silberschatz · 2002
A deadlock detection algorithm and a deadlock prevention algorithm in a multidatabase environment are introduced. The deadlock detection algorithm is based on the potential conflict graph (PCG) introduced by Y. Breitbart et al. (1990). The deadlock prevention algorithm is based on the value data protocol discussed. The correctness of both algorithms is proved, and their performance is discussed.>