Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/40735
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | VANDEVOORT, Brecht | - |
dc.contributor.author | KETSMAN, Bas | - |
dc.contributor.author | Koch, Christoph | - |
dc.contributor.author | NEVEN, Frank | - |
dc.date.accessioned | 2023-08-22T11:50:14Z | - |
dc.date.available | 2023-08-22T11:50:14Z | - |
dc.date.issued | 2023 | - |
dc.date.submitted | 2023-08-04T11:57:48Z | - |
dc.identifier.citation | SIGMOD RECORD, 52 (1) , p. 36 -43 | - |
dc.identifier.uri | http://hdl.handle.net/1942/40735 | - |
dc.description.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. | - |
dc.description.sponsorship | This work is funded by FWO-grant G019921N | - |
dc.language.iso | en | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.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). | - |
dc.subject.other | concurrency control | - |
dc.subject.other | robustness | - |
dc.subject.other | complexity | - |
dc.subject.other | Information systems → Database transaction processing | - |
dc.title | When is it safe to run a transactional workload under Read Committed? | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 43 | - |
dc.identifier.issue | 1 | - |
dc.identifier.spage | 36 | - |
dc.identifier.volume | 52 | - |
local.format.pages | 8 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | Vandevoort, B (corresponding author), UHasselt, ACSL, Data Sci Inst, Hasselt, Belgium. | - |
dc.description.notes | brecht.vandevoort@uhasselt.be; bas.ketsman@vub.be; | - |
dc.description.notes | christoph.koch@epfl.ch; frank.neven@uhasselt.be | - |
local.publisher.place | 1601 Broadway, 10th Floor, NEW YORK, NY USA | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.identifier.doi | 10.4230/LIPIcs.ICDT.2022.16 | - |
dc.identifier.isi | 001005918900008 | - |
dc.identifier.url | https://drops.dagstuhl.de/opus/volltexte/2022/15890/ | - |
local.provider.type | wosris | - |
local.description.affiliation | [Vandevoort, Brecht; Neven, Frank] UHasselt, ACSL, Data Sci Inst, Hasselt, Belgium. | - |
local.description.affiliation | [Ketsman, Bas] Vrije Univ Brussel, Brussels, Belgium. | - |
local.description.affiliation | [Koch, Christoph] Ecole Polytech Fed Lausanne, Lausanne, Switzerland. | - |
local.uhasselt.international | yes | - |
local.format.extent | 17 pages | - |
local.format.mimetype | application/pdf | - |
dc.rights.access | Creative Commons Attribution 4.0 International license | - |
item.accessRights | Open Access | - |
item.fullcitation | VANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph & NEVEN, Frank (2023) When is it safe to run a transactional workload under Read Committed?. In: SIGMOD RECORD, 52 (1) , p. 36 -43. | - |
item.fulltext | With Fulltext | - |
item.contributor | VANDEVOORT, Brecht | - |
item.contributor | KETSMAN, Bas | - |
item.contributor | Koch, Christoph | - |
item.contributor | NEVEN, Frank | - |
crisitem.journal.issn | 0163-5808 | - |
crisitem.journal.eissn | 1943-5835 | - |
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.