The deductive database is a combined product of artificial intelligence and database, which possesses functions of data processing and logical inference.
演绎数据库是人工智能与数据库技术结合的产物，它具有数据处理及逻辑推理功能。
This paper introduces an approach to semantic query optimization in deductive database.
本文介绍在演绎数据库中语义查询优化方法。
Logic programming language HPROLOG is a prolog-like language. It is mainly a deductive database query language.
逻辑程序设计语言hprolog是一种类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系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。
The two-level deductive database is the amalgamation of a conventional database system and a PROLOG system, which is divided into two levels, the database level and the logic program level.
二级推理数据库是传统的数据库系统和PROLOG系统的结合，它可分为二级：数据库级及逻辑程序级。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
应用推荐