Advertisement

The Causality/Repair Connection in Databases: Causality-Programs

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

Abstract

In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes for query answers from databases.

References

  1. 1.
    Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answers. Theor. Pract. Logic Program. 3(4&5), 393–424 (2003)CrossRefzbMATHGoogle Scholar
  2. 2.
    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). doi: 10.1007/3-540-36596-6_2 CrossRefGoogle Scholar
  3. 3.
    Bertossi, L.: Database Repairing and Consistent Query Answering. Morgan & Claypool, Synthesis Lectures on Data Management (2011)Google Scholar
  4. 4.
    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
  5. 5.
    Bertossi, L., Bravo, L.: Consistency and trust in peer data exchange systems. Theor. Pract. Logic Program. 17(2), 148–204 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Bertossi, L., Salimi, B.: Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints. To appear in Int. J. Approximate Reasoning. Corr Arxiv Paper cs.DB/1611.01711Google Scholar
  8. 8.
    Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE Trans. Knowl. Data Eng. 12(5), 845–860 (2000)CrossRefGoogle Scholar
  9. 9.
    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, vol. 5753, pp. 483–489. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-04238-6_46 CrossRefGoogle Scholar
  10. 10.
    Caniupan-Marileo, M., Bertossi, L.: The consistency extractor system: answer set programs for consistent query answering in databases. Data Knowl. Eng. 69(6), 545–572 (2010)CrossRefGoogle Scholar
  11. 11.
    Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. J. Artif. Intell. Res. 22, 93–115 (2004)MathSciNetzbMATHGoogle Scholar
  12. 12.
    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
  13. 13.
    Faber, W., Pfeifer, G., Leone, N., Dell’Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theor. Pract. Logic Program. 8(5–6), 545–580 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Gelfond, M., Kahl, Y.: Knowledge Representation and Reasoning, and the Design of Intelligent Agents. Cambridge University Press, Cambridge (2014)CrossRefGoogle Scholar
  15. 15.
    Halpern, J., Pearl, J.: Causes and explanations: a structural-model approach: part 1. Br. J. Philos. Sci. 56, 843–887 (2005)CrossRefzbMATHGoogle Scholar
  16. 16.
    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. Logic. 7(3), 499–562 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Meliou, A., Gatterbauer, W., Moore, K.F., Suciu, D.: The complexity of causality and responsibility for query answers and non-answers. Proc. VLDB. 4, 34–41 (2010)CrossRefGoogle Scholar
  18. 18.
    Salimi, B., Bertossi, L., Suciu, D., Van den Broeck, G.: Quantifying causal effects on query answering in databases. Proceedings of TaPP (2016)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.School of Computer ScienceCarleton UniversityOttawaCanada

Personalised recommendations