| 一种演绎数据库系统的设计与实现 |
| |
| 引用本文： | 常晋义, 陶世群, 邓超. 一种演绎数据库系统的设计与实现[J]. 北京工业大学学报, 2004, 30(4): 505-509. |
| |
| 作者姓名： | 常晋义 陶世群 邓超 |
| |
| 作者单位： | 常熟理工学院计算机科学与工程系,江苏,常熟,215500;山西大学计算机科学系,太原,030006 |
| |
| 基金项目： | 江苏省教育厅自然科学基金 |
| |
| 摘 要： | 为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.
|
| 关 键 词： | 演绎数据库 推理机 递归查询 规则集 完整性维护 |
| 文章编号： | 0254-0037(2004)04-0505-05 |
| 收稿时间： | 2003-07-02 |
| 修稿时间： | 2003-07-02 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京工业大学学报》浏览原始摘要信息 |
|
点击此处可从《北京工业大学学报》下载免费的PDF全文 |
|
