具有多值约束的广义右线性递归查询的有效计算

本文将右线性递归算法拓广到含多个IDB谓词的广义查询,是文献[3]的对称问题.定义设给定的逻辑程序包含一组涉及IDB谓词p_1,…,p_l的规则,和一个查询目标p~a.其中,a是查询的约束模式,p∈{p_1,…,p_l}.进一步,我们假定所有规则的