This book develops a theory for transactions that provides practical solutions for system developers, focusing on the interface between the user and the database that executes transactions.[...]