期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
拓广的左线性递仅变换算法及其正确性 被引量:2
1
作者 范明 《软件学报》 EI CSCD 北大核心 1994年第1期56-61,共6页
本文给出拓广的左线性递归变换算法并证明其正确性.拓广的左线性递归中可以包含一个或多个IDB谓词,它是左线性递归的一般化.和左线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法... 本文给出拓广的左线性递归变换算法并证明其正确性.拓广的左线性递归中可以包含一个或多个IDB谓词,它是左线性递归的一般化.和左线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性也在本文作简略讨论. 展开更多
关键词 演绎数据库 线性递归 左线性递归
下载PDF
Efficient Evaluation of Generalized Left-linear Recursive Queries With Multivalue Binding Sets
2
作者 范明 《Chinese Science Bulletin》 SCIE EI CAS 1993年第9期764-768,共5页
The left-linear transformation presented by Ullman, Naughton el al. is a rule-rewriting algorithm, which is similar to the magic sets transformation. Since left-linear recursions are among the most common recursions i... The left-linear transformation presented by Ullman, Naughton el al. is a rule-rewriting algorithm, which is similar to the magic sets transformation. Since left-linear recursions are among the most common recursions in practice and the transformed rules can be evaluated bottom-up efficiently, the left-linear transformation has been chosen as one of the best strategies for recursive query processing by the NALL! system at Stanford and the LDL system at MCC. However, there are two strick restraints for the left-linear 展开更多
关键词 deductive database optimation for RECURSIVE QUERIES linear recursion generalized left-linear recursion
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部