{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:44:51Z","timestamp":1754484291530,"version":"3.41.0"},"reference-count":21,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T00:00:00Z","timestamp":1673222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGMOD Rec."],"published-print":{"date-parts":[[2023,1,9]]},"abstract":"<jats:p>The aim of this paper is to serve as a lightweight introduction to concurrency control for database theorists through a uniform presentation of the work on robustness against Multiversion Read Committed and Snapshot Isolation.<\/jats:p>","DOI":"10.1145\/3582302.3582304","type":"journal-article","created":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T17:13:23Z","timestamp":1674666803000},"page":"6-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Concurrency control for database theorists"],"prefix":"10.1145","volume":"51","author":[{"given":"Bas","family":"Ketsman","sequence":"first","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}]},{"given":"Christoph","family":"Koch","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland"}]},{"given":"Frank","family":"Neven","sequence":"additional","affiliation":[{"name":"UHasselt, Data Science Institute, ACSL, Diepenbeek, Belgium"}]},{"given":"Brecht","family":"Vandevoort","sequence":"additional","affiliation":[{"name":"UHasselt, Data Science Institute, ACSL, Diepenbeek, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2023,1,25]]},"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":"publisher","DOI":"10.1109\/AICCSA.2015.7507103"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_2_1_4_1","first-page":"1","volume-title":"CONCUR","author":"Bernardi Giovanni","year":"2016","unstructured":"Giovanni Bernardi and Alexey Gotsman . Robustness against consistency models with atomic visibility . In CONCUR , pages 7: 1 -- 7 :15, 2016 . Giovanni Bernardi and Alexey Gotsman. Robustness against consistency models with atomic visibility. In CONCUR, pages 7:1--7:15, 2016."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/12518"},{"key":"e_1_2_1_6_1","volume-title":"Principles of Transaction Processing for Systems Professionals. Morgan Kaufmann","author":"Philip","year":"1996","unstructured":"Philip A. Bernstein and Eric Newcomer . Principles of Transaction Processing for Systems Professionals. Morgan Kaufmann , 1996 . Philip A. Bernstein and Eric Newcomer. Principles of Transaction Processing for Systems Professionals. Morgan Kaufmann, 1996."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376690"},{"key":"e_1_2_1_8_1","first-page":"58","volume-title":"CONCUR","author":"Cerone Andrea","year":"2015","unstructured":"Andrea Cerone , Giovanni Bernardi , and Alexey Gotsman . A framework for transactional consistency models with atomic visibility . In CONCUR , pages 58 -- 71 , 2015 . Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. A framework for transactional consistency models with atomic visibility. In CONCUR, pages 58--71, 2015."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3152396"},{"key":"e_1_2_1_10_1","first-page":"1","volume-title":"CONCUR","author":"Cerone Andrea","year":"2017","unstructured":"Andrea Cerone , Alexey Gotsman , and Hongseok Yang . Algebraic Laws for WeakConsistency . In CONCUR , pages 26: 1 -- 26 :18, 2017 . Andrea Cerone, Alexey Gotsman, and Hongseok Yang. Algebraic Laws for WeakConsistency. In CONCUR, pages 26:1--26:18, 2017."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/3282495.3282502"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065193"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_2_1_14_1","first-page":"315","volume-title":"PODS","author":"Ketsman Bas","year":"2020","unstructured":"Bas Ketsman , Christoph Koch , Frank Neven , and Brecht Vandevoort . Deciding robustness for lower SQL isolation levels . In PODS , pages 315 -- 330 , 2020 . Bas Ketsman, Christoph Koch, Frank Neven, and Brecht Vandevoort. Deciding robustness for lower SQL isolation levels. In PODS, pages 315--330, 2020."},{"key":"e_1_2_1_15_1","volume-title":"The Theory of Database Concurrency Control","author":"Papadimitriou Christos H.","year":"1986","unstructured":"Christos H. Papadimitriou . The Theory of Database Concurrency Control . Computer Science Press , 1986 . Christos H. Papadimitriou. The Theory of Database Concurrency Control. Computer Science Press, 1986."},{"key":"e_1_2_1_16_1","unstructured":"TPC-C. On-line transaction processing benchmark. http:\/\/www.tpc.org\/tpcc\/.  TPC-C. On-line transaction processing benchmark. http:\/\/www.tpc.org\/tpcc\/."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476268"},{"key":"e_1_2_1_19_1","first-page":"1","volume-title":"PODS","author":"Vandevoort Brecht","year":"2022","unstructured":"Brecht Vandevoort , Bas Ketsman , Christoph Koch , and Frank Neven . Robustness against read committed: A free transactional lunch . In PODS , pages 1 -- 14 . ACM, 2022 . Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven. Robustness against read committed: A free transactional lunch. In PODS, pages 1--14. ACM, 2022."},{"key":"e_1_2_1_20_1","series-title":"LIPIcs","first-page":"1","volume-title":"ICDT","author":"Vandevoort Brecht","year":"2022","unstructured":"Brecht Vandevoort , Bas Ketsman , Christoph Koch , and Frank Neven . Robustness against read committed for transaction templates with functional constraints . In ICDT , volume 220 of LIPIcs , pages 16: 1 -- 16 :17, 2022 . Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven. Robustness against read committed for transaction templates with functional constraints. In ICDT, volume 220 of LIPIcs, pages 16:1--16:17, 2022."},{"key":"e_1_2_1_21_1","volume-title":"Manuscript","author":"Vandevoort Brecht","year":"2022","unstructured":"Brecht Vandevoort , Bas Ketsman , and Frank Neven . Allocating isolation levels to transactions in a multiversion setting . Manuscript , 2022 . Brecht Vandevoort, Bas Ketsman, and Frank Neven. Allocating isolation levels to transactions in a multiversion setting. Manuscript, 2022."},{"key":"e_1_2_1_22_1","volume-title":"Morgan Kaufmann","author":"Weikum Gerhard","year":"2002","unstructured":"Gerhard Weikum and Gottfried Vossen . Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery . Morgan Kaufmann , 2002 . Gerhard Weikum and Gottfried Vossen. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann, 2002."}],"container-title":["ACM SIGMOD Record"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3582302.3582304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3582302.3582304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:32Z","timestamp":1750182692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3582302.3582304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,9]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,1,9]]}},"alternative-id":["10.1145\/3582302.3582304"],"URL":"https:\/\/doi.org\/10.1145\/3582302.3582304","relation":{},"ISSN":["0163-5808"],"issn-type":[{"type":"print","value":"0163-5808"}],"subject":[],"published":{"date-parts":[[2023,1,9]]},"assertion":[{"value":"2023-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}