关系演算是以数理逻辑中的谓词演算为基础的。以谓词演算为基础的查询语言称为关系演算语言。用谓词演算作为数据库查询语言的思想最早见于Kuhns的论文。把谓词演算用于关系数据库语(即关系演算的概念)是出E.F.Codd提出来的。
域关系演算是以域为变量进行的关系演算。
本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统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.
给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言：中介关系演算和中介关系代数。
Based on this model, this paper constructs two different kinds of medium relational database query languages: medium relational calculus and medium relational algebra.
应用推荐