%0 Journal Article
%T 具有多值约束的广义右线性递归查询的有效计算
%A 范明
%J 科学通报
%P 287-287
%D 1993
%X 本文将右线性递归算法拓广到含多个IDB谓词的广义查询,是文献[3]的对称问题.定义设给定的逻辑程序包含一组涉及IDB谓词p_1,…,p_l的规则,和一个查询目标p~a.其中,a是查询的约束模式,p∈{p_1,…,p_l}.进一步,我们假定所有规则的
%U http://csb.scichina.com:8080/CN/abstract/abstract362342.shtml