- Shopping Bag ( 0 items )
Other sellers (Hardcover)
-
All (13) from $1.99
-
New (4) from $115.98
-
Used (9) from $1.99
More About This Textbook
Overview
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.
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.
Editorial Reviews
Booknews
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 c. Book News, Inc., Portland, OR (booknews.com)Product Details
Related Subjects
Meet the Author
About the author: Nancy A. Lynch is a professor of electrical engineering and computer science at MIT and heads MIT's Theory of Distributed Systems research group. She is the author of numerous research articles about distributed algorithms and impossibility results, and about formal modeling and verification of distributed systems.
Michael Merritt, AT&T
William E. Weihl, Massachusetts Institute of Technololgy
Alan Fekete, University of Sydney
Table of Contents
2 An Automation Model
3 Serial Systems and Correctness
4 Special Classes of Serial Systems
5 The Atomicity Theorem
6 Locking Algorithms
7 Timestamp Algorithms
8 Hybrid Algorithms
9 Relationship to the Classical Theory
10 Optimistic Algorithms
11 Orphan Management Algorithms
12 Replication
A Mathematical Concepts