Causes for query answers from databases: Datalog abduction, view-updates, and integrity constraints

被引:14
|
作者
Bertossi, Leopoldo [1 ]
Salimi, Babak [2 ]
机构
[1] Carleton Univ, Sch Comp Sci, Ottawa, ON, Canada
[2] Univ Washington, Comp Sci & Engn, Seattle, WA 98195 USA
基金
加拿大自然科学与工程研究理事会;
关键词
Causality in databases; Abductive diagnosis; View updates; Delete propagation; Integrity constraints; LOGIC; RESPONSIBILITY; COMPLEXITY; DIAGNOSIS; BLAME;
D O I
10.1016/j.ijar.2017.07.010
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Causality has been recently introduced in databases, to model, characterize, and possibly compute causes for query answers. Connections between QA-causality and consistency based diagnosis and database repairs (wrt, integrity constraint violations) have already been established. In this work we establish precise connections between QA-causality and both abductive diagnosis and the view-update problem in databases, allowing us to obtain new algorithmic and complexity results for QA-causality. We also obtain new results on the complexity of view-conditioned causality, and investigate the notion of QA-causality in the presence of integrity constraints, obtaining complexity results from a connection with view-conditioned causality. The abduction connection under integrity constraints allows us to obtain algorithmic tools for QA-causality. (C) 2017 Elsevier Inc. All rights reserved.
引用
收藏
页码:226 / 252
页数:27
相关论文
共 2 条