{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:14:26Z","timestamp":1755998066151,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:00:00Z","timestamp":1685836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["IIS-2008107 IIS-2147061"],"award-info":[{"award-number":["IIS-2008107 IIS-2147061"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,4]]},"DOI":"10.1145\/3555041.3589721","type":"proceedings-article","created":{"date-parts":[[2023,6,5]],"date-time":"2023-06-05T16:25:14Z","timestamp":1685982314000},"page":"143-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Characterizing and Verifying Queries Via CINSGEN"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-8747-7716","authenticated-orcid":false,"given":"Hanze","family":"Meng","sequence":"first","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2371-1186","authenticated-orcid":false,"given":"Zhengjie","family":"Miao","sequence":"additional","affiliation":[{"name":"Megagon Labs, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3764-1958","authenticated-orcid":false,"given":"Amir","family":"Gilad","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8300-7891","authenticated-orcid":false,"given":"Sudeepa","family":"Roy","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0604-6790","authenticated-orcid":false,"given":"Jun","family":"Yang","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,5]]},"reference":[{"volume-title":"Foundations of Databases","author":"Abiteboul Serge","key":"e_1_3_2_3_1_1","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley."},{"key":"e_1_3_2_3_2_1","doi-asserted-by":"crossref","unstructured":"Paul Ammann and Jeff Offutt. 2016. Introduction to software testing.","DOI":"10.1017\/9781316771273"},{"key":"e_1_3_2_3_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/645504.656274"},{"key":"e_1_3_2_3_4_1","unstructured":"Edgar F Codd et al. 1972. Relational completeness of data base sublanguages."},{"key":"e_1_3_2_3_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-002-0083-8"},{"key":"e_1_3_2_3_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_3_7_1","doi-asserted-by":"crossref","unstructured":"Amir Gilad Zhengjie Miao Sudeepa Roy and Jun Yang. 2022. Understanding Queries by Conditional Instances. In SIGMOD. 355--368.","DOI":"10.1145\/3514221.3517898"},{"key":"e_1_3_2_3_8_1","doi-asserted-by":"crossref","unstructured":"Todd J Green Grigoris Karvounarakis and Val Tannen. 2007. Provenance semirings. In PODS. 31--40.","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_3_2_3_9_1","doi-asserted-by":"crossref","unstructured":"Yihao Hu Zhengjie Miao Zhiming Leong Haechan Lim Zachary Zheng Sudeepa Roy Kristin Stephens-Martinez and Jun Yang. 2022. I-Rex: An Interactive Relational Query Debugger for SQL. In SIGCSE. 1180.","DOI":"10.1145\/3478432.3499263"},{"key":"e_1_3_2_3_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"e_1_3_2_3_11_1","doi-asserted-by":"crossref","unstructured":"Zhengjie Miao Sudeepa Roy and Jun Yang. 2019. Explaining Wrong Queries Using Small Examples. In SIGMOD. 503--520.","DOI":"10.1145\/3299869.3319866"}],"event":{"name":"SIGMOD\/PODS '23: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Seattle WA USA","acronym":"SIGMOD\/PODS '23"},"container-title":["Companion of the 2023 International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555041.3589721","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555041.3589721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:49Z","timestamp":1750178809000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555041.3589721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,4]]},"references-count":11,"alternative-id":["10.1145\/3555041.3589721","10.1145\/3555041"],"URL":"https:\/\/doi.org\/10.1145\/3555041.3589721","relation":{},"subject":[],"published":{"date-parts":[[2023,6,4]]},"assertion":[{"value":"2023-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}