{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:25:53Z","timestamp":1758273953411,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030242572"},{"type":"electronic","value":"9783030242589"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-24258-9_8","type":"book-chapter","created":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T17:02:31Z","timestamp":1561741351000},"page":"117-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A SAT-Based System for Consistent Query Answering"],"prefix":"10.1007","author":[{"given":"Akhil A.","family":"Dixit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phokion G.","family":"Kolaitis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,29]]},"reference":[{"key":"8_CR1","unstructured":"Food Inspections, City of Chicago, August 2011. \n                    https:\/\/data.cityofchicago.org\/Health-Human-Services\/Food-Inspections\/4ijn-s7e5"},{"key":"8_CR2","unstructured":"New York City Restaurant Inspection Results, Department of Health and Mental Hygiene (DOHMH), August 2014. \n                    https:\/\/data.cityofnewyork.us\/Health\/DOHMH-New-York-City-Restaurant-Inspection-Results\/43nn-pn8j"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 1999, pp. 68\u201379. ACM, New York (1999). \n                    https:\/\/doi.org\/10.1145\/303976.303983","DOI":"10.1145\/303976.303983"},{"issue":"4\u20135","key":"8_CR4","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1017\/S1471068403001832","volume":"3","author":"M Arenas","year":"2003","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. TPLP 3(4\u20135), 393\u2013424 (2003). \n                    https:\/\/doi.org\/10.1017\/S1471068403001832","journal-title":"TPLP"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-36388-2_15","volume-title":"Practical Aspects of Declarative Languages","author":"Pablo Barcel\u00f3","year":"2002","unstructured":"Barcel\u00f3, P., Bertossi, L.E.: Logic programs for querying inconsistent databases. In: Proceedings Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, 13\u201314 January 2003, pp. 208\u2013222 (2003). \n                    https:\/\/doi.org\/10.1007\/3-540-36388-2_15"},{"issue":"5","key":"8_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00379ED1V01Y201108DTM020","volume":"3","author":"Leopoldo Bertossi","year":"2011","unstructured":"Bertossi, L.E.: Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, Morgan & Claypool Publishers (2011). \n                    https:\/\/doi.org\/10.2200\/S00379ED1V01Y201108DTM020","journal-title":"Synthesis Lectures on Data Management"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"ten Cate, B., Fontaine, G., Kolaitis, P.G.: On the data complexity of consistent query answering. In: International Conference on Database Theory (ICDT), pp. 22\u201333 (2012)","DOI":"10.1145\/2274576.2274580"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Chomicki, J., Marcinkowski, J., Staworko, S.: Computing consistent query answers using conflict hypergraphs. In: Proceedings of the Thirteenth ACM International Conference on Information and Knowledge Management, CIKM 2004, pp. 417\u2013426. ACM, New York (2004). \n                    https:\/\/doi.org\/10.1145\/1031171.1031254","DOI":"10.1145\/1031171.1031254"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1007\/978-3-540-24741-8_53","volume-title":"Advances in Database Technology - EDBT 2004","author":"J Chomicki","year":"2004","unstructured":"Chomicki, J., Marcinkowski, J., Staworko, S.: Hippo: a system for computing consistent answers to a class of SQL queries. In: Bertino, E., Christodoulakis, S., Plexousakis, D., Christophides, V., Koubarakis, M., B\u00f6hm, K., Ferrari, E. (eds.) EDBT 2004. LNCS, vol. 2992, pp. 841\u2013844. Springer, Heidelberg (2004). \n                    https:\/\/doi.org\/10.1007\/978-3-540-24741-8_53"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-23786-7_19","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"J Davies","year":"2011","unstructured":"Davies, J., Bacchus, F.: Solving MAXSAT by solving a sequence of simpler SAT instances. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 225\u2013239. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-23786-7_19"},{"key":"8_CR11","first-page":"117","volume-title":"Lecture Notes in Computer Science","author":"Akhil A. Dixit","year":"2019","unstructured":"Dixit, A.A., Kolaitis, P.G.: A SAT-based system for consistent query answering. abs\/1905.02828 (2019). \n                    http:\/\/arxiv.org\/abs\/1905.02828"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Fuxman, A., Fazli, E., Miller, R.J.: ConQuer: efficient management of inconsistent databases. In: Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data, SIGMOD 2005, pp. 155\u2013166. ACM, New York (2005). \n                    https:\/\/doi.org\/10.1145\/1066157.1066176","DOI":"10.1145\/1066157.1066176"},{"key":"8_CR13","unstructured":"Fuxman, A., Fuxman, D., Miller, R.J.: ConQuer: a system for efficient querying over inconsistent databases. In: Proceedings of the 31st International Conference on Very Large Data Bases, VLDB 2005, pp. 1354\u20131357. VLDB Endowment (2005). \n                    http:\/\/dl.acm.org\/citation.cfm?id=1083592.1083774"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.jcss.2006.10.013","volume":"73","author":"A Fuxman","year":"2007","unstructured":"Fuxman, A., Miller, R.J.: First-order query rewriting for inconsistent databases. J. Comput. Syst. Sci. 73(4), 610\u2013635 (2007)","journal-title":"J. Comput. Syst. Sci."},{"issue":"6","key":"8_CR15","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.1109\/TKDE.2003.1245280","volume":"15","author":"G Greco","year":"2003","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Eng. 15(6), 1389\u20131408 (2003). \n                    https:\/\/doi.org\/10.1109\/TKDE.2003.1245280","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Grieco, L., Lembo, D., Rosati, R., Ruzzi, M.: Consistent query answering under key and exclusion dependencies: algorithms and experiments. In: Proceedings of the 14th ACM International Conference on Information and Knowledge Management, CIKM 2005, pp. 792\u2013799. ACM, New York (2005). \n                    https:\/\/doi.org\/10.1145\/1099554.1099742","DOI":"10.1145\/1099554.1099742"},{"issue":"4","key":"8_CR17","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1561\/1900000045","volume":"5","author":"IF Ilyas","year":"2015","unstructured":"Ilyas, I.F., Chu, X.: Trends in cleaning relational data: consistency and deduplication. Found. Trends Databases 5(4), 281\u2013393 (2015). \n                    https:\/\/doi.org\/10.1561\/1900000045","journal-title":"Found. Trends Databases"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.ipl.2011.10.018","volume":"112","author":"PG Kolaitis","year":"2012","unstructured":"Kolaitis, P.G., Pema, E.: A dichotomy in the complexity of consistent query answering for queries with two atoms. Inf. Process. Lett. 112(3), 77\u201385 (2012). \n                    https:\/\/doi.org\/10.1016\/j.ipl.2011.10.018","journal-title":"Inf. Process. Lett."},{"issue":"6","key":"8_CR19","doi-asserted-by":"publisher","first-page":"397","DOI":"10.14778\/2536336.2536341","volume":"6","author":"PG Kolaitis","year":"2013","unstructured":"Kolaitis, P.G., Pema, E., Tan, W.: Efficient querying of inconsistent databases with binary integer programming. PVLDB 6(6), 397\u2013408 (2013). \n                    https:\/\/doi.org\/10.14778\/2536336.2536341","journal-title":"PVLDB"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Koutris, P., Wijsen, J.: The data complexity of consistent query answering for self-join-free conjunctive queries under primary key constraints. In: Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2015, pp. 17\u201329. ACM, New York (2015). \n                    https:\/\/doi.org\/10.1145\/2745754.2745769","DOI":"10.1145\/2745754.2745769"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/2949741.2949746","volume":"45","author":"P Koutris","year":"2016","unstructured":"Koutris, P., Wijsen, J.: Consistent query answering for primary keys. SIGMOD Rec. 45(1), 15\u201322 (2016). \n                    https:\/\/doi.org\/10.1145\/2949741.2949746","journal-title":"SIGMOD Rec."},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/3068334","volume":"42","author":"P Koutris","year":"2017","unstructured":"Koutris, P., Wijsen, J.: Consistent query answering for self-join-free conjunctive queries under primary key constraints. ACM Trans. Database Syst. 42(2), 9:1\u20139:45 (2017). \n                    https:\/\/doi.org\/10.1145\/3068334","journal-title":"ACM Trans. Database Syst."},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/11896548_28","volume-title":"Current Trends in Database Technology \u2013 EDBT 2006","author":"D Lembo","year":"2006","unstructured":"Lembo, D., Rosati, R., Ruzzi, M.: On the first-order reducibility of unions of conjunctive queries over inconsistent databases. In: Grust, T., et al. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 358\u2013374. Springer, Heidelberg (2006). \n                    https:\/\/doi.org\/10.1007\/11896548_28"},{"key":"8_CR24","unstructured":"Manna, M., Ricca, F., Terracina, G.: Consistent query answering via ASP from different perspectives: theory and practice. CoRR abs\/1107.4570 (2011). \n                    http:\/\/arxiv.org\/abs\/1107.4570"},{"issue":"6","key":"8_CR25","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.datak.2010.01.005","volume":"69","author":"MC Marileo","year":"2010","unstructured":"Marileo, M.C., Bertossi, L.E.: The consistency extractor system: answer set programs for consistent query answering in databases. Data Knowl. Eng. 69(6), 545\u2013572 (2010). \n                    https:\/\/doi.org\/10.1016\/j.datak.2010.01.005","journal-title":"Data Knowl. Eng."},{"issue":"11","key":"8_CR26","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.14778\/3137628.3137631","volume":"10","author":"T Rekatsinas","year":"2017","unstructured":"Rekatsinas, T., Chu, X., Ilyas, I.F., R\u00e9, C.: HoloClean: holistic data repairs with probabilistic inference. Proc. VLDB Endow. 10(11), 1190\u20131201 (2017). \n                    https:\/\/doi.org\/10.14778\/3137628.3137631","journal-title":"Proc. VLDB Endow."},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Wijsen, J.: Consistent query answering under primary keys: a characterization of tractable queries. In: Proceedings of the 12th International Conference on Database Theory, ICDT 2009, pp. 42\u201352. ACM, New York (2009). \n                    https:\/\/doi.org\/10.1145\/1514894.1514900","DOI":"10.1145\/1514894.1514900"},{"issue":"21","key":"8_CR28","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1016\/j.ipl.2010.07.021","volume":"110","author":"J Wijsen","year":"2010","unstructured":"Wijsen, J.: A remark on the complexity of consistent conjunctive query answering under primary key violations. Inf. Process. Lett. 110(21), 950\u2013955 (2010). \n                    https:\/\/doi.org\/10.1016\/j.ipl.2010.07.021","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"8_CR29","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/2188349.2188351","volume":"37","author":"J Wijsen","year":"2012","unstructured":"Wijsen, J.: Certain conjunctive query answering in first-order logic. ACM Trans. Database Syst. 37(2), 9:1\u20139:35 (2012). \n                    https:\/\/doi.org\/10.1145\/2188349.2188351","journal-title":"ACM Trans. Database Syst."},{"key":"8_CR30","doi-asserted-by":"publisher","unstructured":"Wijsen, J.: Charting the tractability frontier of certain conjunctive query answering. In: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2013, pp. 189\u2013200. ACM, New York (2013). \n                    https:\/\/doi.org\/10.1145\/2463664.2463666","DOI":"10.1145\/2463664.2463666"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-24258-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T13:04:27Z","timestamp":1564578267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24258-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030242572","9783030242589"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24258-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Applications of Satisfiability Testing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sat2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sat2019.tecnico.ulisboa.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}