關系運算：交運算

關系代數中的傳統集合運算包括并、差、交和廣義笛卡爾積。

本文探討一下交運算。

關系R和關系S具有相同的目n（屬性個數），且相應的屬性取自同一個域，則R與S的交運算的結果是由既屬于R又屬于S的元組組成，即R與S中相同的元組，組成一個新關系，其結果仍為n目關系。記作：

  R∩S={t|t∈R∧t∈S}

如果如果兩個關系沒有相同的元組，那么它們的交為空。
兩個關系的并與差運算為基本運算（即不能用其他運算表達的運算），而交運算為非基本運算，交運算可以用差運算來表示：R∩S=R-(R-S)

 用圖表示如下：

下面使用一個案例來說明：