{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T20:09:17Z","timestamp":1792872557432,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"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":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639207","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T12:43:26Z","timestamp":1712925806000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Understanding Transaction Bugs in Database Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-7462-194X","authenticated-orcid":false,"given":"Ziyu","family":"Cui","sequence":"first","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3323-0449","authenticated-orcid":false,"given":"Wensheng","family":"Dou","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8312-6736","authenticated-orcid":false,"given":"Yu","family":"Gao","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1874-6608","authenticated-orcid":false,"given":"Dong","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0401-2033","authenticated-orcid":false,"given":"Jiansen","family":"Song","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2814-0273","authenticated-orcid":false,"given":"Yingying","family":"Zheng","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2475-7125","authenticated-orcid":false,"given":"Tao","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-5428-2852","authenticated-orcid":false,"given":"Rui","family":"Yang","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2472-8349","authenticated-orcid":false,"given":"Kang","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences, Nanjing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7452-8815","authenticated-orcid":false,"given":"Yixin","family":"Hu","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8561-2481","authenticated-orcid":false,"given":"Jun","family":"Wei","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4875-732X","authenticated-orcid":false,"given":"Tao","family":"Huang","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. The ANSI isolation levels. https:\/\/renenyffenegger.ch\/notes\/development\/databases\/SQL\/transaction\/isolation-level."},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Async Commit in TiDB. https:\/\/docs.pingcap.com\/tidb\/stable\/release-5.0.0#async-commit."},{"key":"e_1_3_2_1_3_1","unstructured":"2022. Character Set Support in PostgreSQL. https:\/\/www.postgresql.org\/docs\/current\/multibyte.html."},{"key":"e_1_3_2_1_4_1","unstructured":"2022. Character Sets Collations Unicode in MySQL. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/charset.html."},{"key":"e_1_3_2_1_5_1","unstructured":"2022. CockroachDB. https:\/\/www.cockroachlabs.com."},{"key":"e_1_3_2_1_6_1","unstructured":"2022. CockroachDB issues. https:\/\/github.com\/cockroachdb\/cockroach\/issues\/."},{"key":"e_1_3_2_1_7_1","unstructured":"2022. DB-Engines. https:\/\/db-engines.com\/en\/ranking."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Gretchen: Offline serializability verification in Clojure. https:\/\/jepsen.io\/."},{"key":"e_1_3_2_1_9_1","unstructured":"2022. MariaDB. https:\/\/mariadb.org."},{"key":"e_1_3_2_1_10_1","unstructured":"2022. MariaDB JIRA issues. https:\/\/jira.mariadb.org\/issues\/."},{"key":"e_1_3_2_1_11_1","unstructured":"2022. MySQL. https:\/\/www.mysql.com."},{"key":"e_1_3_2_1_12_1","unstructured":"2022. MySQL Bugs Home. https:\/\/bugs.mysql.com\/."},{"key":"e_1_3_2_1_13_1","unstructured":"2022. Pgsql-bugs. https:\/\/www.postgresql.org\/list\/pgsql-bugs\/."},{"key":"e_1_3_2_1_14_1","unstructured":"2022. PostgreSQL. https:\/\/www.postgresql.org."},{"key":"e_1_3_2_1_15_1","unstructured":"2022. SQLite. https:\/\/www.sqlite.org\/index.html."},{"key":"e_1_3_2_1_16_1","unstructured":"2022. SQLite Ticket Main Menu. https:\/\/www.sqlite.org\/src\/reportlist."},{"key":"e_1_3_2_1_17_1","unstructured":"2022. SQLsmith. https:\/\/github.com\/anse1\/sqlsmith."},{"key":"e_1_3_2_1_18_1","unstructured":"2022. TiDB issues. https:\/\/github.com\/pingcap\/tidb\/issues\/."},{"key":"e_1_3_2_1_19_1","unstructured":"2022. TiDB PingCAP. https:\/\/pingcap.com."},{"key":"e_1_3_2_1_20_1","unstructured":"2022. Transaction Isolation in PostgreSQL. https:\/\/www.postgresql.org\/docs\/14\/transaction-iso.html."},{"key":"e_1_3_2_1_21_1","unstructured":"2022. Transaction Isolation Levels in MySQL. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/innodb-transaction-isolation-levels.html."},{"key":"e_1_3_2_1_22_1","unstructured":"2022. Transactions in TiDB. https:\/\/docs.pingcap.com\/tidb\/stable\/transaction-overview."},{"key":"e_1_3_2_1_23_1","unstructured":"2023. JanusGraph. https:\/\/janusgraph.org."},{"key":"e_1_3_2_1_24_1","unstructured":"2023. Memcached. http:\/\/www.memcached.org\/."},{"key":"e_1_3_2_1_25_1","unstructured":"2023. Neo4j. https:\/\/neo4j.com\/."},{"key":"e_1_3_2_1_26_1","unstructured":"2023. OrientDB. https:\/\/orientdb.org."},{"key":"e_1_3_2_1_27_1","unstructured":"2023. Redis. https:\/\/redis.com\/."},{"key":"e_1_3_2_1_28_1","unstructured":"2023. XA Transactions in MariaDB. https:\/\/mariadb.com\/kb\/en\/xa-transactions\/."},{"key":"e_1_3_2_1_29_1","unstructured":"2023. XA Transactions in MySQL. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/xa.html."},{"key":"e_1_3_2_1_30_1","article-title":"Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed","author":"Adya Atul","year":"1999","unstructured":"Atul Adya. 1999. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. Ph. D. Dissertation. Massachusetts Institute of Technology.","journal-title":"Transactions. Ph. D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2000.839388"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of USENIX Conference on Operating Systems Design and Implementation (OSDI). 351--368","author":"Alfatafta Mohammed","year":"2020","unstructured":"Mohammed Alfatafta, Basil Alkhatib, Ahmed Alquraan, and Samer Al-Kiswany. 2020. Toward a Generic Fault Tolerance Technique for Partial Network Partitioning. In Proceedings of USENIX Conference on Operating Systems Design and Implementation (OSDI). 351--368."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of USENIX Conference on Operating Systems Design and Implementation (OSDI). 51--68","author":"Alquraan Ahmed","year":"2018","unstructured":"Ahmed Alquraan, Hatem Takruri, Mohammed Alfatafta, and Samer Al-Kiswany. 2018. An Analysis of Network-Partitioning Failures in Cloud Systems. In Proceedings of USENIX Conference on Operating Systems Design and Implementation (OSDI). 51--68."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00174"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909870"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/319996.319998"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360591"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009895"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of International Conference on Concurrency Theory (CONCUR). 58--71","author":"Cerone Andrea","year":"2015","unstructured":"Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. 2015. A Framework for Transactional Consistency Models with Atomic Visibility. In Proceedings of International Conference on Concurrency Theory (CONCUR). 58--71."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3587155"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087801.3087802"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556924"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00101"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236030"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00024"},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of ACM Symposium on Cloud Computing (SOCC). 1--14","author":"Gunawi Haryadi S.","unstructured":"Haryadi S. Gunawi, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patanaanake, Thanh Do, Jeffry Adityatama, Kurnia J. Eliazar, Agung Laksono, Jeffrey F. Lukman, Vincentius Martin, and Anang D. Satria. 2014. What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems. In Proceedings of ACM Symposium on Cloud Computing (SOCC). 1--14."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598046"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.538605"},{"key":"e_1_3_2_1_51_1","volume-title":"Proceedings of USENIX Security Symposium (USENIX Security). 4949--4965","author":"Jiang Zu-Ming","year":"2023","unstructured":"Zu-Ming Jiang, Jia-Ju Bai, and Zhendong Su. 2023. DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. In Proceedings of USENIX Security Symposium (USENIX Security). 4949--4965."},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 397--417","author":"Jiang Zu-Ming","year":"2023","unstructured":"Zu-Ming Jiang, Si Liu, Manuel Rigger, and Zhendong Su. 2023. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 397--417."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254075"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.14778\/3357377.3357382"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598044"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.14778\/3430915.3430918"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_1_58_1","volume-title":"Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 517--530","author":"Leesatapornwongsa Tanakorn","unstructured":"Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, and Haryadi S. Gunawi. 2016. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems. In Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 517--530."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE55515.2023.00057"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of USENIX Security Symposium (USENIX Security). 4309--4326","author":"Liang Yu","year":"2022","unstructured":"Yu Liang, Song Liu, and Hong Hu. 2022. Detecting Logical Bugs of DBMS with Coverage-based Guidance. In Proceedings of USENIX Security Symposium (USENIX Security). 4309--4326."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510093"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_66_1","volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 667--682","author":"Rigger Manuel","year":"2020","unstructured":"Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 667--682."},{"key":"e_1_3_2_1_67_1","volume-title":"Proceedings of International Conference on Very Large Data Bases (VLDB). 618--622","author":"Slutz Donald R.","year":"1998","unstructured":"Donald R. Slutz. 1998. Massive Stochastic Testing of SQL. In Proceedings of International Conference on Very Large Data Bases (VLDB). 618--622."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00175"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1990.139341"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931074"},{"key":"e_1_3_2_1_71_1","volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 63--80","author":"Tan Cheng","year":"2020","unstructured":"Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. 2020. Cobra: Making Transactional Key-Value Stores Verifiably Serializable. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 63--80."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115663"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00042"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion58688.2023.00041"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882935"},{"key":"e_1_3_2_1_76_1","volume-title":"Proceedings of IEEE International Conference on Software Testing, Verification and Validation (ICST).","author":"Zheng Yingying","year":"2024","unstructured":"Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Jiansen Song, Ziyue Cheng, Wei Wang, Jun Wei, Hua Zhong, and Tao Huang. 2024. Differential Optimization Testing of Gremlin-Based Graph Database Systems. In Proceedings of IEEE International Conference on Software Testing, Verification and Validation (ICST)."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534409"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417260"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639207","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:49:13Z","timestamp":1750272553000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":77,"alternative-id":["10.1145\/3597503.3639207","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639207","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}