五、
域关系演算域变量。域变量用于计算更自然。
1、原子命题函数是公式。
域演算中有三种形式的原子命题函数（原子公式）：
a）、R(t1，。。。，tk）
R是K度关系名
ti是域变量
表示如下命题：以t1，t2，。。。tk为分量的元组在R中。
b）、ti为元组变量的第i分量
c为常量
算数比较运算符
表示如下命题：域变量ti与常量c之间满足比较运算。
c）、域变量ti与uj之间满足算数比较运算
2、并起也是公式
3、优先级同元组演算一样
4、均须1-4
域变量用R（XYZ）表示X为第一分量、Y为第二分量、Z为第三分量
而元组用t[1]表示第一分量，t[2]表示第二分量。。。。
