分层否定的拓广  

作　　者：陈栋[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室

出　　处：《软件学报》1997年第A00期365-371,共7页Journal of Software

摘　　要：现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的分层否定条件。本文提出的条件放宽了对否定使用的限制，增了逻辑数据语言的表达力。

关 键 词：分层否定 数据模型 演绎数据库系统 数据库 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]