演绎数据库中一个有效的推理算法

An Efficient Reasoning Method in Deductive Databases

在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法．该算法采用自底向上的搜索策略由公理的前提事实产生结论，同时又以自顶向下的方法分析以约束生成的事实集。

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.