域運算

既然有元組運算（一行一行判斷） 那麼當然也有域運算（一列一列判斷） 域運算與元組運算的差別： 元組運算的基本形式：{ t | P(t) } 域運算的基本形式：{ <x1, x2, …, xn> | P(x1, x2, …, xn) } 元組演算是以元組爲變量，以元組爲基本處理單位，先找到元組，然後再找到元組分量，進行謂詞判斷 域演算是以域變量爲基本處理單位，先有域變量，然後再判斷由這些域變量組成的

>>阅读原文<<