A Semantic Approach to Correctness, of Concurrent Transaction Executions (Classic Reprint) - Softcover
Synopsis
Understand how to judge when concurrent transactions are correct, not just fast.
This book examines what makes a schedule of database operations legal, and why some forms of concurrency are safer than others. It explains a new semantic idea called independence and how it helps distinguish between serializable, correct, and racing-free schedules.
Readers will see why traditional serializability can be too restrictive for real systems, and how a middle ground—with an easy membership test—helps balance safety and performance. The discussion uses practical examples and a clear, accessible line of reasoning that stays close to the core concepts of integrity constraints and how transactions interact.
- What correctness means in practice: preserving database integrity, isolating transactions, and avoiding racing
- How independence and semantical consistency differ from purely syntactic tests
- The idea of weak serializability and its implications for real-world scheduling
- Conditions under which a middle class of schedules can be tested efficiently
Ideal for readers of database theory and system design who want a grounded, concept-driven view of how concurrency affects correctness.
"synopsis" may belong to another edition of this title.
About the Author
Research Academic Computer Technology Institute (CTI)
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A Semantic Approach to Correctness, of Concurrent Transactio...
Seller Image
A Semantic Approach to Correctness, of Concurrent Transaction Executions
Print on DemandSeller: Forgotten Books, London, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Print on Demand. This book explores the critical but enigmatic issue of "correctness". Correctness in this context refers to the desired behavior of multiple independent operations or entities working simultaneously. The author introduces a new and valuable concept â" "independence" â" as a key component of correctness. They posit that a system can still be considered correct even without adhering to serializability, provided it is independent. The book makes a remarkable contribution by proposing a new class of correct schedules that are neither serializable nor incorrect. This class, dubbed weakly serializable of order 2, strikes a balance between correctness and the constraint of serializability. The author's in-depth investigation of semantic constraints and integrity conditions provides a comprehensive framework for evaluating correctness, thereby significantly enhancing our understanding of this multifaceted concept. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Seller Inventory # 9781332194520_0
Buy New
US$ 17.35
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Semantic Approach to Correctness, of Concurrent Transaction Executions Classic Reprint
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332194520
Stock Image
A Semantic Approach to Correctness, of Concurrent Transaction Executions Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332194520
Buy New
US$ 23.70
US$ 4.38 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available