Theoretical Basis for SELECT FOR UPDATE

Original text of this message