本文介绍在演绎数据库中语义查询优化方法。
This paper introduces an approach to semantic query optimization in deductive database.
这种程序设计语言不仅可用在关系数据库系统中还可用在演绎数据库中。
This programming language can be used not only for RDBMS but also for DDES.
演绎数据库是人工智能与数据库技术结合的产物，它具有数据处理及逻辑推理功能。
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.
重点突出了演绎数据库的基本结构，它由存储事实的外延数据库、存储规则的内涵数据库和推理机构所组成，在功能上三者缺一不可。
Deductive database consists of external database that stores the facts and internal database that stores the rules and the deductive configure, it doesn't work without each other.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。
Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。
Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
应用推荐