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

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

本文研究了模型理论中的规则语言特性及其复杂度，探讨了神经符号AI的结合与推理方法，提出了Datalog的扩展形式及其应用，分析了不完整知识图谱的查询框架，并介绍了时态推理数据库和新的逻辑语言，旨在提高模型的可解释性和推理能力。

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

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