Atomic transactions

著者

• Lynch, Nancy A. (Nancy Ann)

書誌事項

Atomic transactions

Nancy Lynch ... [et al.]

（The Morgan Kaufmann series in data management systems）

Morgan Kaufmann Publishers, c1994

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

1. Introduction 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

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA21035109
• ISBN:
  • 155860104X
• LCCN: 93032236
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: San Mateo, Calif.
• ページ数/冊数: xxi, 500 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.545
  • DC20 : 005.74
• 件名:
  • LCSH : Transaction systems (Computer systems)
  • LCSH : Electronic data processing -- Distributed processing
• 親書誌ID:
  • BA07715704