{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T08:54:42Z","timestamp":1775638482903,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,5,31]],"date-time":"2020-05-31T00:00:00Z","timestamp":1590883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Google Ph.D Fellowship"},{"name":"Israeli Science Foundation","award":["978\/17"],"award-info":[{"award-number":["978\/17"]}]},{"name":"National Institutes of Health","award":["R01EB025021"],"award-info":[{"award-number":["R01EB025021"]}]},{"name":"National Science Foundation","award":["IIS-1703431"],"award-info":[{"award-number":["IIS-1703431"]}]},{"name":"National Science Foundation","award":["IIS-1552538"],"award-info":[{"award-number":["IIS-1552538"]}]},{"name":"European Research Council","award":["804302"],"award-info":[{"award-number":["804302"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3318464.3389721","type":"proceedings-article","created":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T17:12:33Z","timestamp":1590772353000},"page":"817-831","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["On Multiple Semantics for Declarative Database Repairs"],"prefix":"10.1145","author":[{"given":"Amir","family":"Gilad","sequence":"first","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Deutch","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudeepa","family":"Roy","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,5,31]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Code for holoclean. https:\/\/github.com\/HoloClean\/holoclean.  Code for holoclean. https:\/\/github.com\/HoloClean\/holoclean."},{"key":"e_1_3_2_2_2_1","volume-title":"WebDB","author":"Abiteboul Serge","year":"2012","unstructured":"Serge Abiteboul , Meghyn Bienvenu , and Daniel Deutch . Deduction in the presence of distribution and contradictions . In WebDB , 2012 . Serge Abiteboul, Meghyn Bienvenu, and Daniel Deutch. Deduction in the presence of distribution and contradictions. In WebDB, 2012."},{"key":"e_1_3_2_2_3_1","first-page":"143","volume-title":"ICDT","author":"Abiteboul Serge","year":"2014","unstructured":"Serge Abiteboul , Daniel Deutch , and Victor Vianu . Deduction with contradictions in datalog . In ICDT , pages 143 -- 154 , 2014 . Serge Abiteboul, Daniel Deutch, and Victor Vianu. Deduction with contradictions in datalog. In ICDT, pages 143--154, 2014."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_2_5_1","first-page":"31","volume-title":"ICDT","author":"Foto","year":"2009","unstructured":"Foto N. Afrati and Phokion G. Kolaitis. Repair checking in inconsistent databases: Algorithms and complexity . In ICDT , pages 31 -- 41 , 2009 . Foto N. Afrati and Phokion G. Kolaitis. Repair checking in inconsistent databases: Algorithms and complexity. In ICDT, pages 31--41, 2009."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-012-9402-7"},{"key":"e_1_3_2_2_7_1","first-page":"194","volume-title":"TACAS","author":"Bj\u00f8rner Nikolaj","year":"2015","unstructured":"Nikolaj Bj\u00f8rner , Anh-Dung Phan , and Lars Fleckenstein . (\u03bd)z - an optimizing SMT solver. In TACAS , pages 194 -- 199 , 2015 . Nikolaj Bj\u00f8rner, Anh-Dung Phan, and Lars Fleckenstein. (\u03bd)z - an optimizing SMT solver. In TACAS, pages 194--199, 2015."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2007.367920"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543633"},{"key":"e_1_3_2_2_10_1","volume-title":"Minimal-change integrity maintenance using tuple deletions. Inf. Comput., 197(1--2):90--121","author":"Chomicki Jan","year":"2005","unstructured":"Jan Chomicki and Jerzy Marcinkowski . Minimal-change integrity maintenance using tuple deletions. Inf. Comput., 197(1--2):90--121 , 2005 . Jan Chomicki and Jerzy Marcinkowski. Minimal-change integrity maintenance using tuple deletions. Inf. Comput., 197(1--2):90--121, 2005."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2013.6544847"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183614.1183705"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2011.27"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_3_2_2_15_1","first-page":"337","volume-title":"TACAS","author":"Leonardo","year":"2008","unstructured":"Leonardo Mendoncc a de Moura and Nikolaj Bj\u00f8rner. Z3: an efficient SMT solver . In TACAS , pages 337 -- 340 , 2008 . Leonardo Mendoncc a de Moura and Nikolaj Bj\u00f8rner. Z3: an efficient SMT solver. In TACAS, pages 337--340, 2008."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2019.00054"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824039"},{"key":"e_1_3_2_2_18_1","first-page":"201","volume-title":"ICDT","author":"Deutch Daniel","year":"2014","unstructured":"Daniel Deutch , Tova Milo , Sudeepa Roy , and Val Tannen . Circuits for datalog provenance . In ICDT , pages 201 -- 212 , 2014 . Daniel Deutch, Tova Milo, Sudeepa Roy, and Val Tannen. Circuits for datalog provenance. In ICDT, pages 201--212, 2014."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745762"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2877202"},{"key":"e_1_3_2_2_21_1","first-page":"371","volume-title":"VLDB","author":"Galhardas Helena","year":"2001","unstructured":"Helena Galhardas , Daniela Florescu , Dennis E. Shasha , Eric Simon , and Cristian-Augustin Saita . Declarative data cleaning: Language, model, and algorithms . In VLDB , pages 371 -- 380 , 2001 . Helena Galhardas, Daniela Florescu, Dennis E. Shasha, Eric Simon, and Cristian-Augustin Saita. Declarative data cleaning: Language, model, and algorithms. In VLDB, pages 371--380, 2001."},{"key":"e_1_3_2_2_22_1","volume-title":"Pearson Education","author":"Garcia-Molina Hector","year":"2009","unstructured":"Hector Garcia-Molina , Jeffrey D. Ullman , and Jennifer Widom . Database systems - the complete book (2. ed.) . Pearson Education , 2009 . Hector Garcia-Molina, Jeffrey D. Ullman, and Jennifer Widom. Database systems - the complete book (2. ed.). Pearson Education, 2009."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807193"},{"key":"e_1_3_2_2_24_1","first-page":"1070","volume-title":"ICLP","author":"Gelfond Michael","year":"1988","unstructured":"Michael Gelfond and Vladimir Lifschitz . The stable model semantics for logic programming . In ICLP , pages 1070 -- 1080 , 1988 . Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In ICLP, pages 1070--1080, 1988."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_3_2_2_26_1","first-page":"675","volume-title":"VLDB","author":"Green Todd J.","year":"2007","unstructured":"Todd J. Green , Grigoris Karvounarakis , Zachary G. Ives , and Val Tannen . Update exchange with mappings and provenance . In VLDB , pages 675 -- 686 , 2007 . Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, and Val Tannen. Update exchange with mappings and provenance. In VLDB, pages 675--686, 2007."},{"key":"e_1_3_2_2_27_1","volume-title":"Los Alamos National Lab","author":"Hagberg Aric","year":"2008","unstructured":"Aric Hagberg , Pieter Swart , and Daniel S Chult . Exploring network structure, dynamics, and function using networkx. Technical report , Los Alamos National Lab , United States , 2008 . Aric Hagberg, Pieter Swart, and Daniel S Chult. Exploring network structure, dynamics, and function using networkx. Technical report, Los Alamos National Lab, United States, 2008."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915242"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514901"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.219"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858787"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535857"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196959.3196980"},{"key":"e_1_3_2_2_34_1","first-page":"179","volume-title":"ICDT","author":"Lopatenko Andrei","year":"2007","unstructured":"Andrei Lopatenko and Leopoldo E. Bertossi . Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics . In ICDT , pages 179 -- 193 , 2007 . Andrei Lopatenko and Leopoldo E. Bertossi. Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In ICDT, pages 179--193, 2007."},{"key":"e_1_3_2_2_35_1","unstructured":"MAS. http:\/\/academic.research.microsoft.com\/.  MAS. http:\/\/academic.research.microsoft.com\/."},{"issue":"3","key":"e_1_3_2_2_36_1","first-page":"59","article-title":"Causality in databases","volume":"33","author":"Meliou Alexandra","year":"2010","unstructured":"Alexandra Meliou , Wolfgang Gatterbauer , Joseph Y. Halpern , Christoph Koch , Katherine F. Moore , and Dan Suciu . Causality in databases . IEEE Data Eng. Bull. , 33 ( 3 ): 59 -- 67 , 2010 . Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, and Dan Suciu. Causality in databases. IEEE Data Eng. Bull., 33(3):59--67, 2010.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_2_37_1","first-page":"3","volume-title":"MUD","author":"Meliou Alexandra","year":"2010","unstructured":"Alexandra Meliou , Wolfgang Gatterbauer , Katherine F. Moore , and Dan Suciu . WHY so? or WHY no? functional causality for explaining query answers . In MUD , pages 3 -- 17 , 2010 . Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, and Dan Suciu. WHY so? or WHY no? functional causality for explaining query answers. In MUD, pages 3--17, 2010."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.14778\/2733004.2733070"},{"key":"e_1_3_2_2_39_1","volume-title":"SQL: 1999: understanding relational language components","author":"Melton Jim","year":"2001","unstructured":"Jim Melton and Alan R Simon . SQL: 1999: understanding relational language components . Elsevier , 2001 . Jim Melton and Alan R Simon. SQL: 1999: understanding relational language components. Elsevier, 2001."},{"key":"e_1_3_2_2_40_1","volume-title":"Mysql trigger syntax. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/trigger-syntax.html","author":"SQL.","year":"2019","unstructured":"My SQL. Mysql trigger syntax. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/trigger-syntax.html , 2019 . MySQL. Mysql trigger syntax. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/trigger-syntax.html, 2019."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_18"},{"key":"e_1_3_2_2_42_1","volume-title":"Postgresql trigger behavior. https:\/\/www.postgresql.org\/docs\/12\/trigger-definition.html","author":"SQL.","year":"2019","unstructured":"Postgre SQL. Postgresql trigger behavior. https:\/\/www.postgresql.org\/docs\/12\/trigger-definition.html , 2019 . PostgreSQL. Postgresql trigger behavior. https:\/\/www.postgresql.org\/docs\/12\/trigger-definition.html, 2019."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.14778\/2856318.2856325"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137628.3137631"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.14778\/2856318.2856329"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2588578"},{"key":"e_1_3_2_2_47_1","volume-title":"Optimization in SMT with LA(Q) cost functions. CoRR, abs\/1202.1409","author":"Sebastiani Roberto","year":"2012","unstructured":"Roberto Sebastiani and Silvia Tomasi . Optimization in SMT with LA(Q) cost functions. CoRR, abs\/1202.1409 , 2012 . Roberto Sebastiani and Silvia Tomasi. Optimization in SMT with LA(Q) cost functions. CoRR, abs\/1202.1409, 2012."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.14778\/2809974.2809991"},{"key":"e_1_3_2_2_49_1","volume-title":"Information Systems Database Languages SQL Part 1\/2: Framework\/Foundation","author":"American National Standard.","year":"1999","unstructured":"American National Standard. Information Systems Database Languages SQL Part 1\/2: Framework\/Foundation . American National Standards Institute, Inc. , 1999 . American National Standard. Information Systems Database Languages SQL Part 1\/2: Framework\/Foundation. American National Standards Institute, Inc., 1999."},{"key":"e_1_3_2_2_50_1","unstructured":"TPC. Tpc benchmarks 2020.  TPC. Tpc benchmarks 2020."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816655"}],"event":{"name":"SIGMOD\/PODS '20: International Conference on Management of Data","location":"Portland OR USA","acronym":"SIGMOD\/PODS '20","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3318464.3389721","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3318464.3389721","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3318464.3389721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:44Z","timestamp":1750199924000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3318464.3389721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,31]]},"references-count":51,"alternative-id":["10.1145\/3318464.3389721","10.1145\/3318464"],"URL":"https:\/\/doi.org\/10.1145\/3318464.3389721","relation":{},"subject":[],"published":{"date-parts":[[2020,5,31]]},"assertion":[{"value":"2020-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}