| 一种求解递归规则的有效算法 |
| |
| 引用本文： | 霍纬纲,肖元枝.一种求解递归规则的有效算法[J].中国民航学院学报,2005,23(2):22-26. |
| |
| 作者姓名： | 霍纬纲 肖元枝 |
| |
| 作者单位： | 中国民用航空学院计算机科学与技术学院 天津300300
(霍纬纲)，中国民用航空学院计算机科学与技术学院 天津300300(肖元枝) |
| |
| 摘 要： | 研究了一种求解包含一个IDB谓词线性递归程序的算法，该算法由规则间的相关性对逻辑程序进行分解，减少IDB谓词项的个数，然后再对分解后的子程序进行魔转换。并提出了对该算法的进一步优化方案。最后对算法中引入的ID号做了开销分析。
|
| 关 键 词： | 演绎数据库 魔集转换 Datalog 查询优化 |
| 文章编号： | 1001-5000(2005)02-0022-05 |
| 修稿时间： | 2004年11月24 |
Effective Algorithm of Solving Recursive Rule |
| |
| HUO Wei-gang,XIAO Yuan-zhi.Effective Algorithm of Solving Recursive Rule[J].Journal of Civil Aviation University of China,2005,23(2):22-26. |
| |
| Authors: | HUO Wei-gang XIAO Yuan-zhi |
| |
| Abstract: | An effective algorithm is applicable to program including one IDB predicates. It decomposes the logic program according to relativities of rules and reduces the number of IDB predicates. Then magic transformation is applied to sub-program. A proposal to optimize the method is put forward. The cost of ID introduced in the algorithm is analyzed. |
| |
| Keywords: | deductive database magic transformation Datalog query optimization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
