元组关系演算表达式.docxVIP

元组关系演算表达式 元组演算是埃德加?科德导入的演算，是关系模型的一部分，发展目 的是提供宣告式的数据库查询语言。数据库查询语言QUEL和后来的SQL 中的一些灵感是由元组演算而来。SQL和原来的关系模型和演算已有许多 不同，后来成为实际上的数据库查询语言标准，几乎所有的关系数据库管 理系统中都会用到SQL或是其变体。后来Lacroix和Pirotte提出了接近 于一阶逻辑的域演算，并证明了这两种演算和关系代数在表达能力上是等 价的。若关系数据库的查询语言可以表达一种以上上述的查询方式，则可 称为具有〃关系完备性〃。 域关系演算与元组关系演算最大的区别是域关系演算中的变量表示数 据库的表属性，而元组关系演算的变量表示元组，即数据库的一行。 元组演算表达式 在元组关系演算系统中，称｛t[①(t)｝为元组演算表达式。其中t是 元组变量，①(t)为元组关系演算公式，简称公式。它由原子公式和运算 符组成。 R(t) ： R是关系名，t是元组变量。R(t)表示t是R中的元 组。于是，关系R可表示为：｛t|R(t)｝ t[i] 9 u[j]：t和u是元组变量，e是算术比较运算符。t[i] 0 u[j]表示断言“元组t的第i个分量与元组u的第j个分量满 足比较关系0 o例如，t[2] u[3]表示元组t的第2个分量小 于元组u的第3个分量。 t[i]。c或c。t[i]：这里c是常量，该公式表