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标准一致性测试系统。
应用推荐