摘要
在基于与给定查询相关的事实与公理的基础上,给出了演绎数据库的一个产生式推理方法.该算法采用自底向上的搜索策略由公理的前提事实产生结论,同时又以自顶向下的方法分析以约束生成的事实集。
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.
出处
《华中理工大学学报》
CSCD
北大核心
1999年第4期9-11,共3页
Journal of Huazhong University of Science and Technology