演绎数据库系统中推理机的设计与实现  

Design and Implementation of Deductive Machine for a Deductive Database System

作　　者：常晋义[1] 陶世群[2] 郑成增[3] 

机构地区：[1]常熟高等专科学校计算机系,常熟215500 [2]山西大学计算机科学系,太原030006 [3]常州工学院计算机系,常州213021

出　　处：《计算机工程》2002年第11期134-136,共3页Computer Engineering

摘　　要：演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。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.

关 键 词：演绎数据库系统 推理机 设计 递归查询 线性递归逻辑程序 约束模型 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]