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

DOI10.1016/J.IJAR.2017.07.010zbMATH Open1419.68047arXiv1611.01711OpenAlexW2963239539MaRDI QIDQ1678427

Leopoldo Bertossi, Babak Salimi

Publication date: 17 November 2017

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1611.01711

zbMATH Keywords

integrity constraintsabductive diagnosiscausality in databasesdelete propagationview updates

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abductive Logic Programming
• A theory of diagnosis from first principles
• Computational Complexity
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Probabilistic Databases
• Knowledge compilation meets database theory: compiling queries to decision diagrams
• Bounded treewidth as a key to tractability of knowledge representation and reasoning
• The complexity of logic-based abduction
• On the Relationship Between Abduction and Deduction
• What should a database know?
• Abduction from logic programs: Semantics and complexity
• Representing diagnosis knowledge
• Degrees of causation
• Causal inference in statistics. A primer
• From causes for database queries to repairs and model-based diagnosis and back
• From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back

Cited In (6)

• Title not available (Why is that?)
• On the abductive or deductive nature of database schema validation and update processing problems
• Characterizing and computing causes for query answers in databases from database repairs and repair programs
• The resilience of conjunctive queries with inequalities
• From causes for database queries to repairs and model-based diagnosis and back
• Score-based explanations in data management and machine learning: an answer-set programming approach to counterfactual analysis

Uses Software

• Datalog

Recommendations

• Datalog extensions for database queries and updates 👍 👎
• Model theoretic approach to view updates in deductive databases 👍 👎
• Logical queries over views 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1678427)