Based on the relational knowledge model, the knowledge base management system GKBMS is introduced in this paper. GKBMS combines predicate calculus with relational calculus.
本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统GKBMS。
NT1 is a conformance test system based on the knowledge base for the relational database SQL language standard.
NT 1是基于知积库的关系数据库sql标准一致性测试系统。
The structure of knowledge base is build by the database of relational data model. In order to add rules and delete reduplicate rules, knowledge base has the function of addition, deletion and so on.
本文采用了基于规则的知识表示方法，并采用了关系型数据库建立本系统的知识库，知识库具有添加、删除等功能，实现规则的增加及重复规则的删除。
应用推荐