{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T06:27:57Z","timestamp":1786602477462,"version":"build-2736575974"},"reference-count":63,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1109\/icde65706.2026.00224","type":"proceedings-article","created":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T19:09:24Z","timestamp":1786561764000},"page":"1-14","source":"Crossref","is-referenced-by-count":0,"title":["A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations"],"prefix":"10.1109","author":[{"given":"Ce","family":"Lyu","sequence":"first","affiliation":[{"name":"East China Normal University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Changzheng","family":"Wei","sequence":"additional","affiliation":[{"name":"East China Normal University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanhao","family":"Wang","sequence":"additional","affiliation":[{"name":"East China Normal University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie","family":"Liang","sequence":"additional","affiliation":[{"name":"Tsinghua University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Li","family":"Lin","sequence":"additional","affiliation":[{"name":"Ant Group"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanghang","family":"Wu","sequence":"additional","affiliation":[{"name":"Ant Group"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minghao","family":"Zhao","sequence":"additional","affiliation":[{"name":"East China Normal University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ying","family":"Yan","sequence":"additional","affiliation":[{"name":"Ant Group"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aoying","family":"Zhou","sequence":"additional","affiliation":[{"name":"East China Normal University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/356662.356665"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2481528.2481537"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3685980.3685984"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14778\/3725688.3725701"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.14778\/3231751.3231761"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342644"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14778\/3611479.3611501"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3183733"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.14778\/3685800.3685846"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3725283"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14778\/3681954.3681995"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3725241"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE65448.2025.00274"},{"key":"ref14","article-title":"Test oracle","year":"2025","journal-title":"Wikipedia"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231514"},{"key":"ref16","author":"Seltenreich","year":"2025","journal-title":"SQLSmith"},{"key":"ref17","author":"Zalewski","year":"2025","journal-title":"American fuzzy lop"},{"key":"ref18","first-page":"618","article-title":"Massive stochastic testing of SQL","volume-title":"Proceedings of 24rd International Conference on Very Large Data Bases","author":"Slutz","year":"1998"},{"key":"ref19","first-page":"667","article-title":"Testing database engines via pivoted query synthesis","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Rigger","year":"2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00257"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.14778\/3734839.3734861"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3588909"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3654991"},{"key":"ref26","article-title":"TiDB","year":"2025","journal-title":"PingCAP"},{"key":"ref27","author":"Rigger","year":"2025","journal-title":"SQLancer"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582099"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1993.344061"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275492"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-017-0480-7"},{"key":"ref33","author":"Chen","year":"2020","journal-title":"Metamorphic testing: A new approach for generating next test cases"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3143561"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3377330.3377338"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"133:1","DOI":"10.1145\/3597503.3639076","article-title":"CERT: Finding performance issues in database systems through the lens of cardinality estimation","volume-title":"Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering","author":"Ba","year":"2024"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247520"},{"key":"ref39","first-page":"1097","article-title":"Flexible database generators","volume-title":"Proceedings of the 31st International Conference on Very Large Data Bases","author":"Bruno","year":"2005"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191886"},{"key":"ref41","first-page":"1243","article-title":"Simple and realistic data generation","volume-title":"Proceedings of the 32nd International Conference on Very Large Data Bases","author":"Houkj\u00e6r","year":"2006"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.34"},{"key":"ref43","first-page":"1243","article-title":"A genetic approach for random testing of database systems","volume-title":"Proceedings of the 33rd International Conference on Very Large Data Bases","author":"Bati","year":"2007"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.190"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.14778\/3357377.3357382"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376668"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012088469-8.50091-7"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807323"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2304510.2304525"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859063"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-009-0157-y"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3209950.3209958"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417260"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23371"},{"key":"ref55","first-page":"1967","article-title":"EnFuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Chen","year":"2019"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2961339"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833594"},{"key":"ref58","first-page":"147","article-title":"RIFF: Reduced instruction footprint for Coverage-Guided fuzzing","volume-title":"2021 USENIX Annual Technical Conference (USENIX ATC 21)","author":"Wang","year":"2021"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00042"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534364"},{"key":"ref61","first-page":"745","article-title":"QSYM: A practical concolic execution engine tailored for hybrid fuzzing","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Yun","year":"2018"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE55515.2023.00057"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560431"}],"event":{"name":"2026 IEEE 42nd International Conference on Data Engineering (ICDE)","location":"Montreal, QC, Canada","start":{"date-parts":[[2026,5,4]]},"end":{"date-parts":[[2026,5,8]]}},"container-title":["2026 IEEE 42nd International Conference on Data Engineering (ICDE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11629178\/11629165\/11629169.pdf?arnumber=11629169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T05:48:49Z","timestamp":1786600129000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11629169\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/icde65706.2026.00224","relation":{},"subject":[],"published":{"date-parts":[[2026,5]]}}}