傳統的集合運算是二目運算,包括並、交、差、廣義笛卡爾積四種運算。
⒈ 並(Union)
設關系R和關系S具有相同的目n(即兩個關系都有n個屬性),且相應的屬性取自同壹個域,則關系R與關系S的並由屬於R或屬於S的元組組成。其結果關系仍為n目關系。記作:
R∪S={t|t∈R∨t∈S}
⒉ 差(Difference)
設關系R和關系S具有相同的目n,且相應的屬性取自同壹個域,則關系R與關系S的差由屬於R而不屬於S的所有元組組成。其結果關系仍為n目關系。記作:
R-S={t|t∈R∧t?S}
⒊ 交(Intersection Referential integrity)
設關系R和關系S具有相同的目n,且相應的屬性取自同壹個域,則關系R與關系S的交由既屬於R又屬於S的元組組成。其結果關系仍為n目關系。記作:
R∩S={t|t∈R∧t∈S}
⒋ 廣義笛卡爾積(Extended cartesian product)
兩個分別為n目和m目的關系R和S的廣義笛卡爾積是壹個(n+m)列的元組的集合。元組的前n列是關系R的壹個元組,後m列是關系S的壹個元組。若R有k1個元組,S有k2個元組,則關系R和關系S的廣義笛卡爾積有k1×k2個元組。