{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T04:18:47Z","timestamp":1777954727689,"version":"3.51.4"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["92270202"],"award-info":[{"award-number":["92270202"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Alibaba AIR Project"},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["YBNLTS2024-016"],"award-info":[{"award-number":["YBNLTS2024-016"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1109\/tkde.2026.3676641","type":"journal-article","created":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T20:10:37Z","timestamp":1774296637000},"page":"3349-3364","source":"Crossref","is-referenced-by-count":0,"title":["A High-Performance Black-Box Bug-Finding Tool for Database Isolation Levels"],"prefix":"10.1109","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-2807-2057","authenticated-orcid":false,"given":"Siyang","family":"Weng","sequence":"first","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keqiang","family":"Li","sequence":"additional","affiliation":[{"name":"Fuzhou University, Fuzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5859-1339","authenticated-orcid":false,"given":"Zirui","family":"Hu","sequence":"additional","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9612-5024","authenticated-orcid":false,"given":"Lyu","family":"Ni","sequence":"additional","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5128-8882","authenticated-orcid":false,"given":"Chengcheng","family":"Yang","sequence":"additional","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4610-4369","authenticated-orcid":false,"given":"Rong","family":"Zhang","sequence":"additional","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-7468-7695","authenticated-orcid":false,"given":"Peng","family":"Cai","sequence":"additional","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuan","family":"Zhou","sequence":"additional","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4132-8630","authenticated-orcid":false,"given":"Weining","family":"Qian","sequence":"additional","affiliation":[{"name":"Shanghai Engineering Research Center of Big Data Management, East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianquan","family":"Leng","sequence":"additional","affiliation":[{"name":"China Electronics Technology Kingbase Technologies Inc., Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Granularity of locks and degrees of consistency","volume-title":"Modeling in Data Base Management Systems","author":"Gray","year":"1976"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056096"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064037"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3386134"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.14778\/3415478.3415535"},{"key":"ref6","first-page":"359","article-title":"ScaleCheck: A single-machine approach for discovering scalability bugs in large distributed systems","volume-title":"Proc. 17th USENIX Conf. File Storage Technol.","author":"Stuardo","year":"2019"},{"key":"ref7","first-page":"63","article-title":"Cobra: Making transactional key-value stores verifiably serializable","volume-title":"Proc. 14th USENIX Symp. Operating Syst. Des. Implementation","author":"Tan","year":"2020"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.14778\/3461535.3461537"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.14778\/3430915.3430918"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407808"},{"issue":"1","key":"ref11","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman","year":"1998","journal-title":"Digit. Tech. J."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368120"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s41019-017-0046-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/568271.223785"},{"key":"ref16","article-title":"InnoDB","year":"2022"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.14778\/2367502.2367523"},{"key":"ref18","article-title":"Oracle database","year":"2026"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1031570.1031573"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3360591"},{"key":"ref21","article-title":"Jepsen: Postgresql 12.3.","year":"2026"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE55515.2023.00061"},{"key":"ref23","article-title":"Weak consistency: A generalized theory and optimistic implementations for distributed transactions","author":"Adya","year":"1999"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882935"},{"key":"ref25","first-page":"198","article-title":"Polyjuice: High-performance transactions via learned concurrency control","volume-title":"Proc. 15th USENIX Symp. Operating Syst. Des. Implementation","author":"Wang","year":"2021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.14778\/3476311.3476380"},{"key":"ref27","article-title":"yugabyteDB","year":"2026"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824071"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056101"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352141"},{"key":"ref31","first-page":"18","article-title":"Large-scale incremental data processing with change propagation","volume-title":"Proc. 3rd USENIX Conf.Hot Topics Cloud Comput.","author":"Bhatotia","year":"2011"},{"key":"ref32","article-title":"RocksDB","year":"2026"},{"key":"ref33","article-title":"SQLite","year":"2026"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3448016.3457559"},{"key":"ref35","article-title":"Singlestore","year":"2026"},{"key":"ref36","first-page":"251","article-title":"Spanner: Google\u2019s globally-distributed database","volume-title":"Proc. Operating Syst. Des. Implementation","author":"Corbett","year":"2012"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213946"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.14778\/3554821.3554830"},{"key":"ref39","article-title":"NuoDB","year":"2026"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/c2009-0-27891-3"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"ref42","article-title":"Jepsen","year":"2026"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.14778\/3742728.3742747"},{"key":"ref44","article-title":"TPC-C benchmark","year":"1992"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2008.4497466"},{"key":"ref46","article-title":"Leopard technical report","year":"2026"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407860"},{"key":"ref48","article-title":"Pingcap tidb bug","year":"2026"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"ref50","article-title":"github Elle","year":"2026"},{"key":"ref51","article-title":"Leopard bug list","year":"2026"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3517851"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/69\/11503382\/11450495.pdf?arnumber=11450495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T19:37:45Z","timestamp":1777923465000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11450495\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":52,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tkde.2026.3676641","relation":{},"ISSN":["1041-4347","1558-2191","2326-3865"],"issn-type":[{"value":"1041-4347","type":"print"},{"value":"1558-2191","type":"electronic"},{"value":"2326-3865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6]]}}}