%0 Journal Article
%T 拓广的左线性递仅变换算法及其正确性
%A 范明
%J -
%D 1994
%X 本文给出拓广的左线性递归变换算法并证明其正确性．拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化．和左线性递归计算算法一样，本文提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则．算法的有效性也在本文作简略讨论
%K 演绎数据库 查询处理 线性递归 左线性递归
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19940110&flag=1