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

作　　者：范明[1] 

机构地区：[1]郑州大学计算机科学系,郑州450052

出　　处：《科学通报》1993年第3期287-288,共2页Chinese Science Bulletin

基　　金：河南省自然科学基金

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

关 键 词：右线性递归 广义 查询 谓词 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]