本研究解决了Datalog$^\neg$在处理偶环和奇环时模型理论的关键问题。通过建立Datalog$^\neg$与布尔网络理论的形式联系，本文证明了在特定条件下稳定模型和常规模型之间的一致性以及稳定部分模型的唯一性。研究的主要发现指出，Datalog$^\neg$程序的模型数上界与其原子依赖图的反馈顶点集的基数相关，为进一步的研究提供了新的视角与方法。

本研究首次明确了带有线性时态逻辑LTL运算符的Datalog查询的数据复杂性，结果显示LogSpace为PSpace完全，而AC0、ACC0和NC1的判断可在ExpSpace中完成，揭示了复杂查询的可计算性边界。

神经符号人工智能领域的主要挑战之一是在神经和符号数据的存在下进行逻辑推理。本文通过将模糊 Datalog 的存在性规则推广到模糊设置，允许使用任意 t - 范数，在保持计算复杂度结果和已建立的推理技术适用性的同时，允许对与不确定度相关的数据进行推理。

本文研究了本体基础数据查询的不同类别，包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。研究结果包括三个方面，首先用不相交的 Datalog 片段来表达了本体中介查询的表达能力。其次，本体中介查询与约束满足问题（CSP）及其逻辑泛化 MMSNP 公式有密切联系。最后，利用这些联系得出了有关本体中介查询的新结果，如 i）本体中介查询的一阶重写和 Datalog 重写，ii）本体中介查询的 P / NP 二分法，以及 iii）本体中介查询的查询包容性问题。

这篇博客介绍了我在Postgres开源数据库上的工作，以及在Planet PostgreSQL上的发布。PgLife是一个监控Postgres社区活动的工具。其中一篇邮件列表讨论了sql查询语言的实用性，提到了Datalog作为替代语言。总的来说，学习sql比学习其他编程语言更有价值，因为它在数据存储方面非常强大。