一种演绎数据库系统的设计与实现

• 作者: 常晋义 邓超 陶世群
• 来源期刊: 北京工业大学学报
• 学科: 工学
• 关键词: 演绎数据库 推理机 递归查询 规则集 完整性维护
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 计算机科学
• 页码范围: 505-509
• 页数: 5页
• 分类号: TP311
• 字数: 3551字
• 语种: 中文
• DOI: 10.3969/j.issn.0254-0037.2004.04.025

摘要

为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SQL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陶世群	山西大学计算机科学系	58	459	11.0	19.0
2	常晋义	常熟理工学院计算机科学与工程系	88	429	12.0	16.0
3	邓超	山西大学计算机科学系	1	5	1.0	1.0