{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T00:29:55Z","timestamp":1762043395240,"version":"build-2065373602"},"reference-count":50,"publisher":"Association for Computing Machinery (ACM)","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2021,7]]},"abstract":"<jats:p>The isolation level Multiversion Read Committed (RC), offered by many database systems, is known to trade consistency for increased transaction throughput. Sometimes, transaction workloads can be safely executed under RC obtaining the perfect isolation of serializability at the lower cost of RC. To identify such cases, we introduce an expressive model of transaction programs to better reason about the serializability of transactional workloads. We develop tractable algorithms to decide whether any possible schedule of a workload executed under RC is serializable (referred to as the robustness problem). Our approach yields robust subsets that are larger than those identified by previous methods. We provide experimental evidence that workloads that are robust against RC can be evaluated faster under RC compared to stronger isolation levels. We discuss techniques for making workloads robust against RC by promoting selective read operations to updates. Depending on the scenario, the performance improvements can be considerable. Robustness testing and safely executing transactions under the lower isolation level RC can therefore provide a direct way to increase transaction throughput without changing DBMS internals.<\/jats:p>","DOI":"10.14778\/3476249.3476268","type":"journal-article","created":{"date-parts":[[2021,10,27]],"date-time":"2021-10-27T16:46:23Z","timestamp":1635353183000},"page":"2141-2153","source":"Crossref","is-referenced-by-count":11,"title":["Robustness against read committed for transaction templates"],"prefix":"10.14778","volume":"14","author":[{"given":"Brecht","family":"Vandevoort","sequence":"first","affiliation":[{"name":"Hasselt University and Transnational University of Limburg, Hasselt, Belgium"}]},{"given":"Bas","family":"Ketsman","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Brussels, Belgium"}]},{"given":"Christoph","family":"Koch","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"}]},{"given":"Frank","family":"Neven","sequence":"additional","affiliation":[{"name":"Hasselt University and Transnational University of Limburg, Hasselt, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2021,10,27]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/846219.847380"},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Mohammad Alomari. 2013. Serializable executions with Snapshot Isolation and two-phase locking: Revisited. In AICCSA. 1--8.  Mohammad Alomari. 2013. Serializable executions with Snapshot Isolation and two-phase locking: Revisited. In AICCSA. 1--8.","DOI":"10.1109\/AICCSA.2013.6616497"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2008.4497466"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1802514.1802542"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Mohammad Alomari and Alan Fekete. 2015. Serializable use of Read Committed isolation level. In AICCSA. 1--8.  Mohammad Alomari and Alan Fekete. 2015. Serializable use of Read Committed isolation level. In AICCSA. 1--8.","DOI":"10.1109\/AICCSA.2015.7507103"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.22"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Checking Robustness Against Snapshot Isolation. In CAV. 286--304.  Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Checking Robustness Against Snapshot Isolation. In CAV . 286--304.","DOI":"10.1007\/978-3-030-25543-5_17"},{"key":"e_1_2_1_8_1","unstructured":"Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Robustness Against Transactional Causal Consistency. In CONCUR. 1--18.  Sidi Mohamed Beillahi Ahmed Bouajjani and Constantin Enea. 2019. Robustness Against Transactional Causal Consistency. In CONCUR. 1--18."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/568271.223785"},{"key":"e_1_2_1_10_1","first-page":"1","article-title":"Robustness against Consistency Models with Atomic Visibility","volume":"7","author":"Bernardi Giovanni","year":"2016","unstructured":"Giovanni Bernardi and Alexey Gotsman . 2016 . Robustness against Consistency Models with Atomic Visibility . In CONCUR. 7 : 1 -- 7 :15. Giovanni Bernardi and Alexey Gotsman. 2016. Robustness against Consistency Models with Atomic Visibility. In CONCUR. 7:1--7:15.","journal-title":"CONCUR."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2737788"},{"key":"e_1_2_1_12_1","unstructured":"Philip A. Bernstein Colin W. Reid and Sudipto Das. 2011. Hyder - A Transactional Record Manager for Shared Flash. In CIDR. 9--20.  Philip A. Bernstein Colin W. Reid and Sudipto Das. 2011. Hyder - A Transactional Record Manager for Shared Flash. In CIDR . 9--20."},{"key":"e_1_2_1_13_1","unstructured":"Andrea Cerone Giovanni Bernardi and Alexey Gotsman. 2015. A Framework for Transactional Consistency Models with Atomic Visibility. In CONCUR. 58--71.  Andrea Cerone Giovanni Bernardi and Alexey Gotsman. 2015. A Framework for Transactional Consistency Models with Atomic Visibility. In CONCUR. 58--71."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3152396"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48653-5_26"},{"key":"e_1_2_1_16_1","first-page":"1","article-title":"Algebraic Laws for Weak Consistency","volume":"26","author":"Cerone Andrea","year":"2017","unstructured":"Andrea Cerone , Alexey Gotsman , and Hongseok Yang . 2017 . Algebraic Laws for Weak Consistency . In CONCUR. 26 : 1 -- 26 :18. Andrea Cerone, Alexey Gotsman, and Hongseok Yang. 2017. Algebraic Laws for Weak Consistency. In CONCUR. 26:1--26:18.","journal-title":"CONCUR."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2463710"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806777.2806837"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055553"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.14778\/2809974.2809981"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065193"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687681"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/191843.191886"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/3303753.3303763"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/3377369.3377373"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687682"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807233"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3375395.3387655"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882905"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.14778\/2095686.2095689"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064015"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407808"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2749436"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458817.3476174"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3389764"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882958"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342647"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.14778\/2535568.2448947"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14778\/2733004.2733006"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196904"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/211414.211427"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3329859.3329871"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213838"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3187009.3177740"},{"key":"e_1_2_1_46_1","unstructured":"TPC-C. [n.d.]. On-Line Transaction Processing Benchmark. ([n. d.]). http:\/\/www.tpc.org\/tpcc\/.  TPC-C. [n.d.]. On-Line Transaction Processing Benchmark. ([n. d.]). http:\/\/www.tpc.org\/tpcc\/."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476268"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14778\/2876473.2876479"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882935"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.14778\/2904121.2904126"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3476249.3476268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T09:59:12Z","timestamp":1672221552000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3476249.3476268"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7]]},"references-count":50,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2021,7]]}},"alternative-id":["10.14778\/3476249.3476268"],"URL":"https:\/\/doi.org\/10.14778\/3476249.3476268","relation":{},"ISSN":["2150-8097"],"issn-type":[{"type":"print","value":"2150-8097"}],"subject":[],"published":{"date-parts":[[2021,7]]}}}