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

作　　者：范明[1] 

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

出　　处：《科学通报》1992年第14期1336-1339,共4页Chinese Science Bulletin

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

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

关 键 词：演绎数据库 递归查询优化 线性递归 

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