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

Ullman及Naughton等提出的左线性变换是一种类似于魔集变换的规则改写算法。由于左线性递归是实践中最常见的递归类型之一,并且变换后的规则的自底向上处理相当有效,因此左线性变换已被斯坦福大学的NAIL!系统。