第2章_003_关系数据库_ 关系代数_001_传统的集合运算

一. 定义 ===》
把关系看成元组的集合，以元组作为集合中的元素来进行运算，其运算时从关系的"水平"方向的角度进行的。包括: 并、差、交和广义的笛卡尔积...等运算。

二. 运算所需的前提条件 ===》
传统集合(除笛卡尔积)是典型的二目运算，因此需要在两个关系中进行，这两个关系必须是相容的。两集合相容必须满足以下两个条件 ===》
1. R、S必须具有相同的度，即列数要相同。
2. R中的第i个属性和S中的第i个属性必须取自同一个域，即列同质。

三. 传统的集合运算 ===》
1. 并(Union): R∪S = {t | t∈R ∨ t∈S};
2. 差(Difference): R - S = {t | t∈R Λ ^¬t∈S};
3. 交(Intersection): R∩S = {t | t∈R Λ t∈S};
4. 广义笛卡尔积(Extended Cartesian Product): 产生的关系中，每一个新元组的前半部分取自R，后半部分取自S。即有形式化表达 ===》R×S = {t_r⌒t_s | t_r∈R Λ t_s∈S};