Atomic Transactions: In Concurrent and Distributed Systems (The Morgan Kaufmann Series in Data Management Systems)

Lynch, Nancy A.; Merritt, Michael; Weihl, William E.; Fekete, Alan

ISBN 10: 155860104X / ISBN 13: 9781558601048

Verlag: Morgan Kaufmann, 1993

Beschreibung

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Bestandsnummer des Verkäufers S_408572385

Bibliografische Details

• Titel: Atomic Transactions: In Concurrent and Distributed Systems (The Morgan Kaufmann Series in Data Management Systems)
• Verlag: Morgan Kaufmann
• Erscheinungsjahr: 1993
• Sprache: Englisch
• ISBN-10: 155860104X
• ISBN-13: 9781558601048
• Einband: hardcover
• Zustand: Good

Über diesen Titel

Inhaltsangabe

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.

Über die Autorinnen und Autoren

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