%0 Journal Article
%T 知识库系统kbase中的规则规范化理论
%A 马学强？
%A 施伯乐？
%J 软件学报
%P 40-47
%D 1990
%X 本文对一个建立在关系数据库ingres上的知识库系统—kbase作了简要介绍。该系统采用由用户给出查询模式,系统将查询模式编译成关系代数操作树(rap树)的新而高效的查询计值方法。在介绍了整个系统的结构和推理模型的基础上,文章着重讨论了规则规范化理论,提出了三种范式的定义、转换方法及优良性质。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19900404&flag=1