论文部分内容阅读
本文对一个建立在关系数据库INGRES上的知识库系统—KBASE作了简要介绍。该系统采用由用户给出查询模式,系统将查询模式编译成关系代数操作树(RAP树)的新而高效的查询计值方法。在介绍了整个系统的结构和推理模型的基础上,文章着重讨论了规则规范化理论,提出了三种范式的定义、转换方法及优良性质。
知识库系统KBASE中的规则规范化理论
【摘 要】
：
本文对一个建立在关系数据库INGRES上的知识库系统—KBASE作了简要介绍。该系统采用由用户给出查询模式,系统将查询模式编译成关系代数操作树(RAP树)的新而高效的查询计值方
【机 构】
：
复旦大学,复旦大学
【出 处】
：
软件学报
【发表日期】
：
1990年4期
其他文献
我国目前暂无标准化的就医流程，现行的就医流程是以医院为中心的自模式，即病人到门诊→排队→挂号→候诊→就诊→划价→缴费→候检→检查→再就诊→再划价→再缴费→取药→治疗
邯郸市为完成“七五”规划中提出计划免疫的两个85％的指标,于1985年7月1日起由卫生局、公安局、粮食局、教委及妇联等联合制定了《凭预防接种证办理户口、粮食、入托、入学》
本文分析了网络环境下期刊工作的新特点，探讨了网络环境下西藏高校期刊文献存在的问题，提出要充分认识期刊在西藏高校数学科研中的作用，重视期刊网络文献资源建设、加强对期刊管
同志们：中央近日召开了省区市和中央部门主要负责同志会议。胡锦涛、温家宝同志在会上作了重要讲话。正如锦涛同志在讲话开始时指出的，这次会议，是在国际国内形势出现不少新的复
目的分析老年X（60岁以上）肺炎的临床特点。方法回顾性分析我院2002年10月-2009年2月收住的46例老年人肺炎患者的临床资料。结果老年人肺炎特点是冬春季好发，临床症状不典型，合并
在中职电子商务专业课教学中,存在学生学习动力不足、教师企业实践经验缺乏、实践环节和模拟软件欠缺等问题。本文就以当前中职电子商务教学中存在的问题进行分析,以在"优优
导尿术是在严格无菌操作下，将导尿管经尿道插入膀胱引出尿液的方法，是解决患者不能自行排尿致导致尿潴留的基本方法。笔者在临床上总结出一经验，改良了拔尿管的方法，取得满意的效
链霉素肌肉注射是肺结核涂阳者常用的治疗方法之一，由于链霉素肌肉注射时间长，多次注射后对局部肌肉刺激，引起吸收不良，药物蓄积而导致臀部注射部位酸痛肿胀，最后出现硬结。这不仅
为了研究Non—1NF关系模型G.M.,Kuper提出了LPS语言,基于这种语言,本文给出了用最一般合一描述的程序的过程语义,并用解释方法实现了该语言。更多还原
随着社会经济的不断发展,知识的更新越来越快。在新课改背景下,以学生为主体,更注重培养学生学习能力的自主学习型教学方法被不断探索,并形成了较为有效的一种模式。本文通过