| 演绎数据库系统中推理机的设计与实现 |
| |
| 引用本文： | 常晋义,陶世群,郑成增. 演绎数据库系统中推理机的设计与实现[J]. 计算机工程, 2002, 28(11): 134-136 |
| |
| 作者姓名： | 常晋义 陶世群 郑成增 |
| |
| 作者单位： | 常熟高等专科学校计算机系,常熟,215500;山西大学计算机科学系,太原,030006;常州工学院计算机系,常州,213021 |
| |
| 摘 要： | 演绎推理是有效实现演绎数据库系统的关键与核心,该文针对一种结构合理的演绎数据库系统的设计方案,介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术,并对推理机的运行机制进行了分析。
|
| 关 键 词： | 演绎数据库 推理机 递归查询 线性递归逻辑程序 约束模型 |
| 文章编号： | 1000-3428(2002)11-0134-03 |
| 修稿时间： | 2002-06-13 |
Design and Implementation of Deductive Machine for a Deductive Database System |
| |
| CHANG Jinyi,TAO Shiqun,ZHENG Chengzeng. Design and Implementation of Deductive Machine for a Deductive Database System[J]. Computer Engineering, 2002, 28(11): 134-136 |
| |
| Authors: | CHANG Jinyi TAO Shiqun ZHENG Chengzeng |
| |
| Affiliation: | CHANG Jinyi1,TAO Shiqun2,ZHENG Chengzeng3 |
| |
| 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. |
| |
| Keywords: | Deductive database Deductive machine Recursive query Linear recursive logic program Constrain model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
