arXiv:2605.03954cs.DBcs.AI2026-05中稿 · the Knowledge Engi…

将不一致数据库修复与论证框架关联,揭示修复结果与论证扩展的对应关系。

Inconsistent Databases and Argumentation Frameworks with Collective Attacks

  • 引入集合攻击论证框架(SETAF),处理依赖约束下的数据库修复问题。
  • 在局部视图生成依赖下,修复结果对应论证框架的偏好扩展。
  • 对特定依赖可简化为普通论证框架,无需集合攻击,适合逻辑推理研究者。

最近,涉及多种完整性约束的不一致数据库的子集最大修复与论证框架中可接受论证集之间的联系受到关注。本文在包含否定约束和局部视图生成依赖的完整性约束下,建立了新的联系。结果表明,需要使用集合攻击论证框架(SETAFs),这是对Dung论证框架(AFs)的扩展,支持集体攻击。已知在否定约束下,子集最大修复对应于朴素扩展,且在相应的SETAFs中也与偏好扩展和稳定扩展一致。本文主要发现:在所考虑的生成依赖片段下,修复结果对应于偏好扩展。此外,对于这些依赖,额外预处理可计算出唯一同时为稳定和朴素的扩展。当同时允许两类约束时,此关系被破坏,即使预处理也无法恢复,只有偏好语义能捕捉这些修复。最后,尽管已知函数依赖无需集合攻击,我们证明了包含依赖同样如此。因此,在这些受限类别的完整性约束下,不一致数据库可转化为仅含个体攻击的普通论证框架。

原文摘要 · Abstract (English)

The connection between subset-maximal repairs for inconsistent databases involving various integrity constraints and acceptable sets of arguments within argumentation frameworks has recently drawn growing interest. In this paper, we contribute to this domain by establishing a new connection when integrity constraints (ICs) include denial constraints and local-as-view tuple-generating dependencies. It turns out that SET-based Argumentation Frameworks (SETAFs), an extension of Dung's argumentation frameworks (AFs) allowing collective attacks, are needed. It is known that subset-maximal repairs under denial constraints correspond to the naive extensions, which also coincide with the preferred and stable extensions in the resulting SETAFs. Our main findings establish that repairs under the considered fragment of tuple-generating dependencies correspond to the preferred extensions. Moreover, for these dependencies, additional preprocessing allows computing a unique extension that is stable and naive. Allowing both types of constraints breaks this relationship, and even the pre-processing does not help as only preferred semantics captures these repairs. Finally, while it is known that functional dependencies do not require set-based attacks, we prove the same regarding inclusion dependencies. Thus, one can translate inconsistent databases under these restricted classes of ICs to plain AFs with attacks only between arguments.

数据库修复论证框架逻辑推理完整性约束

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。