Lecture Notes: Transaction processing