This book describes the theory, algorithms, and practical implementation techniques behind transaction processing in information technology systems.