|Home||<< 1 >>|
Bertossi, L. (2021). Specifying and computing causes for query answers in databases via database repairs and repair-programs. Knowl. Inf. Syst., 63, 199–231.
Abstract: There is a recently established correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints. In this work, answer-set programs that specify database repairs are used as a basis for solving computational and reasoning problems around causality in databases, including causal responsibility. Furthermore, causes are introduced also at the attribute level by appealing to an attribute-based repair semantics that uses null values. Corresponding repair-programs are introduced, and used as a basis for computation and reasoning about attribute-level causes. The answer-set programs are extended in order to capture causality under integrity constraints.
Keywords: Causality; Databases; Repairs; Constraints; Answer-set programming