From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back

被引：20
作者：
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
来源：
THEORY OF COMPUTING SYSTEMS | 2017年 / 61卷 / 01期
基金：
加拿大自然科学与工程研究理事会;
关键词：
Causality; Diagnosis; Repairs; Consistent query answering; Integrity constraints;
D O I：
10.1007/s00224-016-9718-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this work we establish and investigate connections between causes for query answers in databases, database repairs with respect to denial constraints, and consistency-based diagnosis. The first two are relatively new research areas in databases, and the third one is an established subject in knowledge representation. We show how to obtain database repairs from causes, and the other way around. Causality problems are formulated as diagnosis problems, and the diagnoses provide causes and their responsibilities. The vast body of research on database repairs can be applied to the newer problems of computing actual causes for query answers and their responsibilities. These connections are interesting per se. They also allow us, after a transition inspired by consistency-based diagnosis to computational problems on hitting-sets and vertex covers in hypergraphs, to obtain several new algorithmic and complexity results for database causality.
引用
收藏
页码：191 / 232
页数：42
相关论文
共 60 条
[11]  
Bertossi L, 2006, SIGMOD REC, V35, P68, DOI 10.1145/1147376.1147391
[12]   Achieving Data Privacy through Secrecy Views and Null-Based Virtual Updates [J].
Bertossi, Leopoldo ;
Li, Lechen .
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2013, 25 (05) :987-1000
[13]  
Brankovic Ljiljana, 2012, Approximation and Online Algorithms. 9th International Workshop, WAOA 2011. Revised Selected Papers, P63, DOI 10.1007/978-3-642-29116-6_6
[14]  
Bravo L, 2006, LECT NOTES COMPUT SC, V4254, P336
[15]  
Buneman P, 2001, LECT NOTES COMPUT SC, V1973, P316
[16]  
Buneman Peter., 2007, SIGMOD 2007 P ACM SI, P1171
[17]  
Chen Jay, 2011, P LID, P2
[18]   Provenance in Databases: Why, How, and Where [J].
Cheney, James ;
Chiticariu, Laura ;
Tan, Wang-Chiew .
FOUNDATIONS AND TRENDS IN DATABASES, 2007, 1 (04) :379-474
[19]  
Cheney James, 2009, P 24 ACM SIGPLAN C C, P957, DOI [DOI 10.1145/1639950.1640064, 10.1145/1639950.16400642, DOI 10.1145/1639950.16400642, 10.1145/1639950.1640064]
[20]   Responsibility and blame: A structural-model approach [J].
Chockler, H ;
Halpern, JY .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2004, 22 :93-115
123456