Lecture 7: Transactions and Concurrency Control