论文部分内容阅读
纯Datalog的唯一模型中定理在Datalog-Not程序中不成立,因此,在Dtalog-Not程序的的有Herbrand模型中,必须有一种模型的选择标准来确定程序的语义,完美模型关系是一种合理的选择标准,然而,由于完美模型的复杂性阻止子它的发展,本文分析了完美模型,通过有向图,给出了完美模型的充要条件,并且给出构造算法及其正确性证明,本文得到的结果是,对任一自反有向图G,都能构造一个Datal