论文部分内容阅读
该文对一个建立在关系数据库上面的知识库系统——DBase作了简要介绍。该系统采用由用户给出查询模式,系统将查询模式编译成关系代数操作树(RAP树)的新颖而高效的查询计值方法。系统的查询语言分成KBaseO,KBase1,KBase2三种级别,在介绍了整个系统的结构和推理模型的基础上,文章着重讨论了将规则规范化的理论,提出了四种范式的定义,转换方法及其优点。(本刊录)