关系运算：交运算

关系代数中的传统集合运算包括并、差、交和广义笛卡尔积。

本文探讨一下交运算。

关系R和关系S具有相同的目n（属性个数），且相应的属性取自同一个域，则R与S的交运算的结果是由既属于R又属于S的元组组成，即R与S中相同的元组，组成一个新关系，其结果仍为n目关系。记作：

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

如果如果两个关系没有相同的元组，那么它们的交为空。
两个关系的并与差运算为基本运算（即不能用其他运算表达的运算），而交运算为非基本运算，交运算可以用差运算来表示：R∩S=R-(R-S)

 用图表示如下：

下面使用一个案例来说明：