關聯式代數,例如:前面介紹的除法運算,可以利用等價轉換而成為一連串的投影運算、乘積運算與差集運算,這種關聯式代數的轉換特性主要可以分成結合律 (Associativity Rule)、交換律 (Commutativity Rule) 與分配律 (Distributivity Rule)。
7-2-1 結合律(Associativity Rule)
下列的二元運算子具有結合律:(‘≡’ 為等價轉換)
![](function/1.gif)
![](function/2.gif)
7-2-2 交換律(Commutativity Rule)
以下的二元運算子具備交換律:
![](function/3.gif)
![](function/4.gif)
7-2-3 分配律(Distributivity Rule)
![](function/5.gif)
|