Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs
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.
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.
- 2.Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of PODS, pp. 68–79 (1999)Google Scholar
- 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.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
- 8.Bertossi, L.: Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management. Morgan & Claypool, San Rafael (2011)Google Scholar
- 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
- 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