research-article

Specifying and computing causes for query answers in databases via database repairs and repair-programs

Author:

Leopoldo BertossiAuthors Info & Claims

Knowledge and Information Systems, Volume 63, Issue 1

Pages 199 - 231

https://doi.org/10.1007/s10115-020-01516-6

Published: 01 January 2021 Publication History

Abstract

There is a recently established correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints. In this work, answer-set programs that specify database repairs are used as a basis for solving computational and reasoning problems around causality in databases, including causal responsibility. Furthermore, causes are introduced also at the attribute level by appealing to an attribute-based repair semantics that uses null values. Corresponding repair-programs are introduced, and used as a basis for computation and reasoning about attribute-level causes. The answer-set programs are extended in order to capture causality under integrity constraints.

References

[1]

Abiteboul S, Hull R, and Vianu V Foundations of databases 1995 Berlin Addison-Wesley

[2]

Arenas M, Bertossi L, Chomicki J (1999) Consistent query answers in inconsistent databases. In: Proceedings 1999 symposium on principles of database systems, pp 68–79

[3]

Arenas M, Bertossi L, and Chomicki J Answer sets for consistent query answers Theory Pract Log Program 2003 3 4&5 393-424

[4]

Barcelo P, Bertossi L, Bravo L (2003) Characterizing and computing semantically correct answers from databases with annotated logic and answer sets. In: Semantics in databases. LNCS 2582. Springer, Berlin, pp 7–33

[5]

Bertossi L, Bravo L, Franconi E, et al. The complexity and approximation of fixing numerical attributes in databases under integrity constraints Inf Syst 2008 33 4 407-434

[6]

Bertossi L (2011) Database repairing and consistent query answering. In: Synthesis lectures on data management. Morgan & Claypool, London

[7]

Bertossi L and Li L Achieving data privacy through secrecy views and null-based virtual updates IEEE Trans Knowl Data Eng 2013 25 5 987-1000

[8]

Bertossi L and Bravo L Consistency and trust in peer data exchange systems Theory Pract Log Program 2017 17 2 148-204 (Extended version as Corr Arxiv Paper arXiv:1606.01930 [cs.DB])

[9]

Bertossi L and Salimi B From causes for database queries to repairs and model-based diagnosis and back Theory Comput Syst 2017 61 1 191-232

[10]

Bertossi L and Salimi B Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints Int J Approx Reason 2017 90 226-252

[11]

Bertossi L (2018) Characterizing and computing causes for query answers in databases from database repairs and repair programs. In: Proceedings 2018 international symposium on foundations of information and knowledge systems, LNCS 10833. Springer, Berlin, pp 55–76

[12]

Bertossi L (2018) Characterizing causes for query answers in databases via database repairs and their computation through repair programs. Revised and extended version of (Bertossi, 2018), Corr Arxiv Paper arXiv:1712.01001 [cs.DB]

[13]

Bertossi L (2018) Measuring and computing database inconsistency via repairs. In: Proceedings 2018 scalable uncertainty management international conference, LNAI 11142. Springer, Berlin, pp 368–372

[14]

Bertossi L (2019) Repair-based degrees of database inconsistency: computation and complexity. In: Proceedings 2019 international conference on logic programming and non-monotonic reasoning, LNCS 11481. Springer, Berlin, pp 195–209

[15]

Brewka G, Eiter T, and Truszczynski M Answer set programming at a glance Commun ACM 2011 54 12 93-103

[16]

Buccafurri F, Leone N, and Rullo P Enhancing disjunctive datalog by constraints IEEE Trans Knowl Data Eng 2000 12 5 845-860

[17]

Calimeri F, Cozza S, Ianni G (2008) Computable functions in asp: theory and implementation. Proceedings 2008 international conference on logic programming, LNCS 5366. Springer, Berlin, pp 407–424

[18]

Calimeri F, Cozza S, Ianni G (2009) An asp system with functions, lists, and sets. In: Proceedings 2009 international conference on logic programming and non-monotonic reasoning, LNCS 5753. Springer, Berlin, pp 483–489

[19]

Caniupan-Marileo M and Bertossi L The consistency extractor system: answer set programs for consistent query answering in databases Data Knowl Eng 2010 69 6 545-572

[20]

Chockler H and Halpern J Responsibility and blame: a structural-model approach J Artif Intell Res 2004 22 93-115

[21]

Chomicki J and Marcinkowski J Minimal-change integrity maintenance using tuple deletions Inf Comput 2005 197 1–2 90-121

[22]

Chou T and Winslett M A model-based belief revision system J Autom Reason 1994 12 157-208

[23]

Dantsin E, Eiter T, Gottlob G, et al. Complexity and expressive power of logic programming ACM Comput Surv 2001 33 3 374-425

[24]

Eiter T, Gottlob G, and Mannila H Disjunctive datalog ACM Trans Datab Syst 1997 22 3 364-418

[25]

Eiter T, Ianni G, Lukasiewicz T, et al. Combining answer set programming with description logics for the semantic web Artif Intell 2008 172 12–13 1495-1539

[26]

Faber W, Pfeifer G, Leone N, et al. Design and implementation of aggregate functions in the DLV system Theory Pract Log Program 2008 8 5–6 545-580

[27]

