We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Databases

Title: Specifying and Computing Causes for Query Answers in Databases via Database Repairs and Repair Programs

Abstract: A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes. Here, causes are also introduced at the attribute level by appealing to a both null-based and attribute-based repair semantics. The corresponding repair programs are presented, and they are used as a basis for computation and reasoning about attribute-level causes. They are extended to deal with the case of causality under integrity constraints.
Comments: To appear in "Knowledge and Information Systems" journal. This is the final version, and a much revised, corrected and extended version of: Bertossi, L. "Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs". Proc. FoIKs, 2018, Springer LNCS 10833, pp. 55-76
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Cite as: arXiv:1712.01001 [cs.DB]
  (or arXiv:1712.01001v7 [cs.DB] for this version)

Submission history

From: Leopoldo Bertossi [view email]
[v1] Mon, 4 Dec 2017 11:00:38 GMT (33kb)
[v2] Mon, 5 Mar 2018 00:16:47 GMT (34kb)
[v3] Wed, 4 Apr 2018 21:38:17 GMT (34kb)
[v4] Fri, 4 Jan 2019 16:12:27 GMT (222kb,D)
[v5] Sat, 2 Mar 2019 22:07:45 GMT (240kb,D)
[v6] Fri, 24 Jul 2020 22:50:14 GMT (241kb,D)
[v7] Mon, 28 Sep 2020 19:26:52 GMT (241kb,D)

Link back to: arXiv, form interface, contact.