Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/40735
Title: | When is it safe to run a transactional workload under Read Committed? | Authors: | VANDEVOORT, Brecht KETSMAN, Bas Koch, Christoph NEVEN, Frank |
Issue Date: | 2023 | Publisher: | ASSOC COMPUTING MACHINERY | Source: | SIGMOD RECORD, 52 (1) , p. 36 -43 | Abstract: | The popular isolation level multiversion Read Committed (RC) exchanges some of the strong guarantees of serializability for increased transaction throughput. Nevertheless, transaction workloads can sometimes be executed under RC while still guaranteeing serializability at a reduced cost. Such workloads are said to be robust against RC. This paper provides a high level overview of deciding robustness against RC. In particular, we discuss how a sound and complete test can be obtained through the formalization of transaction templates. We then increase the modeling power of transaction templates by extending them with functional constraints which are useful for capturing data dependencies like foreign keys. We show that the incorporation of functional constraints can identify more workloads as robust than would otherwise be the case. Even though the robustness problem becomes undecidable in its most general form, we establish that various restrictions on functional constraints lead to decidable and even tractable results that can be used to model and test for robustness against RC for practical scenarios. | Notes: | Vandevoort, B (corresponding author), UHasselt, ACSL, Data Sci Inst, Hasselt, Belgium. brecht.vandevoort@uhasselt.be; bas.ketsman@vub.be; christoph.koch@epfl.ch; frank.neven@uhasselt.be |
Keywords: | concurrency control;robustness;complexity;Information systems → Database transaction processing | Document URI: | http://hdl.handle.net/1942/40735 | Link to publication/dataset: | https://drops.dagstuhl.de/opus/volltexte/2022/15890/ | ISSN: | 0163-5808 | e-ISSN: | 1943-5835 | DOI: | 10.4230/LIPIcs.ICDT.2022.16 | ISI #: | 001005918900008 | Rights: | Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven; licensed under Creative Commons License CC-BY 4.0 25th International Conference on Database Theory (ICDT 2022). | Category: | A1 | Type: | Journal Contribution |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Robustness Against Read Committed for Transaction Templates with Functional Constraints.pdf | Published version | 823.55 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.