集合和关系模式传统和专门的运算数据库的基础知识

01传统的集合运算
处处吻 03:19来自好学的小建子
包括关系的并、交、差和笛卡尔积，它们都是二目运算。在进行关系的并、交、差运算时，参与运算的关系R和S必须具有相同的属性，相应的属性取自同一个域，并且两个关系的属性排列次序一样，即R和S具有相同的结构，这是对关系进行并、交、差运算的前提条件，于是可定义以下四种运算。
并（Union）
两个关系的并运算是将两个关系中的所有元组构成一个新的关系，并运算要求两个关系属性的值必须一致，且运算的结果要消除重复的元组。
设关系R和S具有相同的关系模式，R和S的并是由属于R或属于S的元组构成的集合，记为R∪S。形式定义如下：R∪S≡ {t | t∈R ∨ t∈S}，t是元组变量，R和S的元数相同，∨或。

2. 差（Difference）
设关系R和S具有相同的关系模式，R和S的差是由于属于R但不属于S的元组构成的集合，即为R-S。其形式定义如下：R-S ≡ {t | t∈R ∧ t∈S}，R和S的元数相同，∧并。
3. 交（intersection）
关系R和S的交是由属于R又属于S的元组构成的集合，记为：R ∩ S，这里要求R和S定义在相同的关系模式上。形式定义如下：R ∩ S ≡ {t |t∈R ∧ t∈S }，R和S的元数相同。由于R∩S=R-(R-S)，或R∩S=S-(S-R)，因此交操作不是一个独立的操作。

4.笛卡尔积（Cartesian Product）