An optimality theory of concurrency control for databases - Kung, Hsing-Tsung; Papadimitriou, Christos H. 1949- (Massachusetts Inst. of Technology, Lab. for Computer Science, 1980)