Can I read Atomic Transactions: In Concurrent and Distributed Systems (The Morgan Kaufmann Series in Data Management Systems) on EtoBox?

Atomic Transactions: In Concurrent and Distributed Systems (The Morgan Kaufmann Series in Data Management Systems) by Lynch, Nancy A., Merritt, Michael, Weihl, William E., Fekete, Alan is a book available to read on EtoBox.

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

1. Introduction -- 1.1. Distributed Systems -- 1.2. Atomic Transactions For Distributed Systems -- 1.3. Transaction-processing Algorithms -- 1.4. Formal Models -- 1.5. Comparisons With The Classical Theory -- 2. An Automaton Model -- 2.2. Action Signatures -- 2.3. Automata -- 2.4. Executions And Behaviors -- 2.5. Composition -- 2.6. Proofs About Automata -- 2.7. Relationships Between Automata -- 2.8. Preserving Properties -- 3. Serial Systems And Correctness -- 3.2. System Types -- 3.3. General Structure Of Serial Systems -- 3.4. Serial Actions And Well-formedness -- 3.5. Serial Systems -- 3.6. Atomicity -- 4. Special Classes Of Serial Systems -- 4.2. Equieffectiveness -- 4.3. Commutativity -- 4.4. Special Classes Of Operations -- 4.5. Serial Dependency Relations -- 5. The Atomicity Theorem -- 5.2. Visibility -- 5.3. Simple Systems -- 5.4. Event And Transaction Orders -- 5.5. Atomicity Theorem -- 5.6. Proof Of The Atomicity Theorem -- 6. Locking Algorithms --^ 6.2. Dynamic Atomicity -- 6.3. General Commutativity-based Locking -- 6.4. Moss's Algorithm -- 6.5. General Undo Logging Algorithm -- 7. Timestamp Algorithms -- 7.2. Simple-pseudotime Systems -- 7.3. Static Atomicity -- 7.4.

Author

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

Publisher

San Mateo, CA.: Morgan Kaufmann Publishers

Published

1994

Language

EN

ISBN

9781558601048

Subjects

Computer Science, Mathematics, Management