The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1)

Philip A. Bernstein, David W. Shipman. The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst., 5(1):52-68, 1980. [doi]

Abstract

Abstract is missing.