Jul, 2015

从数据库查询的原因到修复和基于模型的诊断再到返修

PDF
TL;DR本研究旨在探究数据库中查询答案、拒绝约束下数据库修复、基于一致性的诊断之间的关系，并提出了计算实际查询答案的原因及其责任的新问题，然后建立这些问题与超图中的击中集和顶点覆盖的关系，从而产生了若干新的算法和复杂性结论。
发现论文，激发创造
  • 数据库查询结果的原因：Datalog 推理、视图更新和完整性约束

    本研究建立了 QA 因果关系与数据库诊断、维护完整性约束、视图定义更新的联系，研究了限制条件下的诊断算法工具的复杂性，并获得了新的算法工具。

    Nov, 2016

  • 从数据库修复到数据库因果推断和更多

    本文介绍了针对数据库中查询答案的基于分数的解释的一些最新方法，重点介绍了作者及合作者所做的工作，并强调了使用反事实推理进行分数规范和计算的重要性，并展示了几个例子说明了这些方法的灵活性。

    Jun, 2023

  • 关于数据图集合修复问题的复杂度

    研究在使用 Reg-GXPath 表达式作为完整性约束的图形数据库中，基于数据值计算子集和超集的修复问题，发现在正面的 Reg-GXPath 碎片中，这些问题具有多项式时间算法，而语言的完整表现力使它们成为难以处理的问题。

    Jun, 2022

  • 数据图上的首选子集修复的计算复杂性

    使用 Reg-GXPath 表达式作为完整性约束条件，基于优先级算法和多种偏好标准，研究在图数据库中求解半结构化数据之间的关系问题并实现一致的查询回答，同时给出了最低和最高复杂度的紧密上下界。

    Feb, 2024

  • 不一致数据库中的一致查询回答的答案集

    本文介绍了一种基于答案集的逻辑程序设计方法，用于从可能不一致的数据库中检索一致信息并声明持久性和维修更改的例外，特别集中研究实践中发现的二元完整性约束。

    Jul, 2002

  • 带有通用约束的优先数据库中不一致性处理：复杂性分析和与活动完整性约束的关联

    本文针对带有全局约束条件的不一致数据库的修复和查询问题进行了研究。通过对（否定）事实的二元优先关系进行符号差分修复操作，界定出最优修复的概念，并探讨了其计算属性。同时，研究了优先数据库最优修复与主动完整性约束维护的关系，并揭示出了对主动完整性约束行为的一些有益见解。

    Jun, 2023

  • 查询答案和非答案的因果关系和责任的复杂性

    该论文研究了查询的答案和非答案的原因和责任的计算方法以及 P 和 NP 的情况和 LOGPACE 的完整性，并证明了某些查询中的因果关系可以通过关系查询在多项式时间内计算。

    Sep, 2010

  • 修复更新和反事实干预的答案集程序

    本文介绍了各种不同类型的带注释的回答集程序，这些程序用于指定数据库修复和一致查询回答，保密视图和查询评估，数据库因果关系的反事实干预以及机器学习中基于反事实的解释。

    Sep, 2022

  • 在空值存在的情况下语义正确的查询回答

    本文提出了一种在数据库中使用的空值的完整 ICs 满足的精确语义，以及引入空值的修复的概念，最后分析了如何使用稳定模型语义的分离逻辑程序来指定包含空值的数据库的修复。

    Apr, 2006

  • 数据管理与可解释机器学习中的归因分数

    使用实际因果关系来定义数据库中查询答案和机器学习中分类模型的解释性分数，其中包括与数据库修复的有用联系和利用，以及对分类模型中责任分数的扩展和分析。

    Jul, 2023