演绎数据库是人工智能与数据库技术结合的产物，它具有数据处理及逻辑推理功能。
The deductive database is a combined product of artificial intelligence and database, which possesses functions of data processing and logical inference.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法。
A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query.
应用推荐