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

Design and Implementation of a Deductive Database System

作　　者：常晋义[1] 陶世群[2] 邓超[2] 

机构地区：[1]常熟理工学院计算机科学与工程系,江苏常熟215500 [2]山西大学计算机科学系,太原030006

出　　处：《北京工业大学学报》2004年第4期505-509,共5页Journal of Beijing University of Technology

基　　金：江苏省教育厅自然科学基金资助项目(00KJD520007).

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

关 键 词：演绎数据库 推理机 递归查询 规则集 完整性维护 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]