Lecture 14: Optimistic Concurrency Control