关于Datalog$^\neg$的布尔网络理论

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