Our approach is based on an extended relational calculus, and reduces the consistency problem to a satisfiability problem of relational formulae.
该方法以扩展的关系逻辑为语义基础，把一致性问题归结为关系逻辑公式的可满足性问题。
Based on this model, this paper constructs two different kinds of medium relational database query languages: medium relational calculus and medium relational algebra.
给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言：中介关系演算和中介关系代数。
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。
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。
应用推荐