%0 Journal Article
%T 带否定的datalog的语义的不动点特性
%A 周傲英？
%A 施伯乐？
%J 软件学报
%P 257-264
%D 1995
%X 带否定子目标的ｄａｔａｌｏｇ（称为ｄａｔａｌｏｇ~）是ｄａｔａｌｏｇ的一种扩充．本文研究ｄａｔａｌｏｇ~语义的良基模型的不动点特性．首先，重新考察了稳定性变换，定义了新算子及其不动点．在此基础上，定义了振荡不动点模型论语义．然后，本文证明了振荡不动点模型和良基模型是等同的，说明前者可以看作是后者的构造性定义．
%K 否定
%K datalog
%K 模型论语义
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19950501&flag=1