a)R(t)其中： R表示一个关系名，t是元组 变量。 ·R(t)表示如下命题： ‘t是关系R的一个元组’，这里R是 个谓词。于是，任一关系R可用元组演算 公式表示为：{R)} 0 即：关系R是R中所有元组构成的一个元 组集合 81
81 a) R（t）其中： R表示一个关系名，t是 元组 变量。 • R（t）表示如下命题： ‘t是关系R的一个元组’，这里R是一 个谓词。于是，任一关系R可用元组演算 公式表示为：{t|R（t）} • 即：关系R是R中所有元组构成的一个元 组集合
b)t[0c或c0t[订 其中： t[一元组变量t的第分量 c一常量 0一算术比较运算符 表示如下命题：‘元组t的第分量与常量c 之间满足0运算’ 例：[2]>6：表示命题：的第二分量大于6。 5<[3]:表示命题：5小于元组t的第3分量。 t[1]=wang表示：元组的第1分量等于wang。 82
82 b）t[i] c 或 c t[i] 其中： t[i] —元组变量t的i第分量 c —常量 —算术比较运算符 • 表示如下命题：‘ 元组t的第i分量与常量c 之间满足运算 ’。 • 例： t[2] >6：表示命题： t的第二分量大于6。 5<t[3]：表示命题： 5小于元组t的第3分量。 t[1]=‘wang’表示：元组t的第1分量等于 wang