Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/38665
Title: | Robustness Against Read Committed: A Free Transactional Lunch | Authors: | VANDEVOORT, Brecht KETSMAN, Bas Koch, Christoph NEVEN, Frank |
Issue Date: | 2022 | Publisher: | ASSOC COMPUTING MACHINERY | Source: | PROCEEDINGS OF THE 41ST ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '22), ASSOC COMPUTING MACHINERY, p. 1 -14 | Abstract: | Transaction processing is a central part of most database applications. While serializability remains the gold standard for desirable transactional semantics, many database systems offer improved transaction throughput at the expense of introducing potential anomalies through the choice of a lower isolation level. Transactions are often not arbitrary but are constrained by a set of transaction programs defined at the application level (as is the case for TPC-C for instance), implying that not every potential anomaly can effectively be realized. The question central to this paper is the following: when - within the context of specific transaction programs - do isolation levels weaker than serializability, provide the same guarantees as serializability? We refer to the latter as the robustness problem. This paper surveys recent results on robustness testing against (multiversion) read committed focusing on complete rather than sufficient conditions. We show how to lift robustness testing to transaction templates as well as to programs to increase practical applicability. We discuss open questions and highlight promising directions for future research. | Notes: | Vandevoort, B (corresponding author), UHasselt, Data Sci Inst, ACSL, Hasselt, Belgium. brecht.vandevoort@uhasselt.be; bas.ketsman@vub.be; christoph.koch@epfl.ch; frank.neven@uhasselt.be |
Keywords: | databases;transactions;isolation levels;robustness | Document URI: | http://hdl.handle.net/1942/38665 | ISBN: | 978-1-4503-9260-0 | DOI: | 10.1145/3517804.3524162 | ISI #: | 000850439300001 | Rights: | 2022 Copyright held by the owner/author(s). Publication rights licensed to ACM. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from permissions@acm.org. | Category: | C1 | Type: | Proceedings Paper | Validations: | ecoom 2023 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Robustness Against Read Committed_ A Free Transactional Lunch.pdf Restricted Access | Published version | 1.18 MB | Adobe PDF | View/Open Request a copy |
WEB OF SCIENCETM
Citations
2
checked on Sep 12, 2024
Page view(s)
68
checked on Apr 5, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.