This document provides an introduction and overview of transaction processing concepts and theory. It discusses key topics such as transactions, concurrency control, recovery, and desirable properties of transactions. The summary includes:
1) A transaction represents a logical unit of work that accesses a database, such as a bank balance transfer. Concurrency control is needed to prevent issues when transactions run concurrently.
2) The system log records all transaction operations to support recovery from failures. Transactions pass through states like active, committed, and aborted. Desirable properties include atomicity, consistency, isolation, and durability.
3) Schedules represent the order of operations from concurrent transactions. Their properties like recoverability and serializability are