Jun, 2023

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

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

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

    Feb, 2024

  • 使用 ORBITS 查询不一致的优先数据：算法、实现和实验

    该研究探讨了一种能容忍不一致性的查询回答算法，依据逻辑理论、事实集和冲突事实间的优先关系构建知识库，并提出了一种新的基于 SAT 求解器的编码模式，能够应用在不同推理模式下实现查询回答。

    Feb, 2022

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

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

    Jun, 2022

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

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

    Jul, 2002

  • 使用元组删除进行最小更改完整性维护

    研究了关系数据库中完整性约束的最小变化完整性维护问题，主要涉及最小变化完整性维护的计算复杂度和其可行性，阐述了完整性执行机制的内在局限性。

    Dec, 2002

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

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

    Apr, 2006

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

    本研究旨在探究数据库中查询答案、拒绝约束下数据库修复、基于一致性的诊断之间的关系，并提出了计算实际查询答案的原因及其责任的新问题，然后建立这些问题与超图中的击中集和顶点覆盖的关系，从而产生了若干新的算法和复杂性结论。

    Jul, 2015

  • 数据库查询结果的原因：Datalog 推理、视图更新和完整性约束

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

    Nov, 2016

  • 存在规则下的元组删除语义一致的查询答案

    研究使用存在规则表示的知识库中的一致查询回答。具体地，建立了一般类别的消解存在规则和多个子类（无环、线性、全面、守卫、粘滞）下的一致查询回答和修复检查的数据复杂性（元组删除语义）。特别是，鉴定了几种情况下问题可处理或甚至是一阶可重写的，并提出了新的查询重写技术，可作为实际的容忍不一致查询回答系统的基础。

    Jan, 2024

  • 检查推理数据库中的完整性约束

    该研究从逻辑编程角度探讨了基于 SLDNF 证明树的完整性约束操作，定义了一种证明树的数据结构，确定了改变知识库时影响完整性约束的最小条件集。同时，利用此结构可以降低搜索时间和减少工作量。

    Mar, 2023