%0 Journal Article
%T datalog程序的组及其应用
%A 王云明？
%A 施伯乐？
%J 软件学报
%P 641-646
%D 1997
%X 为了提高datalog程序自底向上计值的效率，本文提出了把datalog规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制datalog程序自底向上计值时对规则的调度，从而提高计算效率．这一技术可以应用于传统的各种自底向上计算方法，本文绘出了半朴质（semi-naove）算法和良基模型（well-founded）的交替不动点算法（alternatingfixpoint）的改进．改进后的算法比原算法在时间和空间效率上都有较大的提高．
%K datalog程序
%K 增广依赖图
%K 组
%K 拓扑序列
%K 激发序列
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970901&flag=1