Transaction Processing : Management of the Logical Database and Its Underlying Physical Structure

Transactions are a concept related to the logical database as seen from the perspective of database application programmers: a transaction is a sequence of database actions that is to be executed as an atomic unit of work. The processing of transactions on databases is a well- established area with many of its foundations having already been laid in the late 1970s and early 1980s.

The unique feature of this textbook is that it bridges the gap between the theory of transactions on the logical database and the implementation of the related actions on the underlying physical database. The authors relate the logical database, which is composed of a dynamically changing set of data items with unique keys, and the underlying physical database with a set of fixed-size data and index pages on disk. Their treatment of transaction processing builds on the “do-redo-undo” recovery paradigm, and all methods and algorithms presented are carefully designed to be compatible with this paradigm as well as with write-ahead logging, steal-and-no-force buffering, and fine-grained concurrency control.

Chapters 1 to 6 address the basics needed to fully appreciate transaction processing on a centralized database system within the context of our transaction model, covering topics like ACID properties, database integrity, buffering, rollbacks, isolation, and the interplay of logical locks and physical latches. Chapters 7 and 8 present advanced features including deadlock-free algorithms for reading, inserting and deleting tuples, while the remaining chapters cover additional advanced topics extending on the preceding foundational chapters, including multi-granular locking, bulk actions, versioning, distributed updates, and write-intensive transactions.

This book is primarily intended as a text for advanced undergraduate or graduate courses on database management in general or transaction processing in particular.

Seppo Sippu is Professor (Emeritus) of Computer Science at the University of Helsinki, and Eljas Soisalon-Soininen is Professor of Computer Science and Engineering at the Aalto University School of Science. They started their co-work already in the 1970s on the area of compiler construction and parsing. This work culminated in the two-volume book "Parsing Theory" published by Springer 1988 and 1990.

Already in the 1980s they gradually moved to data structures and algorithms, and also to databases and indexing, partly inspired by the visit of Dr. Soisalon-Soininen at the University of Karlsruhe as a Humboldt grantee. One important topic in the most recent work has been incorporating index operations into database transactions allowing uniform treatment of them both. Sippu and Soisalon-Soininen have published many articles in peer-reviewed conferences and journals, such as Journal of the ACM, ACM Transactions on Database Systems, The VLDB Journal, and IEEE Transactions on Knowledge and Data Engineering.