既然有元组运算（一行一行判断）
那么当然也有域运算（一列一列判断）
域运算与元组运算的差别：
元组运算的基本形式：{ t | P(t) }
域运算的基本形式：{ <x1, x2, …, xn> | P(x1, x2, …, xn) }
元组演算是以元组为变量，以元组为基本处理单位，先找到元组，然后再找到元组分量，进行谓词判断
域演算是以域变量为基本处理单位，先有域变量，然后再判断由这些域变量组成的元组是否存在或是否满足谓词判断
例子：
相关文章：
相似解决方案
热门标签
既然有元组运算（一行一行判断）
那么当然也有域运算（一列一列判断）
域运算与元组运算的差别：
元组运算的基本形式：{ t | P(t) }
域运算的基本形式：{ <x1, x2, …, xn> | P(x1, x2, …, xn) }
元组演算是以元组为变量，以元组为基本处理单位，先找到元组，然后再找到元组分量，进行谓词判断
域演算是以域变量为基本处理单位，先有域变量，然后再判断由这些域变量组成的元组是否存在或是否满足谓词判断
例子：
相关文章：