A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query.

• 在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法。