文献检索-宁波市创意产业特色资源库

限定检索结果

完美模型的充要条件及其结构分析: 收藏
分享
引用; 《软件学报》1996年第12期7卷 728-734页; 作者：黄东斌李磊广州市电信局科技处中山大学岭南学院软件研究所; 纯Ｄａｔａｌｏｇ的唯一模型定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄａｔａｌｏｇ－Ｎｏｔ程序的所有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义．完美模型关系是一种合理的选择标准．然而，由...; 纯Ｄａｔａｌｏｇ的唯一模型定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄａｔａｌｏｇ－Ｎｏｔ程序的所有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义．完美模型关系是一种合理的选择标准．然而，由于完美模型的复杂性阻止了它的发展．本文分析了完美模型，通过有向图，给出了有完美模型的充要条件，并且给出构造算法及其正确性证明．本文得到的结果是：对任一自反有向图Ｇ，都能构造一个Ｄａｔａｌｏｇ－Ｎｏｔ程序Ｐ。; 来源：详细信息评论

限定检索结果