当前位置: X-MOL 学术Knowl. Inf. Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Specifying and computing causes for query answers in databases via database repairs and repair-programs
Knowledge and Information Systems ( IF 2.5 ) Pub Date : 2020-11-03 , DOI: 10.1007/s10115-020-01516-6
Leopoldo Bertossi

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.



中文翻译:

通过数据库修复和修复程序在数据库中指定和计算查询答案的原因

最近在数据库元组之间建立了对应关系,作为数据库中查询答案的原因,并且在拒绝约束方面,基于元组的不一致数据库的修复。在这项工作中,指定数据库修复的答案集程序被用作解决围绕数据库因果关系(包括因果责任)的计算和推理问题的基础。此外,通过诉诸使用空值的基于属性的修复语义,也在属性级别引入了原因。引入了相应的修复程序,并将其用作计算和推理属性级原因的基础。扩展答案集程序,以便在完整性约束下捕获因果关系。

更新日期:2020-11-03
down
wechat
bug