Specifying and Computing Causes for Query Answers in Databases via Database Repairs and Repair Programs
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. They are extended to deal with the case of causality under integrity constraints.
Keywords
Cite
@article{arxiv.1712.01001,
title = {Specifying and Computing Causes for Query Answers in Databases via Database Repairs and Repair Programs},
author = {Leopoldo Bertossi},
journal= {arXiv preprint arXiv:1712.01001},
year = {2020}
}
Comments
To appear in "Knowledge and Information Systems" journal. This is the final version, and a much revised, corrected and extended version of: Bertossi, L. "Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs". Proc. FoIKs, 2018, Springer LNCS 10833, pp. 55-76