| 演绎数据库中一个有效的推理算法 |
| |
| 引用本文： | 李凡,陈东.演绎数据库中一个有效的推理算法[J].华中科技大学学报(自然科学版),1999,27(4):9-11. |
| |
| 作者姓名： | 李凡 陈东 |
| |
| 作者单位： | 华中理工大学计算机科学与技术学院 |
| |
| 摘 要： | 在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法．该算法采用自底向上的搜索策略由公理的前提事实产生结论，同时又以自顶向下的方法分析以约束生成的事实集，从而得到良好的查询应答搜索效果
|
| 关 键 词： | 演绎数据库 推理 查询 搜索树 |
| 修稿时间： | 1998-11-29. |
An Efficient Reasoning Method in Deductive Databases |
| |
| Li Fan,Chen Dong.An Efficient Reasoning Method in Deductive Databases[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,1999,27(4):9-11. |
| |
| Authors: | Li Fan Chen Dong |
| |
| Institution: | Li Fan Chen Dong |
| |
| Abstract: | A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query. This algorithm can generate the consequent from the antecedent of axioms by taking advantages of search strategy in a bottom up manner, and use a top down analysis of the system in order to restrict sets of generated fact, gaining an effective search result of query. |
| |
| Keywords: | deductive databases inference query search tree |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
