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

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

Design and Implementation of a Deductive Database System

In order to construct high-powered deductive database system, the authors present a design scheme to construct a deductive database system based on SQL server relationship database and adding a rule process layer on it. The system is composed of language analysis unit, rule management, agreement maintenance unit and recursion query reasoning machine, etc. Whether the design thought of rule maintenance unit, the algorithm of maintaining integrity and some resolution schemes to the key problems, or the design principle of reasoning machine which can realize recursion query, the algorithm of recursion query and its optimization technology during its realization are all discussed detailedly. Rule reasoning can deduce unknown information from known fact. Integrity maintenance is used to express all kinds of restriction relationship between rules so that in coordinated or in compatible information can be avoided. The reasoning module can implement deductive reasoning function correctly. Particularly it is effective to realize linear recursion query.