Verwandte Artikel zu A Semantic Approach to Correctness, of Concurrent Transactio...
A Semantic Approach to Correctness, of Concurrent Transaction Executions (Classic Reprint) - Softcover
Inhaltsangabe
Excerpt from A Semantic Approach to Correctness, of Concurrent Transaction Executions
A natural and intuitive way to define correctness is by requiring elimination of all three types of anomalies. This approach was taken in [cars 83] and is also taken in this paper. However, the notion of serializability was assumed to be a formal counterpart of correctness by many researchers ([bern [esw [papa [sehl [ull It was pointed out by several researchers ([casa [cars [fisc [kung [schl that serializability is a too restricted notion and that meaningful results can be obtained for designing schedules which are correct but not necessarily serializable.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Excerpt from A Semantic Approach to Correctness, of Concurrent Transaction Executions
A natural and intuitive way to define correctness is by requiring elimination of all three types of anomalies. This approach was taken in [cars 83] and is also taken in this paper. However, the notion of serializability was assumed to be a formal counterpart of correctness by many researchers ([bern [esw [papa [sehl [ull It was pointed out by several researchers ([casa [cars [fisc [kung [schl that serializability is a too restricted notion and that meaningful results can be obtained for designing schedules which are correct but not necessarily serializable.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Reseña del editor
Excerpt from A Semantic Approach to Correctness, of Concurrent Transaction Executions
One of the main Issues in concurrency control is the question of what constitutes a legal or correct behavior of a group of transactions updating the database simultaneously. It seems that the undesirable effects of concurrent transaction executions can be put into three classes: violation of integrity constraints, inconsistent outputs to users and racing. An intuitive way to define correctness of transaction schedules is then to require that the scheduler avoid all three types of anomalies. In this paper, we formalize this notion of correctness. To do this, we develop a new, desirable, semantic property of transaction schedules, which we call independence. Then, we give a partial answer to the following question: Is there any intermediate class of schedules, between the classes of serializable and correct schedules, that has an easy membership test? We first prove a negative result. For integrity constraints in the form of linear inequalities and for linear semantics of transaction actions, we show that the serializable schedules are the only class of schedules preserving those integrity constraints. However, if the semantics of transaction actions are more restricted, then there exists a class of nonserializable schedules (we call them weakly serializable of order 2) which is a proper subset of the class of correct schedules and has an easy membership test.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 18,66
EUR 0,85 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für A Semantic Approach to Correctness, of Concurrent Transactio...
Beispielbild für diese ISBN
A Semantic Approach to Correctness, of Concurrent Transaction Executions Classic Reprint
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781332194520
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
A Semantic Approach to Correctness, of Concurrent Transaction Executions Classic Reprint
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781332194520
Anzahl: 15 verfügbar
Foto des Verkäufers
A Semantic Approach to Correctness, of Concurrent Transaction Executions
Print-on-DemandAnbieter: Forgotten Books, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9781332194520_0
Anzahl: Mehr als 20 verfügbar