The course gives a broad and thorough overview of the transaction systems theory. It concentrates on concurrency control and recovery (notions of correctness and their interaction) in database management systems, while also covering other topics (implementational issues, distributed transaction management and recovery etc).