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

DOI10.1016/j.ijar.2017.07.010zbMath1419.68047arXiv1611.01711OpenAlexW2963239539MaRDI QIDQ1678427

Leopoldo Bertossi, Babak Salimi

Publication date: 17 November 2017

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

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)

Related Items

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, The resilience of conjunctive queries with inequalities, Unnamed Item

Uses Software

• Datalog

Cites Work

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