{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:35:12Z","timestamp":1725888912415},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319618920"},{"type":"electronic","value":"9783319618937"}],"license":[{"start":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T00:00:00Z","timestamp":1496188800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-61893-7_9","type":"book-chapter","created":{"date-parts":[[2017,5,30]],"date-time":"2017-05-30T14:13:32Z","timestamp":1496153612000},"page":"143-167","source":"Crossref","is-referenced-by-count":1,"title":["Dealing with Inconsistency in Databases: An Overview"],"prefix":"10.1007","author":[{"given":"Marco","family":"Calautti","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Caroprese","sequence":"additional","affiliation":[]},{"given":"Bettina","family":"Fazzinga","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Flesca","sequence":"additional","affiliation":[]},{"given":"Filippo","family":"Furfaro","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Parisi","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"Domenico","family":"Sacc\u00e0","sequence":"additional","affiliation":[]},{"given":"Irina","family":"Trubitsyna","sequence":"additional","affiliation":[]},{"given":"Ester","family":"Zumpano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,31]]},"reference":[{"issue":"296","key":"9_CR1","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1016\/S0304-3975(02)00737-5","volume":"3","author":"M Arenas","year":"2003","unstructured":"M. Arenas, L.E. Bertossi, J. Chomicki, X. He, V. Raghavan, J. Spinrad, Scalar aggregation in inconsistent databases. Theor. Comput. Sci. (TCS) 3(296), 405\u2013434 (2003)","journal-title":"Theor. Comput. Sci. (TCS)"},{"key":"9_CR2","unstructured":"M. Calautti, S. Greco, I. Trubitsyna, Detecting decidable classes of finitely ground logic programs with function symbols, in PPDP (2013), pp. 239\u2013250"},{"key":"9_CR3","unstructured":"M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Checking termination of logic programs with function symbols through linear constraints, in RuleML (2014), pp. 97\u2013111"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"M. Calautti, G. Gottlob, A. Pieris, Chase termi- nation for guarded existential rules, in PODS (2015)","DOI":"10.1145\/2745754.2745773"},{"key":"9_CR5","unstructured":"M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Logic program termination analysis using atom sizes, in IJCAI (2015), pp. 2833\u20132839"},{"issue":"5","key":"9_CR6","first-page":"396","volume":"9","author":"M Calautti","year":"2016","unstructured":"M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Exploiting equality generating dependencies in checking chase termination. PVLDB 9(5), 396\u2013407 (2016)","journal-title":"PVLDB"},{"issue":"3","key":"9_CR7","first-page":"353","volume":"16","author":"M Calautti","year":"2016","unstructured":"M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Using linear constraints for logic program termination analysis. TPLP 16(3), 353\u2013377 (2016)","journal-title":"TPLP"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"A. Cal\u00ec, G. Gottlob, M. Kifer, Taming the infinite chase: query answering under expressive relational constraints. JAIR 48, 115\u2013174 (2013)","journal-title":"JAIR"},{"issue":"6","key":"9_CR9","first-page":"905","volume":"11","author":"L Caroprese","year":"2011","unstructured":"L. Caroprese, M. Truszczynski, Active integrity constraints and revision programming. TPLP 11(6), 905\u2013952 (2011)","journal-title":"TPLP"},{"key":"9_CR10","unstructured":"L. Caroprese, S. Greco, I. Trubitsyna, E. Zumpano, Preferred generalized answers for inconsistent databases, in ISMIS (2006), pp. 344\u2013349"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"L. Caroprese, S. Greco, C. Molinaro, Prioritized active integrity constraints for database maintenance, in Proceedings of the International Conference on Database Systems for Advanced Applications (DASFAA) (2007), pp. 459\u2013471","DOI":"10.1007\/978-3-540-71703-4_40"},{"issue":"7","key":"9_CR12","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.1109\/TKDE.2008.226","volume":"21","author":"L Caroprese","year":"2009","unstructured":"L. Caroprese, S. Greco, E. Zumpano, Active integrity constraints for database consistency maintenance. IEEE Trans. Knowl. Data Eng. 21(7), 1042\u20131058 (2009)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9_CR13","unstructured":"A. Deutsch, A. Nash, J.B. Remmel, The chase revisited, in PODS (2008), pp. 149\u2013158"},{"issue":"1","key":"9_CR14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"R. Fagin, P.G. Kolaitis, R.J. Miller, L. Popa, Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"9_CR15","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R Fagin","year":"2005","unstructured":"R. Fagin, P.G. Kolaitis, L. Popa, Data exchange: getting to the core. ACM TODS 30(1), 174\u2013210 (2005)","journal-title":"ACM TODS"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"B. Fazzinga, S. Flesca, F. Furfaro, F. Parisi, Dart: a data acquisition and repairing tool, in Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB) (2006), pp. 297\u2013317","DOI":"10.1007\/11896548_25"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"S. Flesca, F. Furfaro, F. Parisi, Consistent query answers on numerical databases under aggregate constraints, in Proceedings of the International Symposium on Database Programming Languages (DBPL) (2005), pp. 279\u2013294","DOI":"10.1007\/11601524_18"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"S. Flesca, F. Furfaro, F. Parisi, Preferred database repairs under aggregate constraints, in Proceedings of the International Conference on Scalable Uncertainty Management (SUM) (2007), pp. 215\u2013229","DOI":"10.1007\/978-3-540-75410-7_16"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"S. Flesca, F. Furfaro, F. Parisi, Consistent answers to Boolean aggregate queries under aggregate constraints, in Proceedings of the International Conference on Database and Expert Systems Applications (DEXA) (2010), pp. 285\u2013299","DOI":"10.1007\/978-3-642-15251-1_24"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"S. Flesca, F. Furfaro, F. Parisi, Querying and repairing inconsistent numerical databases, ACM Trans. Database Syst. 35(2) (2010)","DOI":"10.1145\/1735886.1735893"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"S. Flesca, F. Furfaro, F. Parisi, Range-consistent answers of aggregate queries under aggregate constraints, in Proceedings of the International Conference on Scalable Uncertainty Management (SUM) (2010), pp. 163\u2013176","DOI":"10.1007\/978-3-642-15951-0_19"},{"issue":"2\u20134","key":"9_CR22","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s10472-008-9088-3","volume":"51","author":"F Furfaro","year":"2007","unstructured":"F. Furfaro, S. Greco, C. Molinaro, A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51(2\u20134), 167\u2013193 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3\/4","key":"9_CR23","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"9_CR24","unstructured":"T. Gogacz, J. Marcinkowski, All-instances termination of chase is undecidable, in ICALP (2014), pp. 293\u2013304"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"G. Gottlob, A. Nash, Efficient core computation in data exchange. J. ACM 55(2) (2008)","DOI":"10.1145\/1346330.1346334"},{"key":"9_CR26","unstructured":"G. Grahne, A. Onet, Anatomy of the chase. CoRR arXiv:abs\/1303.6682 (2013)"},{"key":"9_CR27","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1613\/jair.3949","volume":"47","author":"BC Grau","year":"2013","unstructured":"B.C. Grau, I. Horrocks, M. Kr\u00f6tzsch, C. Kupke, D. Magka, B. Motik, Z. Wang, Acyclicity notions for existential rules and their application to query answering in ontologies. JAIR 47, 741\u2013808 (2013)","journal-title":"JAIR"},{"key":"9_CR28","unstructured":"G. Greco, S. Greco, E. Zumpano, A logic programming approach to the integration, repairing and querying of inconsistent databases, in ICLP (2001), pp. 348\u2013364"},{"issue":"6","key":"9_CR29","doi-asserted-by":"crossref","first-page":"1389","DOI":"10.1109\/TKDE.2003.1245280","volume":"15","author":"G Greco","year":"2003","unstructured":"G. Greco, S. Greco, E. Zumpano, A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Eng. 15(6), 1389\u20131408 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9_CR30","unstructured":"S. Greco, E. Zumpano, Computing repairs for inconsistent databases, in CODAS (2001), pp. 33\u201342"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"S. Greco, C. Molinaro, Querying and repairing inconsistent databases under three-valued semantics, in Proceedings of the International Conference on Logic Programming (ICLP) (2007), pp. 149\u2013164","DOI":"10.1007\/978-3-540-74610-2_11"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"S. Greco, C. Molinaro, Approximate probabilistic query answering over inconsistent databases, in Proceedings of the International Conference on Conceptual Modeling (ER) (2008), pp. 311\u2013325","DOI":"10.1007\/978-3-540-87877-3_23"},{"issue":"1","key":"9_CR33","first-page":"93","volume":"3","author":"S Greco","year":"2010","unstructured":"S. Greco, F. Spezzano, Chase termination: a constraints rewriting approach. PVLDB 3(1), 93\u2013104 (2010)","journal-title":"PVLDB"},{"issue":"2\u20133","key":"9_CR34","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10472-012-9287-9","volume":"64","author":"S Greco","year":"2012","unstructured":"S. Greco, C. Molinaro, Probabilistic query answering over inconsistent databases. Ann. Math. Artif. Intell. 64(2\u20133), 185\u2013207 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"S. Greco, C. Sirangelo, I. Trubitsyna, E. Zumpano, Preferred repairs for inconsistent databases, in Proceedings of the IDEAS (2003), pp. 202\u2013211","DOI":"10.1109\/IDEAS.2003.1214927"},{"issue":"2","key":"9_CR36","first-page":"125","volume":"10","author":"S Greco","year":"2010","unstructured":"S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano, NP datalog: a logic language for expressing search and optimization problems. TPLP 10(2), 125\u2013166 (2010)","journal-title":"TPLP"},{"issue":"11","key":"9_CR37","first-page":"1158","volume":"4","author":"S Greco","year":"2011","unstructured":"S. Greco, F. Spezzano, I. Trubitsyna, Stratification criteria and rewriting techniques for checking chase termination. PVLDB 4(11), 1158\u20131168 (2011)","journal-title":"PVLDB"},{"key":"9_CR38","unstructured":"S. Greco, C. Molinaro, I. Trubitsyna, Checking logic program termination under bottom-up evaluation, in IJCAI (2013), pp. 323\u2013333"},{"issue":"4\u20135","key":"9_CR39","first-page":"737","volume":"13","author":"S Greco","year":"2013","unstructured":"S. Greco, C. Molinaro, I. Trubitsyna, Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments. TPLP 13(4\u20135), 737\u2013752 (2013)","journal-title":"TPLP"},{"issue":"3","key":"9_CR40","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1109\/TKDE.2014.2339816","volume":"27","author":"S Greco","year":"2015","unstructured":"S. Greco, F. Spezzano, I. Trubitsyna, Checking chase termination: cyclicity analysis and rewriting techniques. IEEE Trans. Knowl. Data Eng. 27(3), 621\u2013635 (2015)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9_CR41","unstructured":"Y. Lierler, V. Lifschitz, One more decidable class of finitely ground programs, in ICLP (2009), pp. 489\u2013493"},{"issue":"2","key":"9_CR42","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"VW Marek","year":"1998","unstructured":"V.W. Marek, M. Truszczynski, Revision programming. Theor. Comput. Sci. 190(2), 241\u2013277 (1998)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"9_CR43","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0004-3702(02)00184-4","volume":"138","author":"VW Marek","year":"2002","unstructured":"V.W. Marek, I. Pivkina, M. Truszczynski, Annotated revision programs. Artif. Intell. 138(1\u20132), 149\u2013180 (2002)","journal-title":"Artif. Intell."},{"key":"9_CR44","unstructured":"B. Marnette, Generalized schema-mappings: from termination to tractability, in PODS (2009), pp. 13\u201322"},{"key":"9_CR45","unstructured":"M.V. Martinez, F. Parisi, A. Pugliese, G.I. Simari, V.S. Subrahmanian, Inconsistency management policies, in Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR) (2008), pp. 367\u2013377"},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"M.V. Martinez, F. Parisi, A. Pugliese, G.I. Simari, V.S. Subrahmanian, Efficient policy-based inconsistency management in relational knowledge bases, in Proceedings of the International Conference on Scalable Uncertainty Management (SUM) (2010), pp. 264\u2013277","DOI":"10.1007\/978-3-642-15951-0_26"},{"issue":"2","key":"9_CR47","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1016\/j.ijar.2013.12.004","volume":"55","author":"MV Martinez","year":"2014","unstructured":"M.V. Martinez, F. Parisi, A. Pugliese, G.I. Simari, V.S. Subrahmanian, Policy-based inconsistency management in relational databases. Int. J. Approx. Reason. 55(2), 501\u2013528 (2014)","journal-title":"Int. J. Approx. Reason."},{"key":"9_CR48","unstructured":"G. Mecca, P. Papotti, S. Raunich, Core schema mappings, in SIGMOD (2009), pp. 655\u2013668"},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"M. Meier, On the Termination of the Chase Algorithm. Albert-Ludwigs-Universitat Freiburg (Germany) (2010)","DOI":"10.1007\/978-3-642-15918-3_23"},{"issue":"1","key":"9_CR50","first-page":"970","volume":"2","author":"M Meier","year":"2009","unstructured":"M. Meier, M. Schmidt, G. Lausen, On chase termination beyond stratification. PVLDB 2(1), 970\u2013981 (2009)","journal-title":"PVLDB"},{"issue":"7","key":"9_CR51","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1016\/j.datak.2010.02.007","volume":"69","author":"C Molinaro","year":"2010","unstructured":"C. Molinaro, S. Greco, Polynomial time queries over inconsistent databases with functional dependencies and foreign keys. Data Knowl. Eng. 69(7), 709\u2013722 (2010)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"9_CR52","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10472-009-9159-0","volume":"57","author":"C Molinaro","year":"2009","unstructured":"C. Molinaro, J. Chomicki, J. Marcinkowski, Disjunctive databases for representing repairs. Ann. Math. Artif. Intell. 57(2), 103\u2013124 (2009)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9_CR53","unstructured":"A. Onet, The chase procedure and its applications in data exchange, in Data Exchange, Integration, and Streams (2013), pp. 1\u201337"},{"key":"9_CR54","doi-asserted-by":"crossref","unstructured":"F. Parisi, J. Grant, Integrity constraints for probabilistic spatio-temporal knowledgebases, in Proceedings of the International Conference on Scalable Uncertainty Management (SUM) (2014), pp. 251\u2013264","DOI":"10.1007\/978-3-319-11508-5_21"},{"key":"9_CR55","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1613\/jair.4883","volume":"55","author":"F Parisi","year":"2016","unstructured":"F. Parisi, J. Grant, Knowledge representation in probabilistic spatio-temporal knowledge bases. J. Artif. Intell. Res. (JAIR) 55, 743\u2013798 (2016)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9_CR56","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.ijar.2017.02.003","volume":"84","author":"F Parisi","year":"2017","unstructured":"F. Parisi, J. Grant, On repairing and querying inconsistent probabilistic spatio-temporal databases. Int. J. Approx. Reason. (IJAR) 84, 41\u201374 (2017)","journal-title":"Int. J. Approx. Reason. (IJAR)"},{"issue":"1","key":"9_CR57","first-page":"1006","volume":"2","author":"B Cate ten","year":"2009","unstructured":"B. ten Cate, L. Chiticariu, P.G. Kolaitis, W.C. Tan, Laconic schema mappings: computing the core with SQL queries. PVLDB 2(1), 1006\u20131017 (2009)","journal-title":"PVLDB"}],"container-title":["Studies in Big Data","A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61893-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T07:46:44Z","timestamp":1569397604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61893-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,31]]},"ISBN":["9783319618920","9783319618937"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61893-7_9","relation":{},"ISSN":["2197-6503","2197-6511"],"issn-type":[{"type":"print","value":"2197-6503"},{"type":"electronic","value":"2197-6511"}],"subject":[],"published":{"date-parts":[[2017,5,31]]}}}