演绎数据库系统SD-DDBS的设计与实现

主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。

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

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

一个线性递归查询算法的设计与实现

旨在解决在演绎数据库中,如何利用递归规则进行递归查询的问题。介绍了一个线性递归查询算法的基本思想,阐述了该算法的设计与具体实现,包括算法采用的数据结构、程序中各功能模块的功能,对算法进行了分析。