Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/42358
Title: | Detecting Robustness against MVRC for Transaction Programs with Predicate Reads | Authors: | VANDEVOORT, Brecht KETSMAN, Bas Koch, Christoph NEVEN, Frank |
Issue Date: | 2023 | Source: | Proceedings of the 26th International Conference on Extending Database Technology (EDBT), 28th March-31st March, 2023, p. 565 -577 | Abstract: | The transactional robustness problem revolves around deciding whether, for a given workload, a lower isolation level than Serializable is sufficient to guarantee serializability. The paper presents a new characterization for robustness against isolation level (multi-version) Read Committed. It supports transaction programs with control structures (loops and conditionals) and inserts, deletes, and predicate reads-scenarios that trigger the phantom problem, which is known to be hard to analyze in this context. The characterization is graph-theoretic and not unlike previous decision mechanisms known from the concurrency control literature that database researchers and practicians are comfortable with. We show experimentally that our characterization pushes the frontier in allowing to recognize more and more complex workloads as robust than before. | Document URI: | http://hdl.handle.net/1942/42358 | ISBN: | 9783893180882 9783893180929 |
DOI: | 10.48786/edbt.2023.48 | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
3-paper-54.pdf | Published version | 797.41 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.