分层否定的拓广 |
| |
引用本文: | 陈栋.分层否定的拓广[J].软件学报,1997,8(A00):365-371. |
| |
作者姓名: | 陈栋 |
| |
摘 要: | 现有的演绎数据库系统如LDL,Nail!CORAL等都采用分层的否定,以确保能计算出程序的完美不动点,事实上,否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下,提出了拓广的分层否定条件。本文提出的条件放宽了对否定使用的限制,增了逻辑数据语言的表达力。
|
关 键 词: | 分层否定 数据模型 演绎数据库系统 数据库 |
本文献已被 维普 等数据库收录! |
|