Advertisement

Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs

  • Leopoldo BertossiEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10833)

Abstract

A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes. Here, causes are also introduced at the attribute level by appealing to a both null-based and attribute-based repair semantics. The corresponding repair programs are presented, and they are used as a basis for computation and reasoning about attribute-level causes.

Notes

Acknowledgements

This research was supported by NSERC Discovery Grant #06148. Part of this work was done while the author was spending a sabbatical at the “Database and Artificial Intelligence” Group of the Technical University of Vienna with support from the “Vienna Center for Logic and Algorithms” and the Wolfgang Pauli Society. The author is extremely grateful for their support and hospitality, and especially to Prof. Georg Gottlob for making the stay possible. Many thanks to the anonymous reviewers for their excellent feedback.

References

  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)zbMATHGoogle Scholar
  2. 2.
    Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of PODS, pp. 68–79 (1999)Google Scholar
  3. 3.
    Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answers. Theor. Pract. Log. Program. 3(4&5), 393–424 (2003)CrossRefGoogle Scholar
  4. 4.
    Barcelo, P.: Applications of annotated predicate calculus and logic programs to querying inconsistent databases. MSc thesis PUC, Chile (2002). http://people.scs.carleton.ca/~bertossi/papers/tesisk.pdf
  5. 5.
    Barceló, P., Bertossi, L., Bravo, L.: Characterizing and computing semantically correct answers from databases with annotated logic and answer sets. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) SiD 2001. LNCS, vol. 2582, pp. 7–33. Springer, Heidelberg (2003).  https://doi.org/10.1007/3-540-36596-6_2CrossRefzbMATHGoogle Scholar
  6. 6.
    Bertossi, L.: Consistent query answering in databases. ACM SIGMOD Rec. 35(2), 68–76 (2006)CrossRefGoogle Scholar
  7. 7.
    Bertossi, L., Bravo, L., Franconi, E., Lopatenko, A.: The complexity and approximation of fixing numerical attributes in databases under integrity constraints. Inf. Syst. 33(4), 407–434 (2008)CrossRefGoogle Scholar
  8. 8.
    Bertossi, L.: Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management. Morgan & Claypool, San Rafael (2011)Google Scholar
  9. 9.
    Bertossi, L., Li, L.: Achieving data privacy through secrecy views and null-based virtual updates. IEEE Trans. Knowl. Data Eng. 25(5), 987–1000 (2013)CrossRefGoogle Scholar
  10. 10.
    Bertossi, L., Bravo, L.: Consistency and trust in peer data exchange systems. Theor. Pract. Log. Program. 17(2), 148–204 (2017)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Bertossi, L., Salimi, B.: From causes for database queries to repairs and model-based diagnosis and back. Theor. Comput. Syst. 61(1), 191–232 (2017)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Bertossi, L., Salimi, B.: Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints. Int. J. Approx. Reason. 90, 226–252 (2017)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Bertossi, L.: The causality/repair connection in databases: causality-programs. In: Moral, S., Pivert, O., Sánchez, D., Marín, N. (eds.) SUM 2017. LNCS (LNAI), vol. 10564, pp. 427–435. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-67582-4_33CrossRefGoogle Scholar
  14. 14.
    Bravo, L.: Handling inconsistency in databases and data integration systems. Ph.D. thesis, Carleton University, Department of Computer Science (2007). http://people.scs.carleton.ca/~bertossi/papers/Thesis36.pdf
  15. 15.
    Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 93–103 (2011)CrossRefGoogle Scholar
  16. 16.
    Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE Tran. Knowl. Data Eng. 12(5), 845–860 (2000)CrossRefGoogle Scholar
  17. 17.
    Calimeri, F., Cozza, S., Ianni, G., Leone, N.: An ASP system with functions, lists, and sets. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS (LNAI), vol. 5753, pp. 483–489. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-642-04238-6_46CrossRefGoogle Scholar
  18. 18.
    Caniupan-Marileo, M., Bertossi, L.: The consistency extractor system: answer set programs for consistent query answering in databases. Data Know. Eng. 69(6), 545–572 (2010)CrossRefGoogle Scholar
  19. 19.
    Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. J. Artif. Intell. Res. 22, 93–115 (2004)MathSciNetzbMATHGoogle Scholar
  20. 20.
    Chomicki, J., Marcinkowski, J.: Minimal-change integrity maintenance using tuple deletions. Inf. Comput. 197(1–2), 90–121 (2005)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Chou, T., Winslett, M.: A model-based belief revision system. J. Autom. Reason. 12, 157–208 (1994)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374–425 (2001)CrossRefGoogle Scholar
  23. 23.
    Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Trans. Database Syst. 22(3), 364–418 (1997)CrossRefGoogle Scholar
  24. 24.
    Faber, W., Pfeifer, G., Leone, N., Dell’Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theor. Pract. Log. Program. 8(5–6), 545–580 (2008)MathSciNetCrossRefGoogle Scholar
  25. 25.
    Gebser, M., Kaminski, R., Schaub, T.: Complex optimization in answer set programming. Theor. Pract. Log. Program. 11(4–5), 821–839 (2011)MathSciNetCrossRefGoogle Scholar
  26. 26.
    Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael (2012)zbMATHGoogle Scholar
  27. 27.
    Gelfond, M., Kahl, Y.: Knowledge Representation and Reasoning, and the Design of Intelligent Agents. Cambridge University Press, Cambridge (2014)CrossRefGoogle Scholar
  28. 28.
    Halpern, J., Pearl, J.: Causes and explanations: a structural-model approach: part 1. Br. J. Philos. Sci. 56, 843–887 (2005)CrossRefGoogle Scholar
  29. 29.
    Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499–562 (2006)MathSciNetCrossRefGoogle Scholar
  30. 30.
    Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987).  https://doi.org/10.1007/978-3-642-83189-8CrossRefzbMATHGoogle Scholar
  31. 31.
    Marek, V., Truszczynski, M.: Revision programming. Theor. Comput. Sci. 190(2), 241–277 (1998)MathSciNetCrossRefGoogle Scholar
  32. 32.
    Meliou, A., Gatterbauer, W., Moore, K.F., Suciu, D.: The complexity of causality and responsibility for query answers and non-answers. Proc. VLDB Endow. 4(1), 34–45 (2010)CrossRefGoogle Scholar
  33. 33.
    Salimi, B., Bertossi, L., Suciu, D., Van den Broeck, G.: Quantifying causal effects on query answering in databases. In: Proceedings of TaPP (2016)Google Scholar
  34. 34.
    Staworko, S., Chomicki, J., Marcinkowski, J.: Prioritized repairing and consistent query answering in relational databases. Ann. Math. Artif. Intell. 64(2–3), 209–246 (2012)MathSciNetCrossRefGoogle Scholar
  35. 35.
    Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. 30(3), 722–768 (2005)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.School of Computer ScienceCarleton UniversityOttawaCanada

Personalised recommendations