Gebser M, Kaminski R, and Schaub T Complex optimization in answer set programming Theory Pract Log Program 2011 11 4–5 821-839

[28]

Gebser M, Kaminski R, Kaufmann B et al (2012) Answer set solving in practice. In: Synthesis lectures on artificial intelligence and machine learning. Morgan & Claypool Publishers, London

[29]

Gelfond M and Kahl Y Knowledge representation and reasoning, and the design of intelligent agents 2014 Cambridge Cambridge University Press

[30]

Halpern J and Pearl J Causes and explanations: a structural-model approach: part 1 Br J Philos Sci 2005 56 843-887

[31]

Leone N, Pfeifer G, Faber W, et al. The DLV system for knowledge representation and reasoning ACM Trans Comput Log 2006 7 3 499-562

[32]

Lloyd J Foundations of logic programming 1987 Berlin Springer

[33]

Lopatenko A, Bertossi L (2007) Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In: Proceedings 2007 international conference on database theory. LNCS 4353. Springer, Berlin, pp 179–193

[34]

Marek V and Truszczynski M Revision programming Theoret Comput Sci 1998 190 2 241-277

[35]

Meliou A, Gatterbauer W, Moore KF et al (2010) The complexity of causality and responsibility for query answers and non-answers. In: Proceedings 2010 very large data bases conference, pp 34–41

[36]

Salimi B, Bertossi L, Suciu D et al (2016) Quantifying causal effects on query answering in databases. In: Proceedings 2016 USENIX workshop on the theory and practice of provenance

[37]

Staworko S, Chomicki J, and Marcinkowski J Prioritized repairing and consistent query answering in relational databases Ann Math Artif Intel 2012 64 2–3 209-246

[38]

Wijsen J Database repairing using updates ACM Trans Datab Syst 2005 30 3 722-768

Cited By

Bertossi LAzua F(2024)The Generalized Causal-Effect Score in Data Management (short paper)Proceedings of the Conference on Governance, Understanding and Integration of Data for Effective and Responsible AI10.1145/3665601.3669843(32-35)Online publication date: 9-Jun-2024
https://dl.acm.org/doi/10.1145/3665601.3669843
Makhija NGatterbauer W(2023)A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP RelaxationsProceedings of the ACM on Management of Data10.1145/36267151:4(1-27)Online publication date: 12-Dec-2023
https://dl.acm.org/doi/10.1145/3626715
Bertossi LKimelfeld BLivshits EMonet M(2023)The Shapley Value in Database ManagementACM SIGMOD Record10.1145/3615952.361595452:2(6-17)Online publication date: 10-Aug-2023
https://dl.acm.org/doi/10.1145/3615952.3615954
Show More Cited By

Index Terms

Specifying and computing causes for query answers in databases via database repairs and repair-programs
1. Information systems
  1. Data management systems
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)
      2. Database query processing and optimization (theory)

Index terms have been assigned to the content through auto-classification.

Recommendations

Database Repairs and Consistent Query Answering: Origins and Further Developments
PODS '19: Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems

In this article we review the main concepts around database repairs and consistent query answering, with emphasis on tracing back the origin, motivation, and early developments. We also describe some research directions that has spun from those main ...
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back

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 ...
Disjunctive databases for representing repairs

This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constraints is considered. We show that, given a database and a set of denial ...

Comments

Information & Contributors

Information

Published In

cover image Knowledge and Information Systems

Knowledge and Information Systems Volume 63, Issue 1

Jan 2021

273 pages

ISSN:0219-1377

Issue’s Table of Contents

© Springer-Verlag London Ltd., part of Springer Nature 2020.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 January 2021

Accepted: 04 October 2020

Revision received: 29 September 2020

Received: 02 March 2019

Author Tags

Qualifiers

Research-article

Funding Sources

Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bertossi LAzua F(2024)The Generalized Causal-Effect Score in Data Management (short paper)Proceedings of the Conference on Governance, Understanding and Integration of Data for Effective and Responsible AI10.1145/3665601.3669843(32-35)Online publication date: 9-Jun-2024
https://dl.acm.org/doi/10.1145/3665601.3669843
Makhija NGatterbauer W(2023)A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP RelaxationsProceedings of the ACM on Management of Data10.1145/36267151:4(1-27)Online publication date: 12-Dec-2023
https://dl.acm.org/doi/10.1145/3626715
Bertossi LKimelfeld BLivshits EMonet M(2023)The Shapley Value in Database ManagementACM SIGMOD Record10.1145/3615952.361595452:2(6-17)Online publication date: 10-Aug-2023
https://dl.acm.org/doi/10.1145/3615952.3615954
Bertossi L(2023)Attribution-Scores in Data Management and Explainable Machine LearningAdvances in Databases and Information Systems10.1007/978-3-031-42914-9_2(16-33)Online publication date: 4-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-42914-9_2
Wang CLiu LSun SWang W(2022)Rethinking the framework constructed by counterfactual functional modelApplied Intelligence10.1007/s10489-022-03161-852:11(12957-12974)Online publication date: 1-Sep-2022
https://dl.acm.org/doi/10.1007/s10489-022-03161-8
Bertossi L(2021)Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual AnalysisReasoning Web. Declarative Artificial Intelligence 10.1007/978-3-030-95481-9_7(145-184)Online publication date: 8-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-95481-9_7

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents