{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T11:05:12Z","timestamp":1746529512483},"reference-count":39,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T00:00:00Z","timestamp":1327449600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called <jats:italic>global schema<\/jats:italic>. However, source data are generally not under the control of the data integration process; thus, integrated data may violate global integrity constraints even in the presence of locally consistent data sources. In this scenario, it may be anyway interesting to retrieve as much consistent information as possible. The process of answering user queries under global constraint violations is called <jats:italic>consistent query answering<\/jats:italic> (CQA). Several notions of CQA have been proposed, e.g., depending on whether integrated information is assumed to be <jats:italic>sound<\/jats:italic>, <jats:italic>complete<\/jats:italic>, <jats:italic>exact<\/jats:italic>, or a variant of them. This paper provides a contribution in this setting: it uniforms solutions coming from different perspectives under a common Answer-Set Programming (ASP)-based core, and provides query-driven optimizations designed for isolating and eliminating inefficiencies of the general approach for computing consistent answers. Moreover, the paper introduces some new theoretical results enriching existing knowledge on the decidability and complexity of the considered problems. The effectiveness of the approach is evidenced by experimental results.<\/jats:p>","DOI":"10.1017\/s1471068411000640","type":"journal-article","created":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T11:32:54Z","timestamp":1327491174000},"page":"227-252","source":"Crossref","is-referenced-by-count":12,"title":["Consistent query answering via ASP from different perspectives: Theory and practice"],"prefix":"10.1017","volume":"13","author":[{"given":"MARCO","family":"MANNA","sequence":"first","affiliation":[]},{"given":"FRANCESCO","family":"RICCA","sequence":"additional","affiliation":[]},{"given":"GIORGIO","family":"TERRACINA","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"S1471068411000640_ref37","first-page":"119","volume-title":"Proceedings of RR'08","author":"Terracina","year":"2008"},{"key":"S1471068411000640_ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1031171.1031254"},{"key":"S1471068411000640_ref7","first-page":"39","article-title":"On the role of integrity constraints in data integration","volume":"25","author":"Cal\u00ec","year":"2002","journal-title":"IEEE Data Engineering Bulletin"},{"key":"S1471068411000640_ref23","first-page":"1070","volume-title":"Proceedings of ICLP\/SLP'88","author":"Gelfond","year":"1988"},{"key":"S1471068411000640_ref11","first-page":"308","article-title":"A comprehensive semantic framework for data integration systems","volume":"3","author":"Cal\u00ec","year":"2005","journal-title":"Journal of Algorithms"},{"key":"S1471068411000640_ref17","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"S1471068411000640_ref15","first-page":"661","volume-title":"Advances in Database Technology \u2013 EDBT 2004","author":"Chomicki","year":"2004"},{"key":"S1471068411000640_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773179"},{"key":"S1471068411000640_ref19","first-page":"1","volume-title":"Artificial Intelligence","author":"Faber","year":"2010"},{"key":"S1471068411000640_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/b104925"},{"key":"S1471068411000640_ref3","first-page":"39","volume-title":"Proceedings of ICDT'01","author":"Arenas","year":"2001"},{"key":"S1471068411000640_ref30","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543644"},{"key":"S1471068411000640_ref1","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul","year":"1995"},{"key":"S1471068411000640_ref2","doi-asserted-by":"publisher","DOI":"10.1145\/303976.303983"},{"key":"S1471068411000640_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001832"},{"key":"S1471068411000640_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(03)00050-4"},{"key":"S1471068411000640_ref6","first-page":"113","volume-title":"Proceedings of IICIS'97","author":"Bry","year":"1997"},{"key":"S1471068411000640_ref10","first-page":"16","volume-title":"Proceedings of IJCAI'03","author":"Cal\u00ec","year":"2003"},{"key":"S1471068411000640_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.04.007"},{"key":"S1471068411000640_ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1366102.1366107"},{"key":"S1471068411000640_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.012"},{"key":"S1471068411000640_ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066176"},{"key":"S1471068411000640_ref36","first-page":"292","volume-title":"Proceedings of CADE'82","author":"Minker","year":"1982"},{"key":"S1471068411000640_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.013"},{"key":"S1471068411000640_ref38","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003158"},{"key":"S1471068411000640_ref22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008683107812"},{"key":"S1471068411000640_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068411000640_ref29","unstructured":"Lembo D. 2004. Dealing with Inconsistency and Incompleteness in Data Integration. PhD Thesis, Dipartimento di Informatica e Sistemistica, Universita\u00e0 di Roma \u201cLa Sapienza\u201d."},{"key":"S1471068411000640_ref25","doi-asserted-by":"publisher","DOI":"10.1145\/314516.314520"},{"key":"S1471068411000640_ref26","first-page":"348","volume-title":"Proceedings of ICLP'01","author":"Greco","year":"2001"},{"key":"S1471068411000640_ref27","first-page":"308","volume-title":"Proceedings of LPAR'00","author":"Greco","year":"2000"},{"key":"S1471068411000640_ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1099554.1099742"},{"key":"S1471068411000640_ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066286"},{"key":"S1471068411000640_ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068411000640_ref33","doi-asserted-by":"publisher","DOI":"10.1109\/69.842267"},{"key":"S1471068411000640_ref34","unstructured":"Manna M. , Ricca F. and Terracina G. 2011. Consistent query answering via ASP from different perspectives: Theory and practice. CoRR cs.DB\/1107.4570, 1\u201330."},{"key":"S1471068411000640_ref35","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1016\/j.datak.2010.01.005","article-title":"The consistency extractor system: Answer set programs for consistent query answering in databases","volume":"69","author":"Marileo","year":"2010","journal-title":"Data and Knowledge Engineering"},{"key":"S1471068411000640_ref39","doi-asserted-by":"publisher","DOI":"10.1109\/69.729736"},{"key":"S1471068411000640_ref12","unstructured":"Chomicki J. and Marcinkowski J. 2002. On the computational complexity of consistent query answers. CoRR cs.DB\/0204010, 1\u20139."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T19:18:28Z","timestamp":1556133508000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000640\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,25]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["S1471068411000640"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000640","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,25]]}}}