Nested transactions, conflict-based locking, and dynamic atomicity (Lab. for Computer Science, Massachusetts Inst. of Technology, 1987)