分层否定的拓广
作者机构：南京大学计算机软件新技术国家重点实验室
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：1997年第8卷第A期
页 面：365-371页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)]
摘 要：现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的分层否定条件。本文提出的条件放宽了对否定使用的限制，增了逻辑数据语言的表达力。
维普期刊数据库