HP Labs Technical Reports
Click here for full text:
Homotopy and Concurrency
Keyword(s): homotopy theory, serializability, 2-phase locking, concurrency theory
Abstract: In this paper we give a homtopy theoretic proof of a well-known result in database engineering: that 2-phase locking is safe. The proof gives an immediate intuitive reason for why the 2-phase locking condition implies safety. We point out a number of interesting open questions regarding the interplay between homotopy and concurrency.
Back to Index