检查推理数据库中的完整性约束
本文介绍了一种基于答案集的逻辑程序设计方法，用于从可能不一致的数据库中检索一致信息并声明持久性和维修更改的例外，特别集中研究实践中发现的二元完整性约束。
Jul, 2002
本研究建立了 QA 因果关系与数据库诊断、维护完整性约束、视图定义更新的联系，研究了限制条件下的诊断算法工具的复杂性，并获得了新的算法工具。
Nov, 2016
本文介绍了一个名为 DLV$^{DB}$ 的新系统，该系统旨在解决推理海量数据时存在的主存限制，外部数据库管理系统的互动不易等问题，并在比较逻辑推理和数据库的几个先前的系统（LDL ++，XSB，Smodels 和三个顶级商业 DBMS）的实验分析中获得了显着的效能优势。
Apr, 2007
本文针对带有全局约束条件的不一致数据库的修复和查询问题进行了研究。通过对（否定）事实的二元优先关系进行符号差分修复操作，界定出最优修复的概念，并探讨了其计算属性。同时，研究了优先数据库最优修复与主动完整性约束维护的关系，并揭示出了对主动完整性约束行为的一些有益见解。
Jun, 2023
本文通过五个方面来深入系统地研究原始 DL-Lite 逻辑的扩展中的推理，分别是添加布尔连接符和数字限制到概念构造中，允许角色层次结构，允许角色的互斥、对称性、非对称性、自反性、反自反性和传递性约束，并接受或放弃同一性假设，同时分析了语言的可满足复杂性，验证数据复杂性和回答反面存在性查询的数据复杂性。
Jan, 2014
使用约束逻辑编程 (CL) 对 SQL 查询进行建模，通过关注语义属性来对数据无关的抽象层进行建模，以发现可能存在的错误。该方法使用不同的约束域，这些约束域映射到 SQL 类型，并提出它们协作以提高准确性，最终我们获得一个包括 SQL 和 Datalog 的演绎系统并在课堂上实现它，和其他方法相比，表现出巨大的优势和差异，并展示其性能数据。
Jul, 2019