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

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