| 摘要: |
| 本文对一个建立在关系数据库INGRES上的知识库系统—KBASE作了简要介绍。该系统采用由用户给出查询模式,系统将查询模式编译成关系代数操作树(RAP树)的新而高效的查询计值方法。在介绍了整个系统的结构和推理模型的基础上,文章着重讨论了规则规范化理论,提出了三种范式的定义、转换方法及优良性质。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| RULE NORMALIZATION THEORY IN KNOWLEDGE BASE SYSTEM KBASE |
|
Ma Xueqiang,Shi Baile
|
| Abstract: |
| In this paper we provides an overview of KBASE ?a knowledge base system supported by a relational database management system. It follows a safe and efficient query-evaluation approach of compiling the query-patterns given by the user into Relational Algebraic Processing (RAP) trees. After the whole architecture and the inferrence mechanisms of KBASE is presented, we describes thoroughly the rule normalization technique used in KBASE. Three kinds of normal form are clarified. The transformation algorithms and good properties of each kind of normal form are also given. |
| Key words: |
