Two Part Proof Schema for Database Concurrency Control

Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai. Two Part Proof Schema for Database Concurrency Control. In Berkeley Workshop. pages 71-84, 1981.

Abstract

Abstract is missing.