首页> 中文期刊> 《软件学报》 >知识库系统KBASE中的规则规范化理论

知识库系统KBASE中的规则规范化理论

         

摘要

cqvip:本文对一个建立在关系数据库INGRES上的知识库系统—KBASE作了简要介绍。该系统采用由用户给出查询模式,系统将查询模式编译成关系代数操作树(RAP树)的新而高效的查询计值方法。在介绍了整个系统的结构和推理模型的基础上,文章着重讨论了规则规范化理论,提出了三种范式的定义、转换方法及优良性质。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号