Advertisement

Dealing with Inconsistency in Databases: An Overview

  • Marco Calautti
  • Luciano Caroprese
  • Bettina Fazzinga
  • Sergio Flesca
  • Filippo Furfaro
  • Sergio Greco
  • Cristian Molinaro
  • Francesco ParisiEmail author
  • Andrea Pugliese
  • Domenico Saccà
  • Irina Trubitsyna
  • Ester Zumpano
Chapter
Part of the Studies in Big Data book series (SBD, volume 31)

Abstract

There is a growing number of applications where inconsistent information arises. In the last two decades, the emerging approach for dealing with such scenarios is to “tolerate” inconsistency and provide appropriate reasoning mechanisms. In particular, consistent query answering has been widely accepted as a principled approach for query answering. Several practical and theoretical issues regarding the consistent query answering framework have been widely investigated in literature and different techniques for evaluating consistent answers have been proposed. In this work, we provide a brief survey of the research on techniques for repairing and querying inconsistent databases developed by the database research group of the DIMES Department at the University of Calabria.

Keywords

Integrity Constraint Conjunctive Query Universal Solution Consistent Answer Disjunctive Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    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–434 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    M. Calautti, S. Greco, I. Trubitsyna, Detecting decidable classes of finitely ground logic programs with function symbols, in PPDP (2013), pp. 239–250Google Scholar
  3. 3.
    M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Checking termination of logic programs with function symbols through linear constraints, in RuleML (2014), pp. 97–111Google Scholar
  4. 4.
    M. Calautti, G. Gottlob, A. Pieris, Chase termi- nation for guarded existential rules, in PODS (2015)Google Scholar
  5. 5.
    M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Logic program termination analysis using atom sizes, in IJCAI (2015), pp. 2833–2839Google Scholar
  6. 6.
    M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Exploiting equality generating dependencies in checking chase termination. PVLDB 9(5), 396–407 (2016)Google Scholar
  7. 7.
    M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, Using linear constraints for logic program termination analysis. TPLP 16(3), 353–377 (2016)MathSciNetGoogle Scholar
  8. 8.
    A. Calì, G. Gottlob, M. Kifer, Taming the infinite chase: query answering under expressive relational constraints. JAIR 48, 115–174 (2013)MathSciNetzbMATHGoogle Scholar
  9. 9.
    L. Caroprese, M. Truszczynski, Active integrity constraints and revision programming. TPLP 11(6), 905–952 (2011)MathSciNetzbMATHGoogle Scholar
  10. 10.
    L. Caroprese, S. Greco, I. Trubitsyna, E. Zumpano, Preferred generalized answers for inconsistent databases, in ISMIS (2006), pp. 344–349Google Scholar
  11. 11.
    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–471Google Scholar
  12. 12.
    L. Caroprese, S. Greco, E. Zumpano, Active integrity constraints for database consistency maintenance. IEEE Trans. Knowl. Data Eng. 21(7), 1042–1058 (2009)CrossRefGoogle Scholar
  13. 13.
    A. Deutsch, A. Nash, J.B. Remmel, The chase revisited, in PODS (2008), pp. 149–158Google Scholar
  14. 14.
    R. Fagin, P.G. Kolaitis, R.J. Miller, L. Popa, Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    R. Fagin, P.G. Kolaitis, L. Popa, Data exchange: getting to the core. ACM TODS 30(1), 174–210 (2005)CrossRefzbMATHGoogle Scholar
  16. 16.
    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–317Google Scholar
  17. 17.
    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–294Google Scholar
  18. 18.
    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–229Google Scholar
  19. 19.
    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–299Google Scholar
  20. 20.
    S. Flesca, F. Furfaro, F. Parisi, Querying and repairing inconsistent numerical databases, ACM Trans. Database Syst. 35(2) (2010)Google Scholar
  21. 21.
    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–176Google Scholar
  22. 22.
    F. Furfaro, S. Greco, C. Molinaro, A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51(2–4), 167–193 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3/4), 365–386 (1991)CrossRefzbMATHGoogle Scholar
  24. 24.
    T. Gogacz, J. Marcinkowski, All-instances termination of chase is undecidable, in ICALP (2014), pp. 293–304Google Scholar
  25. 25.
    G. Gottlob, A. Nash, Efficient core computation in data exchange. J. ACM 55(2) (2008)Google Scholar
  26. 26.
    G. Grahne, A. Onet, Anatomy of the chase. CoRR arXiv:abs/1303.6682 (2013)
  27. 27.
    B.C. Grau, I. Horrocks, M. Krötzsch, C. Kupke, D. Magka, B. Motik, Z. Wang, Acyclicity notions for existential rules and their application to query answering in ontologies. JAIR 47, 741–808 (2013)MathSciNetzbMATHGoogle Scholar
  28. 28.
    G. Greco, S. Greco, E. Zumpano, A logic programming approach to the integration, repairing and querying of inconsistent databases, in ICLP (2001), pp. 348–364Google Scholar
  29. 29.
    G. Greco, S. Greco, E. Zumpano, A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Eng. 15(6), 1389–1408 (2003)CrossRefGoogle Scholar
  30. 30.
    S. Greco, E. Zumpano, Computing repairs for inconsistent databases, in CODAS (2001), pp. 33–42Google Scholar
  31. 31.
    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–164Google Scholar
  32. 32.
    S. Greco, C. Molinaro, Approximate probabilistic query answering over inconsistent databases, in Proceedings of the International Conference on Conceptual Modeling (ER) (2008), pp. 311–325Google Scholar
  33. 33.
    S. Greco, F. Spezzano, Chase termination: a constraints rewriting approach. PVLDB 3(1), 93–104 (2010)Google Scholar
  34. 34.
    S. Greco, C. Molinaro, Probabilistic query answering over inconsistent databases. Ann. Math. Artif. Intell. 64(2–3), 185–207 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  35. 35.
    S. Greco, C. Sirangelo, I. Trubitsyna, E. Zumpano, Preferred repairs for inconsistent databases, in Proceedings of the IDEAS (2003), pp. 202–211Google Scholar
  36. 36.
    S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano, NP datalog: a logic language for expressing search and optimization problems. TPLP 10(2), 125–166 (2010)zbMATHGoogle Scholar
  37. 37.
    S. Greco, F. Spezzano, I. Trubitsyna, Stratification criteria and rewriting techniques for checking chase termination. PVLDB 4(11), 1158–1168 (2011)Google Scholar
  38. 38.
    S. Greco, C. Molinaro, I. Trubitsyna, Checking logic program termination under bottom-up evaluation, in IJCAI (2013), pp. 323–333Google Scholar
  39. 39.
    S. Greco, C. Molinaro, I. Trubitsyna, Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments. TPLP 13(4–5), 737–752 (2013)MathSciNetzbMATHGoogle Scholar
  40. 40.
    S. Greco, F. Spezzano, I. Trubitsyna, Checking chase termination: cyclicity analysis and rewriting techniques. IEEE Trans. Knowl. Data Eng. 27(3), 621–635 (2015)CrossRefGoogle Scholar
  41. 41.
    Y. Lierler, V. Lifschitz, One more decidable class of finitely ground programs, in ICLP (2009), pp. 489–493Google Scholar
  42. 42.
    V.W. Marek, M. Truszczynski, Revision programming. Theor. Comput. Sci. 190(2), 241–277 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  43. 43.
    V.W. Marek, I. Pivkina, M. Truszczynski, Annotated revision programs. Artif. Intell. 138(1–2), 149–180 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  44. 44.
    B. Marnette, Generalized schema-mappings: from termination to tractability, in PODS (2009), pp. 13–22Google Scholar
  45. 45.
    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–377Google Scholar
  46. 46.
    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–277Google Scholar
  47. 47.
    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–528 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  48. 48.
    G. Mecca, P. Papotti, S. Raunich, Core schema mappings, in SIGMOD (2009), pp. 655–668Google Scholar
  49. 49.
    M. Meier, On the Termination of the Chase Algorithm. Albert-Ludwigs-Universitat Freiburg (Germany) (2010)Google Scholar
  50. 50.
    M. Meier, M. Schmidt, G. Lausen, On chase termination beyond stratification. PVLDB 2(1), 970–981 (2009)Google Scholar
  51. 51.
    C. Molinaro, S. Greco, Polynomial time queries over inconsistent databases with functional dependencies and foreign keys. Data Knowl. Eng. 69(7), 709–722 (2010)CrossRefGoogle Scholar
  52. 52.
    C. Molinaro, J. Chomicki, J. Marcinkowski, Disjunctive databases for representing repairs. Ann. Math. Artif. Intell. 57(2), 103–124 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  53. 53.
    A. Onet, The chase procedure and its applications in data exchange, in Data Exchange, Integration, and Streams (2013), pp. 1–37Google Scholar
  54. 54.
    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–264Google Scholar
  55. 55.
    F. Parisi, J. Grant, Knowledge representation in probabilistic spatio-temporal knowledge bases. J. Artif. Intell. Res. (JAIR) 55, 743–798 (2016)MathSciNetzbMATHGoogle Scholar
  56. 56.
    F. Parisi, J. Grant, On repairing and querying inconsistent probabilistic spatio-temporal databases. Int. J. Approx. Reason. (IJAR) 84, 41–74 (2017)MathSciNetCrossRefGoogle Scholar
  57. 57.
    B. ten Cate, L. Chiticariu, P.G. Kolaitis, W.C. Tan, Laconic schema mappings: computing the core with SQL queries. PVLDB 2(1), 1006–1017 (2009)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Marco Calautti
    • 1
  • Luciano Caroprese
    • 1
  • Bettina Fazzinga
    • 2
  • Sergio Flesca
    • 1
  • Filippo Furfaro
    • 1
  • Sergio Greco
    • 1
  • Cristian Molinaro
    • 1
  • Francesco Parisi
    • 1
    Email author
  • Andrea Pugliese
    • 1
  • Domenico Saccà
    • 1
  • Irina Trubitsyna
    • 1
  • Ester Zumpano
    • 1
  1. 1.DIMES - Università Della CalabriaRendeItaly
  2. 2.ICAR-CNRNapoliItaly

Personalised recommendations