Feb, 2022

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

PDF
TL;DR该研究探讨了一种能容忍不一致性的查询回答算法，依据逻辑理论、事实集和冲突事实间的优先关系构建知识库，并提出了一种新的基于 SAT 求解器的编码模式，能够应用在不同推理模式下实现查询回答。
inconsistency-tolerant query answeringknowledge basespriority relationsat-based proceduresrepair-based semantics
发现论文，激发创造
  • 带有通用约束的优先数据库中不一致性处理：复杂性分析和与活动完整性约束的关联

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

    Jun, 2023

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

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

    Feb, 2024

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

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

    Jun, 2022

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

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

    Jan, 2024

  • 利用不确定性查询不一致的描述逻辑知识库

    本文研究了利用概率语义来处理 Description Logics Knowledge Bases 中的不一致性问题，使之能够在查询时处理不一致的 KBs，且与传统的修复语义进行了比较。

    Jun, 2023

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

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

    Apr, 2006

  • SPARQL 查询优化基础

    该论文探讨了 SPARQL 查询优化的基础，并提出了一组代数查询重写规则，在约束优化的基础上提出了一种基于 Chase 程序的框架，通过该框架可以使更多的联结式和 SPARQL 查询适合于基于约束的优化。

    Dec, 2008

  • 点对点数据交换系统中的一致性和信任

    本文提出并研究了一种语义，用于描述 ' 点对点数据交换系统 '，其中不同的点通过数据交换约束和信任关系相互关联。借助我们引入和研究的数据修复语义，将这两个元素与点站点的数据和本地完整性约束相兼容。通过逻辑程序的稳定模型语义指定解决方案实例，据此演示了逻辑程序可以用于指定解决方案实例等问题。此外，还介绍了基于 SQL 数据库中使用的空值的修复语义，并且还可用于对单个数据库进行完整性约束的修复，定义了称为 ' 点一致答案 ' 的向查询的正确答案。

    Jun, 2016

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

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

    Jul, 2002

  • SAT-Based 和 ASP-Based 算法在不一致性度量中的比较

    本文研究了基于 SAT 求解和 ASP 的算法，用于解决确定命题知识库不一致度的问题，并考虑到六种不一致度测量标准。在广泛的实验分析中，我们将基于 SAT 和 ASP 的方法与一组基础算法进行比较，结果表明，在所有六种不一致度测量标准方面，提出的基于 ASP 的方法明显优于 SAT，并且已经执行了详细的实验来解释这些结果。

    Apr, 2023