Cited By
View all- Bertossi LSalimi B(2017)From Causes for Database Queries to Repairs and Model-Based Diagnosis and BackTheory of Computing Systems10.1007/s00224-016-9718-961:1(191-232)Online publication date: 1-Jul-2017
Query-answer causality in databases: abductive diagnosis and view-updates
Pages 76 - 85
Abstract
Causality has been recently introduced in databases, to model, characterize and possibly compute causes for query results (answers). Connections between query causality and consistency-based diagnosis and database repairs (wrt. integrity constrain violations) have been established in the literature. In this work we establish connections between query causality and abductive diagnosis and the view-update problem. The unveiled relationships allow us to obtain new complexity results for query causality -the main focus of our work- and also for the two other areas.
References
[1]
Abiteboul, S. Hull R., and Vianu V. Foundations of Databases. Addison-Wesley, 1995.
[2]
Arieli, O., Denecker, M., Van Nuffelen, B. and Bruynooghe, M. Coherent Integration of Databases by Abductive Logic Programming. J. Artif. Intell. Res., 2004, 21:245-286.
[3]
Bertossi, L. and Li, L. Achieving Data Privacy through Secrecy Views and Null-Based Virtual Updates. IEEE Transaction on Knowledge and Data Engineering, 2013, 25(5):987-1000.
[4]
Bertossi, L. Database Repairing and Consistent Query Answering. Morgan & Claypool, Synthesis Lectures on Data Management, 2011.
[5]
Bertossi, L. and Salimi, B. Unifying Causality, Diagnosis, Repairs and View-Updates in Databases. First International PODS-Workshop on Big Uncertain Data (BUDA 2014). http://www.sigmod2014.org/buda/papers/p5.pdf
[6]
Brewka, G., Eiter, Th. and Truszczynski, M. Answer Set Programming at a Glance. Communications of the ACM, 2011, 54(12):92-103.
[7]
Buneman, P., Khanna, S. and Tan, W. C. On Propagation of Deletions and Annotations Through Views. Proc. PODS, 2002, pp. 150-158.
[8]
Ceri, S., Gottlob, G. and Tanca, L. Logic Programming and Databases. Springer, 1989.
[9]
Chockler, H. and Halpern, J. Y. Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res., 2004, 22:93-115.
[10]
Console, L., and Torasso, P., A Spectrum of Logical Definitions of Model-Based Diagnosis. Comput. Intell., 1991, 7:133-141.
[11]
Console, L., Theseider-Dupre, D. and Torasso, P. On the Relationship between Abduction and Deduction. J. Log. Comput., 1991, 1(5):661-690.
[12]
Console, L., Sapino M. L., Theseider-Dupre, D. The Role of Abduction in Database View Updating. J. Intell. Inf. Syst., 1995, 4(3):261-280.
[13]
Denecker, M., and Kakas A. C. Abduction in Logic Programming. In Computational Logic: Logic Programming and Beyond, 2002, LNCS 2407, pp. 402-436.
[14]
Eiter, T. and Gottlob, G. The Complexity of Logic-Based Abduction. J. ACM, 1995, 42(1):3-42.
[15]
Eiter, T., Gottlob, G. and Leone, N. Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci., 1997, 189(1-2):129-177.
[16]
Friedrich, G., Gottlob. G. and Nejdl, W. Hypothesis Classification, Abductive Diagnosis and Therapy. Proc. Internat. Workshop on Expert Systems in Engineering, 1990, LNCS 462, pp. 69-78.
[17]
Gottlob, G., Pichler, R. and Wei, F. Bounded Treewidth as a Key to Tractability of Knowledge Representation And Reasoning. Artificial Intelligence, 2010a, 174(1):105132.
[18]
Gottlob, G., Pichler, R. and Wei, F. Tractable Database Design and Datalog Abduction through Bounded Treewidth. Inf. Syst., 2010b, 35(3):278-298.
[19]
Halpern, J., and Pearl, J. Causes and Explanations: A Structural-Model Approach: Part 1 Proc. UAI, 2001, pp. 194-202.
[20]
Halpern, Y. J., Pearl, J. Causes and Explanations: A Structural-Model Approach: Part 1. British J. Philosophy of Science, 2005, 56:843-887.
[21]
Halpern, J. A Modification of Halpern-Pearl Definition of Causality. To appear in Proc. IJCAI, 2015.
[22]
Halpern, J. Appropriate Causal Models and Stability of Causation. Proc. KR, 2014.
[23]
Kakas A. C. and Mancarella, P. Database Updates through Abduction. Proc. VLDB, 1990, pp. 650-661.
[24]
Kimelfeld, B. A Dichotomy in the Complexity of Deletion Propagation with Functional Dependencies. Proc. PODS, 2012, pp. 191-202.
[25]
Kimelfeld, B., Vondrak, J. and Williams, R. Maximizing Conjunctive Views in Deletion Propagation. ACM TODS, 2012, 7(4):24.
[26]
Meliou, A., Gatterbauer, W. Moore, K. F. and Suciu, D. The Complexity of Causality and Responsibility for Query Answers and Non-Answers. Proc. VLDB, 2010a, pp. 34-41.
[27]
Meliou, A., Gatterbauer. W., Halpern, J. Y., Koch, C., Moore K. F. and Suciu, D. Causality in Databases. IEEE Data Eng. Bull, 2010b, 33(3):59-67.
[28]
Meliou, A., Gatterbauer, S. Nath. and Suciu, D. Tracing Data Errors with View-Conditioned Causality. Proc. SIGMOD, 2011.
[29]
Psillos., A. Ampliative Reasoning: Induction or Abduction. Proc. ECAI'96 Workshop on Abductive and Inductive Reasoning, 1996.
[30]
Poole, D. Logic Programming, Abduction and Probability. Proc. FGCS, 1992, pp. 530-538.
[31]
Poole, D. Representing Diagnosis Knowledge. Annals of Mathematics and Artificial Intelligence, 1994, 11(1-4):33-50.
[32]
Reiter, R. A Theory of Diagnosis from First Principles. Artificial Intelligence, 1987, 32(1):57-95.
[33]
Salimi, B. and Bertossi, L. Causality in Databases: The Diagnosis and Repair Connections. Proc. 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), 2014. Corr Arkiv Paper cs.DB/1404.6857.
[34]
Salimi, B. and Bertossi, L. From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back. Proc. ICDT, 2015.
[35]
Struss, P. Model-based Problem Solving. In Handbook of Knowledge Representation, chap. 10. Elsevier, 2008.
Index Terms
- Query-answer causality in databases: abductive diagnosis and view-updates
Index terms have been assigned to the content through auto-classification.
Recommendations
The complexity of causality and responsibility for query answers and non-answers
An answer to a query has a well-defined lineage expression (alternatively called how-provenance) that explains how the answer was derived. Recent work has also shown how to compute the lineage of a non-answer to a query. However, the cause of an answer ...
Complexity results for structure-based causality
We give a precise picture of the computational complexity of causal relationships in Pearl's structural models, where we focus on causality between variables, event causality, and probabilistic causality. As for causality between variables, we consider ...
Granular Causality Applications: Using Part-of Relations for Discovering Causality
Causal markers, syntactic structures and connectives have been the sole identifying features for automatically extracting causal relations in natural language discourse. However, various connectives such as "and", prepositions such as "as", and other ...
Comments
Information & Contributors
Information
Published In
Publisher
CEUR-WS.org
Aachen, Germany
Publication History
Published: 16 July 2015
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Oct 2024
Other Metrics
Citations
Cited By
View all- Bertossi LSalimi B(2017)From Causes for Database Queries to Repairs and Model-Based Diagnosis and BackTheory of Computing Systems10.1007/s00224-016-9718-961:1(191-232)Online publication date: 1-Jul-2017