Weikum G., Vossen G. Transactional Information Systems. Theory, Algorithms, and the Practice of Concurrency Control and Recovery

Morgan Kaufmann, 2002. — 880.This book is a major advance for transaction processing. It synthesizes and organizes the last three decades of research into a rigorous and consistent presentation. It unifies concurrency control and recovery for both the page and object models. As the copious references show, this unification has been the labor of many researchers in addition to Weikum and Vossen; but this book organizes that huge research corpus into a consistent whole, with a step-by-step development of the ideas.
The “classic” books on transaction processing have largely either focused on the practical aspects or taken a rigorous approach presenting theorems and proofs. Most have limited themselves to “flat” transactions because the theory of multilevel transactions was so immature. This is the first book to give an in-depth presentation of both the theory and the practical aspects of the field, and the first to present our new understanding of multilevel (object model) transaction processing.
In reading the book, I was impressed at how much our field has advanced, and how once-complex ideas are now simply explained once the terminology is rationalized, and once the proper perspective is set. You will find it possible to read this book at the superficial level: just following the text, the examples, the definitions, and the theorems. You will also be able to dive as deep as you like into the detailed presentation of the results – both the proofs and the programs. In reviewing the book, I took both perspectives: trying to use it as a reference by diving into the middle of some chapter and seeing how quickly I could find the answer to my question. I also took the linear approach of reading the book. In both cases, the book was very informative and very accessible.
This book is likely to become the standard reference in our field for many years to come.Part One Background and Motivation
What Is It All About?
Computational Models
Part Two Concurrency Control
Concurrency Control: Notions of Correctness for the Page Model
Concurrency Control Algorithms
Multiversion Concurrency Control
Concurrency Control on Objects: Notions of Correctness
Concurrency Control Algorithms on Objects
Concurrency Control on Relational Databases
Concurrency Control on Search Structures
Implementation and Pragmatic Issues
Part Three Recovery
Transaction Recovery
Crash Recovery: Notion of Correctness
Page Model Crash Recovery Algorithms
Object Model Crash Recovery
Special Issues of Recovery
Media Recovery
Application Recovery
Part Four Coordination of Distributed Transactions
Distributed Concurrency Control
Distributed Transaction Recovery
Part Five Applications and Future Perspectives
What Is Next?