摘要： 演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。
关键词:
演绎数据库,
推理机,
递归查询,
线性递归逻辑程序,
约束模型
Abstract: Deduction is the key for realizing deductive database system effectively. Aiming at the design of a deductive database system with reasonable structure, design theory and the optimization technology of the deductive machine with answers recursive query is introduced, and the performance of the deductive machine is analysed.
中图分类号:
常晋义,陶世群,郑成增. 演绎数据库系统中推理机的设计与实现[J]. , 2002, 28(11): 142-144.
CHANG Jinyi1, TAO Shiqun2, ZHENG Chengzeng3. Design and Implementation of Deductive Machine for a Deductive Database System[J]. , 2002, 28(11): 142-144.