papers AI Learner
The Github is limit! Click to go to the new site.

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

2019-03-02
Leopoldo Bertossi

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. Several examples with the DLV system are shown.

Abstract (translated by Google)
URL

http://arxiv.org/abs/1712.01001

PDF

http://arxiv.org/pdf/1712.01001


Similar Posts

Comments