【数据库系统】第4讲 关系代数

第4讲 关系代数

关系运算

关系运算包括集合运算和纯关系运算：

• 集合运算：并（$\cup$）、交（$\cap$）、差（$-$）、Cartesian积（$\times$）
• 纯关系运算：投影（$\Pi$）、选择（$\sigma$）、连接（$\bowtie$）、除（$÷$）、更名（$\rho$）

关系的基本运算包括并（$\cup$）、差（$-$）、Cartesian积（$\times$）、投影（$\Pi$）、选择（$\sigma$），所有的关系运算都可由关系的基本运算组合而得。

并相容性

在运算时，参与运算的两个关系间必须有一定的对应性、可比性或意义关联性。

定义：关系$R(A_1,A_2,\cdots ,A_n)$与关系$S(B_1,B_2,\cdots ,B_m)$存在相容性，当且仅当

1. $n=m$；
2. $\mathrm{dom}{A}_i=\mathrm{dom}{B}_i$，$i=1,2,\cdots ,n$。

更名运算符

使用${\rho }_{T^{\prime }}(T)$将表$T$更名为$T^{\prime }$。

更名运算常见于连接运算中。

关系的基本运算

并（Union）

• 定义：若关系$R$与关系$S$是并相容的，则 R ∪ S = { t ∣ t ∈ R ∨ t ∈ S } R\cup S=\{t\mid t\in R\lor t\in S\} R∪S={t∣t∈R∨t∈S}。
• 描述：$R\cup S$是将关系$R$与关系$S$合并在一起，并去掉重复的元组得到的关系。
• 性质：$R\cup S=S\cup R$。

差（Difference）

• 定义：若关系$R$与关系$S$是并相容的，则 R − S = { t ∣ t ∈ R ∧ t ∉ S } R-S=\{t\mid t\in R\land t\notin S\} R−S={t∣t∈R∧t∈/S}。
• 描述：$R-S$由在关系$R$中但不在关系$S$中的元组构成。

注意：$R-S\ne S-R$。

Cartesian积（Cartesian Product）

• 定义：$R\times S=\{⟨r,s⟩\mid r\in R\wedge s\in S\}$。
• 描述：$R\times S$由关系$R$中的任一元组与关系$S$中的所有元组拼接而成。
• 性质：
  • $R\times S=S\times R$；
  • $\mathrm{deg}R\times S=\mathrm{deg}R+\mathrm{deg}S$；
  • $|R\times S|=|R|\cdot |S|$.

注意：关系的Cartesian积与集合论中的不同。在集合论中，$R\times S$为一个序对，因此$R\times S\ne S\times R$，而在关系代数中，关系的属性与位置无关，因此$R\times S=S\times R$。

投影（Project）

• 定义：设$R(A_1,A_2,\cdots ,A_n)$，则 Π A i 1 , A i 2 , ⋯   , A i k ( R ) = { ⟨ t [ A i 1 ] , t [ A i 2 ] , ⋯   , t [ A i k ] ⟩ ∣ t ∈ R } \Pi_{A_{i_1},A_{i_2},\cdots,A_{i_k}}(R)=\left\{\left\langle t[A_{i_1}],t[A_{i_2}],\cdots,t[A_{i_k}]\right\rangle\mid t\in R\right\} ΠAi1​​,Ai2​​,⋯,Aik​​​(R)={⟨t[Ai1​​],t[Ai2​​],⋯,t[Aik​​]⟩∣t∈R}，其中 { A i 1 , A i 2 , ⋯   , A i k } ⊆ { A 1 , A 2 , ⋯   , A n } \{A_{i_1},A_{i_2},\cdots,A_{i_k}\}\subseteq\{A_1,A_2,\cdots,A_n\} {Ai1​​,Ai2​​,⋯,Aik​​}⊆{A1​,A2​,⋯,An​}，$t[A_i]$为元组$t$中属性$A_i$的分量。

选择（Select）

• 定义： σ c o n ( R ) = { t ∣ t ∈ R ∧ c o n ( t ) = 1 } \sigma_{con}(R)=\{t\mid t\in R\land con(t)=1\} σcon​(R)={t∣t∈R∧con(t)=1}。
• 描述：${\sigma }_{con}(R)$由关系$R$中满足条件表达式$con$的所有元组构成。

关系的扩展运算

交（Intersection）

• 定义：若关系$R$与关系$S$是并相容的，则 R ∩ S = { t ∣ t ∈ R ∧ t ∈ S } R\cap S=\{t\mid t\in R\land t\in S\} R∩S={t∣t∈R∧t∈S}。
• 描述：$R\cap S$由同时存在于关系$R$与关系$S$的元组构成。
• 性质：
  • $R\cap S=S\cap R$；
  • $R\cap S=R-(R-S)$。

$\theta$-连接（Theta-Join）

• 定义：$R\underset{A\theta B}{\bowtie }S={\sigma }_{r[A]\theta s[B]}(R\times S)$，其中$\theta$是比较运算符。

等值连接（Equi-Join）

• 定义：$R\underset{A=B}{\bowtie }S={\sigma }_{r[A]=s[B]}(R\times S)$。

自然连接（Natural Join）

• 定义：$R\bowtie S={\sigma }_{r[A_{i_1},A_{i_2},\cdots ,A_{i_k}]=s[A_{i_1},A_{i_2},\cdots ,A_{i_k}]}(R\times S)$。

关系的复杂扩展运算

除（Division）

• 定义： R ÷ S = { t ∣ t ∈ Π R − S ( R ) ∧ ∀ u ∈ S , t u ∈ R } R\div S=\{t\mid t\in\Pi_{R-S}(R)\land\forall u\in S,tu\in R\} R÷S={t∣t∈ΠR−S​(R)∧∀u∈S,tu∈R}。
• 性质：$R÷S={\Pi }_{R-S}(R)-{\Pi }_{R-S}(({\Pi }_{R-S}(R)\times S)-R)$。

外连接（Outer Join）

外连接不易理解，先来看一个例子：

现有某公司的员工表和工资表，假设员工王五的工资正在商议。若想统计全体员工的工号、姓名和工资，可以使用自然连接运算：$\text{员工}\bowtie \text{工资}$，结果为：

由于王五未在工资表中存在记录，因此查询结果缺少员工王五，但这显然不是正确的结果。

当关系$R$中某些元组在关系$S$中不存在公共属性上值相等的元组时，这些$R$中的元组将被舍弃，称这些被舍弃的元组为悬浮元组（Dangling Tuple）。

为了将悬浮元组保存在查询结果中，可以在其他属性上填充空值，定义这样的连接为外连接（Outer Join）。

特别地，如果只需将左值的悬浮元组保存在查询结果中，则使用左外连接（Left Join）；如果只需将右值的悬浮元组保存在查询结果中，则使用右外连接（Left Join）。