Unifying Causality, Diagnosis, Repairs and View-Updates in Databases

In this work we establish and point out connections between the notion of query-answer causality in databases and database repairs, model-based diagnosis in its consistency-based and abductive versions, and database updates through views. The mutual relationships among these areas of data management and knowledge representation shed light on each of them and help to share notions and results they have in common. In one way or another, these are all approaches to uncertainty management, which becomes even more relevant in the context of big data that have to be made sense of.

[1]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[2]  Joseph Y. Halpern,et al.  Causes and Explanations: A Structural-Model Approach. Part I: Causes , 2000, The British Journal for the Philosophy of Science.

[3]  Dan Suciu,et al.  Causality in Databases , 2010, IEEE Data Eng. Bull..

[4]  Daniele Theseider Dupré,et al.  The role of abduction in database view updating , 1995, Journal of Intelligent Information Systems.

[5]  Leopoldo E. Bertossi,et al.  Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics , 2006, ICDT.

[6]  Leopoldo E. Bertossi,et al.  Causality in Databases: The Diagnosis and Repair Connections , 2014, ArXiv.

[7]  Jan Chomicki,et al.  Prioritized repairing and consistent query answering in relational databases , 2012, Annals of Mathematics and Artificial Intelligence.

[8]  Leopoldo E. Bertossi,et al.  The consistency extractor system: Answer set programs for consistent query answering in databases , 2010, Data Knowl. Eng..

[9]  Jan Vondrák,et al.  Maximizing conjunctive views in deletion propagation , 2012, TODS.

[10]  Joseph Y. Halpern,et al.  Responsibility and Blame: A Structural-Model Approach , 2003, IJCAI.

[11]  Georg Gottlob,et al.  The complexity of logic-based abduction , 1993, JACM.

[12]  Benny Kimelfeld,et al.  A dichotomy in the complexity of deletion propagation with functional dependencies , 2012, PODS '12.

[13]  Dan Suciu,et al.  The Complexity of Causality and Responsibility for Query Answers and non-Answers , 2010, Proc. VLDB Endow..

[14]  Michael Gertz,et al.  Diagnosis and Repair of Constraint Violations in Database Systems , 1996, Datenbank Rundbr..

[15]  Georg Gottlob,et al.  Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..

[16]  Leopoldo E. Bertossi,et al.  Achieving Data Privacy through Secrecy Views and Null-Based Virtual Updates , 2011, IEEE Transactions on Knowledge and Data Engineering.

[17]  Bert Van Nuffelen,et al.  Coherent Integration of Databases by Abductive Logic Programming , 2004, J. Artif. Intell. Res..

[18]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[19]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[20]  Antonis C. Kakas,et al.  Abduction in Logic Programming , 2002, Computational Logic: Logic Programming and Beyond.

[21]  Georg Gottlob,et al.  Efficient Datalog Abduction through Bounded Treewidth , 2007, AAAI.

[22]  Ahmed K. Elmagarmid,et al.  Guided data repair , 2011, Proc. VLDB Endow..

[23]  Diego Calvanese,et al.  Explanation in DL-Lite , 2008, Description Logics.

[24]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[25]  Sergio Greco,et al.  Certain Query Answering in Partially Consistent Databases , 2014, Proc. VLDB Endow..

[26]  Leopoldo E. Bertossi,et al.  Database Repairing and Consistent Query Answering , 2011, Database Repairing and Consistent Query Answering.