| Atomic Transactions (1994) |
| Front Cover | Book Details | ||||||||||||||||
|
|
| Plot |
| Amazon.com The authors of Atomic Transactions have a deep, nearly organic, way of thinking about what goes on in online transaction processing (OLTP) systems. Reading this book brings to mind the physical laws of chemistry and kinetics, as if the atomic functions of database transactions (file writes, file reads, query transmissions, and so on) are comparable to whirling atoms in the real world. The book provides a formal mathematical model that attempts to explain the behaviors of OLTP systems at several levels, much as the equations that we use to explain gravity work at both the atomic and the planetary levels. The model, which is extremely complicated and contains loads of mathematical notation, explains how time, data, and user behavior interact to form a system that allows concurrent access to a database. If you don't already have a good understanding of what goes on in an OLTP system, this isn't the book to read. Rather, take a look at Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter. From Book News, Inc. 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. Although atomic transactions appear to the user as single, indivisible units, the model described here permits transactions to be nested. Many important algorithms are presented which provide maximum concurrency for transaction processing without sacrificing data integrity. Annotation copyright Book News, Inc. Portland, Or. Book Description 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. Atomic transactions are a useful abstraction for programming concurrent and distributed data processing systems. Presents many important algorithms which provide maximum concurrency for transaction processing without sacrificing data integrity. The authors include a well-developed data processing case study to help readers understand transaction processing algorithms more clearly. The book offers conceptual tools for the design of new algorithms, and for devising variations on the familiar algorithms presented in the discussions. Whether your background is in the development of practical systems or formal methods, this book will offer you a new way to view distributed systems. Ingram This book presents a framework for precise design and verification of distributed and concurrent systems that use atomic transactions as a high-level abstraction. The authors present the most useful algorithms for transaction processing in concurrent and distributed systems, and include a well-developed data processing case study. |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
| Notes |
| Includes bibliographical references (p. [473]-483) and index. |