Introduction to ACID, concurrency control.
Transaction processing
20 pages
Introduction to transaction processing: atomicity, scheduling
Lecture Notes
Introduction to transaction processing: concurrency control
Reasoning with Transactions
Practice use of locking, logging, and recovery