{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:55:25Z","timestamp":1756000525787,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T00:00:00Z","timestamp":1654819200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000002","name":"NIH (National Institutes of Health)","doi-asserted-by":"publisher","award":["R01EB025021"],"award-info":[{"award-number":["R01EB025021"]}],"id":[{"id":"10.13039\/100000002","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["IIS-1552538, IIS-1703431, IIS-1814493, IIS-2008107"],"award-info":[{"award-number":["IIS-1552538, IIS-1703431, IIS-1814493, IIS-2008107"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,10]]},"DOI":"10.1145\/3514221.3517898","type":"proceedings-article","created":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T02:33:49Z","timestamp":1655001229000},"page":"355-368","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Understanding Queries by Conditional Instances"],"prefix":"10.1145","author":[{"given":"Amir","family":"Gilad","sequence":"first","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhengjie","family":"Miao","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudeepa","family":"Roy","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Yang","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,11]]},"reference":[{"volume-title":"1995 a. Foundations of Databases","author":"Abiteboul Serge","key":"e_1_3_2_1_1_1","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995 a. Foundations of Databases .Addison-Wesley."},{"volume-title":"1995 b. Foundations of Databases","author":"Abiteboul Serge","key":"e_1_3_2_1_2_1","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995 b. Foundations of Databases .Addison-Wesley."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/320083.320091"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/390013.808479"},{"key":"e_1_3_2_1_5_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_1_6_1","doi-asserted-by":"crossref","unstructured":"Yael Amsterdamer Daniel Deutch and Val Tannen. 2011. Provenance for aggregate queries. In PODS. 153--164.","DOI":"10.1145\/1989284.1989302"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.14778\/3303753.3303761"},{"key":"e_1_3_2_1_8_1","article-title":"Declarative Probabilistic Programming with Datalog","volume":"42","author":"Vince B\u00e1","year":"2017","unstructured":"Vince B\u00e1 r\u00e1 ny, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena. 2017. Declarative Probabilistic Programming with Datalog. ACM Trans. Database Syst., Vol. 42, 4 (2017), 22:1--22:35.","journal-title":"ACM Trans. Database Syst."},{"key":"e_1_3_2_1_9_1","volume-title":"Tamer \u00d6 zsu","author":"Binnig Carsten","year":"2007","unstructured":"Carsten Binnig, Donald Kossmann, Eric Lo, and M. Tamer \u00d6 zsu. 2007. QAGen: generating query-aware test databases. In SIGMOD. 341--352."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645504.656274"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-015-0395-0"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Adriane Chapman and H. V. Jagadish. 2009. Why not?. In SIGMOD. 523--534.","DOI":"10.1145\/1559845.1559901"},{"key":"e_1_3_2_1_13_1","volume-title":"Databases: Why, How, and Where. Foundations and Trends in Databases","author":"Cheney J.","year":"2009","unstructured":"J. Cheney, L. Chiticariu, and W. C. Tan. 2009. Provenance in Databases: Why, How, and Where. Foundations and Trends in Databases (2009), 379--474."},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. VLDB Endow. 79--90","author":"Chiticariu Laura","year":"2006","unstructured":"Laura Chiticariu and Wang Chiew Tan. 2006. Debugging Schema Mappings with Routes. In Proc. VLDB Endow. 79--90."},{"key":"e_1_3_2_1_15_1","volume-title":"Cosette: An Automated Prover for SQL. In CIDR.","author":"Chu Shumo","year":"2017","unstructured":"Shumo Chu, Chenglong Wang, Konstantin Weitz, and Alvin Cheung. 2017. Cosette: An Automated Prover for SQL. In CIDR."},{"key":"e_1_3_2_1_16_1","unstructured":"Edgar F Codd et al. 1972. Relational completeness of data base sublanguages."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-002-0083-8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-019-00584-7"},{"key":"e_1_3_2_1_19_1","unstructured":"Daniel Deutch Nave Frost Amir Gilad and Tomer Haimovich. 2020 b. Explaining Missing Query Results in Natural Language. In EDBT. 427--430."},{"key":"e_1_3_2_1_20_1","volume-title":"Remmel","author":"Deutsch Alin","year":"2008","unstructured":"Alin Deutsch, Alan Nash, and Jeffrey B. Remmel. 2008. The chase revisited. In PODS. 149--158."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Ronald Fagin Phokion G. Kolaitis Ren\u00e9 e J. Miller and Lucian Popa. 2003 b. Data Exchange: Semantics and Query Answering. In ICDT. 207--224.","DOI":"10.1007\/3-540-36285-1_14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Ronald Fagin Phokion G. Kolaitis and Lucian Popa. 2003 a. Data exchange: getting to the core. In PODS. 90--101.","DOI":"10.1145\/773153.773163"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1061318.1061323"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14778\/2140436.2140445"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2009.09.001"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Amir Gilad Zhengjie Miao Sudeepa Roy and Jun Yang. 2022. Understanding Queries by Conditional Instances (Full Version). arxiv: 2202.11160 [cs.DB]","DOI":"10.1145\/3514221.3517898"},{"key":"e_1_3_2_1_27_1","unstructured":"B. Glavic J. Siddique P. Andritsos and R. J. Miller. 2013. Provenance for Data Mining. In TaPP."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Georg Gottlob and Alan Nash. 2006. Data exchange: computing cores in polynomial time. In PODS. 40--49.","DOI":"10.1145\/1142351.1142358"},{"key":"e_1_3_2_1_29_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_1_30_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920869"},{"key":"e_1_3_2_1_31_1","first-page":"1550","article-title":"Artemis","volume":"2","author":"Herschel Melanie","year":"2009","unstructured":"Melanie Herschel, Mauricio A. Hern\u00e1ndez, and Wang Chiew Tan. 2009. Artemis: A System for Analyzing Missing Answers. PVLDB, Vol. 2, 2 (2009), 1550--1553.","journal-title":"A System for Analyzing Missing Answers. PVLDB"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453936"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"e_1_3_2_1_34_1","unstructured":"Michel Lacroix and Alain Pirotte. 1977. Domain-Oriented Relational Languages. In VLDB. 370--378."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Seokki Lee Sven K\u00f6hler Bertram Lud\"ascher and Boris Glavic. 2017. A SQL-Middleware Unifying Why and Why-Not Provenance for First-Order Queries. In ICDE. 485--496.","DOI":"10.1109\/ICDE.2017.105"},{"key":"e_1_3_2_1_36_1","first-page":"1","article-title":"The Shapley Value of Tuples in Query Answering","volume":"155","author":"Livshits Ester","year":"2020","unstructured":"Ester Livshits, Leopoldo E. Bertossi, Benny Kimelfeld, and Moshe Sebag. 2020. The Shapley Value of Tuples in Query Answering. In ICDT, Vol. 155. 20:1--20:19.","journal-title":"ICDT"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920950"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.804489"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14778\/2733004.2733070"},{"key":"e_1_3_2_1_41_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"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/366246.366248"},{"volume-title":"The art of software testing","author":"Myers Glenford J","key":"e_1_3_2_1_43_1","unstructured":"Glenford J Myers, Tom Badgett, Todd M Thomas, and Corey Sandler. 2004. The art of software testing. Vol. 2."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Christopher Olston Shubham Chopra and Utkarsh Srivastava. 2009. Generating example data for dataflow programs. In SIGMOD. 245--256.","DOI":"10.1145\/1559845.1559873"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Judea Pearl et al. 2009. Causal inference in statistics: An overview. Statistics surveys Vol. 3 (2009) 96--146.","DOI":"10.1214\/09-SS057"},{"key":"e_1_3_2_1_46_1","unstructured":"Sudeepa Roy and Dan Suciu. 2014. A formal approach to finding explanations for database queries. In SIGMOD. 1579--1590."},{"key":"e_1_3_2_1_47_1","unstructured":"Anupam Sanghi Raghav Sood Jayant R. Haritsa and Srikanta Tirthapura. 2018. Scalable and Dynamic Regeneration of Big Data Volumes. In EDBT. 301--312."},{"volume-title":"Exploiting lineage for confidence computation in uncertain and probabilistic databases","author":"Sarma Anish Das","key":"e_1_3_2_1_48_1","unstructured":"Anish Das Sarma, Martin Theobald, and Jennifer Widom. 2008. Exploiting lineage for confidence computation in uncertain and probabilistic databases. In ICDE. IEEE, 1023--1032."},{"key":"e_1_3_2_1_49_1","volume-title":"A value for n-person games. Contributions to the Theory of Games 28","author":"LS SHAPLEY.","year":"1953","unstructured":"LS SHAPLEY. 1953. A value for n-person games. Contributions to the Theory of Games 28 (1953), 307--317."},{"key":"e_1_3_2_1_50_1","first-page":"569","article-title":"The Impossibility of an Algorithm for the Decidability Problem on Finite Classes","volume":"70","author":"Trakhtenbrot Boris","year":"1950","unstructured":"Boris Trakhtenbrot. 1950. The Impossibility of an Algorithm for the Decidability Problem on Finite Classes. Proceedings of the USSR Academy of Sciences, Vol. 70, 4 (1950), 569----572.","journal-title":"Proceedings of the USSR Academy of Sciences"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Quoc Trung Tran and Chee-Yong Chan. 2010. How to ConQueR Why-not Questions. In SIGMOD. 15--26.","DOI":"10.1145\/1807167.1807172"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939165"},{"key":"e_1_3_2_1_53_1","volume-title":"Patrick AV Hall, and John HR","author":"Zhu Hong","year":"1997","unstructured":"Hong Zhu, Patrick AV Hall, and John HR May. 1997. Software unit test coverage and adequacy. Acm computing surveys (csur), Vol. 29, 4 (1997), 366--427."}],"event":{"name":"SIGMOD\/PODS '22: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Philadelphia PA USA","acronym":"SIGMOD\/PODS '22"},"container-title":["Proceedings of the 2022 International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514221.3517898","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3514221.3517898","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3514221.3517898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:36Z","timestamp":1750188636000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514221.3517898"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,10]]},"references-count":53,"alternative-id":["10.1145\/3514221.3517898","10.1145\/3514221"],"URL":"https:\/\/doi.org\/10.1145\/3514221.3517898","relation":{},"subject":[],"published":{"date-parts":[[2022,6,10]]},"assertion":[{"value":"2022-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}