域运算

既然有元组运算（一行一行判断）

那么当然也有域运算（一列一列判断）

域运算与元组运算的差别：

元组运算的基本形式：{ t | P(t) }

域运算的基本形式：{ <x1, x2, …, xn> | P(x1, x2, …, xn) }

元组演算是以元组为变量，以元组为基本处理单位，先找到元组，然后再找到元组分量，进行谓词判断

域演算是以域变量为基本处理单位，先有域变量，然后再判断由这些域变量组成的元组是否存在或是否满足谓词判断

例子：