Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/39424
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | KETSMAN, Bas | - |
dc.contributor.author | Koch, Christoph | - |
dc.contributor.author | NEVEN, Frank | - |
dc.contributor.author | VANDEVOORT, Brecht | - |
dc.date.accessioned | 2023-02-15T08:30:05Z | - |
dc.date.available | 2023-02-15T08:30:05Z | - |
dc.date.issued | 2022 | - |
dc.date.submitted | 2023-02-13T14:38:26Z | - |
dc.identifier.citation | ACM TRANSACTIONS ON DATABASE SYSTEMS, 47 (4) (Art N° 13) | - |
dc.identifier.uri | http://hdl.handle.net/1942/39424 | - |
dc.description.abstract | While serializability always guarantees application correctness, lower isolation levels can be chosen to improve transaction throughput at the risk of introducing certain anomalies. A set of transactions is robust against a given isolation level if every possible interleaving of the transactions under the specified isolation level is serializable. Robustness therefore always guarantees application correctness with the performance benefit of the lower isolation level. While the robustness problem has received considerable attention in the literature, only sufficient conditions have been obtained. The most notable exception is the seminal work by Fekete where he obtained a characterization for deciding robustness against SNAPSHOT ISOLATION. In this article, we address the robustness problem for the lower SQL isolation levels READ UNCOMMITTED and READ COMMITTED, which are defined in terms of the forbidden dirty write and dirty read patterns. The first main contribution of this article is that we characterize robustness against both isolation levels in terms of the absence of counter-example schedules of a specific form (split and multi-split schedules) and by the absence of cycles in interference graphs that satisfy various properties. A critical difference with Fekete's work, is that the properties of cycles obtained in this article have to take the relative ordering of operations within transactions into account as READ UNCOMMITTED and READ COMMITTED do not satisfy the atomic visibility requirement. A particular consequence is that the latter renders the robustness problem against READ COMMITTED coNP-complete. The second main contribution of this article is the coNP-hardness proof. For READ UNCOMMITTED, we obtain LOGSPACE-completeness. | - |
dc.description.sponsorship | This work is funded by FWO-grant G019921N | - |
dc.language.iso | en | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.rights | 2022 Copyright held by the owner/author(s). Publication rights licensed to ACM | - |
dc.subject.other | Concurrency control | - |
dc.subject.other | SQL isolation levels | - |
dc.title | Deciding Robustness for Lower SQL Isolation Levels | - |
dc.type | Journal Contribution | - |
dc.identifier.issue | 4 | - |
dc.identifier.volume | 47 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | Vandevoort, B (corresponding author), UHasselt, ACSL, Data Sci Inst, Agoralaan Gebouw D, B-3590 Diepenbeek, Belgium. | - |
dc.description.notes | bas.ketsman@vub.be; christoph.koch@epfl.ch; frank.neven@uhasselt.be; | - |
dc.description.notes | brecht.vandevoort@uhasselt.be | - |
local.publisher.place | 1601 Broadway, 10th Floor, NEW YORK, NY USA | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.bibliographicCitation.artnr | 13 | - |
dc.identifier.doi | 10.1145/3561049 | - |
dc.identifier.isi | 000910164500001 | - |
local.provider.type | wosris | - |
local.description.affiliation | [Ketsman, Bas] Vrije Univ Brussel, Pl Laan 2, B-1050 Brussels, Belgium. | - |
local.description.affiliation | [Koch, Christoph] Ecole Polytech Fed Lausanne, Lausanne, Switzerland. | - |
local.description.affiliation | [Neven, Frank; Vandevoort, Brecht] UHasselt, ACSL, Data Sci Inst, Agoralaan Gebouw D, B-3590 Diepenbeek, Belgium. | - |
local.description.affiliation | [Koch, Christoph] EPFL IC IINFCOM DATA, BC 260,Stn 14, CH-1015 Lausanne, Switzerland. | - |
local.uhasselt.international | yes | - |
item.contributor | KETSMAN, Bas | - |
item.contributor | Koch, Christoph | - |
item.contributor | NEVEN, Frank | - |
item.contributor | VANDEVOORT, Brecht | - |
item.fulltext | With Fulltext | - |
item.accessRights | Open Access | - |
item.fullcitation | KETSMAN, Bas; Koch, Christoph; NEVEN, Frank & VANDEVOORT, Brecht (2022) Deciding Robustness for Lower SQL Isolation Levels. In: ACM TRANSACTIONS ON DATABASE SYSTEMS, 47 (4) (Art N° 13). | - |
crisitem.journal.issn | 0362-5915 | - |
crisitem.journal.eissn | 1557-4644 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Deciding Robustness for Lower SQL Isolation Levels.pdf Restricted Access | Published version | 867.98 kB | Adobe PDF | View/Open Request a copy |
Deciding Robustness for Lower SQL Isolation Levels.pdf | Peer-reviewed author version | 808.98 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.