数据库系统 --- 关系数据库3

一.关系代数

①关系代数是一种抽象的查询语言，它用对关系的运算来表达查询。

②关系代数
a.运算对象是关系；
b.运算结果也是关系；
c.关系代数的运算符有两类：集合运算符和专门的关系运算符。

③传统的集合运算是从关系的“水平”方向，即行的角度进行。

④专门的关系运算不仅涉及行而且涉及列。

⑤关系代数中的运算类型
a.一元运算：
选择Selection、投影Projection

b.二元运算：
笛卡尔积Cartiesian product、连接Join、并Union、差Difference、交Intersection、除Division

关系运算：实现业务数据与数据库中的数据之间的转换。

1.传统的集合运算

（1）并Union

①R和S
a.具有相同的目n（即两个关系都有n个属性）
b.相应的属性取自同一个域。

②R∪S
仍为n目关系，由属于R或属于S的元组组成：

R∪S={t | t ∈ R ∨ t ∈S}

（2）差Difference

①R和S
a.具有相同的目n；
b.相应的属性取自同一个域。

②R-S
仍为n目关系，由属于R而不属于S的所有元组组成。

R-S={t | t∈ R ∧ t ∉ S}

（3）交Intersection

①R和S
a.具有相同的目n；
b.相应的属性取自同一个域。

②R∩S
仍为n目关系，由既属于R又属于S的元组组成。

R∩S={t | t ∈ R ∧ t ∈ S}
R∩S=R-（R-S）

（4）笛卡尔积Cartesian Product

①严格地将应该是广义的笛卡尔积。

②R：n目关系，k1个元组。

③S：m目关系，k2个元组。

④R x S
a.列：（n+m）列元组的集合

i.元组的前n列是关系R的一个元组；
ii.后m列是关系S的一个元组。

b.行：k1 x k2个元组

2.专门的关系运算

（1）R，t∈R，t[Ai]

设关系模式为R（A1,A2,…,An）

• 它的一个关系设为R；
• t∈R表示t是R的一个元组；
• t[Ai]表示元组t中相应于属性Ai的一个分量。

（2）A，t[A]， Ã

• 若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或属性组。
• t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元组t在属性列A上诸分量的集合。
• Ã表示示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组。

（3）连接

• R为n目关系，S为m目关系；
• tr∈R，ts∈S，tr ts称为元组的连接；
• tr ts是一个n+m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。

（4）象集Zx

• 给定一个关系R（X,Z），X和Z为属性组。
• 当t[X]=x时，x在R中的象集（Images Set）为：Zx={t[Z] | t ∈ R，t[X] = x}
• 它表示R中属性组X上值为x的诸元组在Z上分量的集合。

（5）选择Selection

①选择又称为限制Restriction

②选择运算符的含义
a.在关系R中选择满足给定条件的诸元组：

σ_F（R） = {t | t∈R ∧ F(t)= ‘真’}

b.选择条件，是一个逻辑表达式，取值为‘真’或‘假’。

i.基本形式为：X1 θ Y1；
ii.θ 表示比较运算符，它可以使＞，≥，＜，≤，=或<>。

③选择运算是关系R中，选取使逻辑表达式F为真的元组，是从行的角度进行的运算。

（6）投影Projection

①从R中选择出若干属性列组成新的关系

π_A（R） = { t[A] | t ∈R }
A：R中的属性列

②投影操作主要是从列的角度进行运算。

③投影之后不仅取消了原关系中的某些列，而且还可能取消某些元组（避免重复行）。

（7）连接Join

①连接也称为θ连接。
②连接运算的含义：
a.从两个关系的笛卡尔积中选取属性间满足一定条件的元组

i.A和B：分别为R和S上度数相等切可比的属性组；
ii.θ：比较运算符。

b.连接运算从R和S的广义笛卡尔积R x S中选取R关系在A属性组上的值与S关系在B属性组上的值满足比较关系θ的元组。

③两类常用连接运算
a.等值连接equijoin

i.θ为“=”的连接运算称为等值连接；
ii.从关系R与S的广义笛卡尔积中选取A、B属性值相等的那些元组，即等值连接为：

b.自然连接Natural join
i.自然连接是一种特殊的等值连接

• 两个关系中进行比较的分量必须是相同的属性组；
• 在结果中把重复的属性列去掉。

ii.自然连接的含义：
R和S具有相同的属性组B：

iii.一般的连接操作是从行的角度进行运算。
自然连接还需要取消重复列，所以是同时从行和列的角度进行运算。

④举例说明：
a.一般连接


b.等值连接


c.自然连接


关系R中B属性的b4所在行删除，关系S中属性的b5所在行删除，并且删除了结果表中的相同列。

⑤悬浮元组Dangling tuple
两个关系R和S在做自然连接时，关系R中某些元组有可能在S中不存在公共属性上值相等的元组，从而造成R中这些元组在操作时被舍弃了，这些被舍弃的元组称为悬浮元组。

⑥外连接Outer join
a.如果把悬浮元组也保存在结果关系中，而在其他属性上填空值（Null），就叫做外连接。

b.左外连接Left Outer Join / Left Join
只保留左边关系R中的悬浮元组。

c.右外连接Right Outer Join / Right Join
只保留右边关系S中的悬浮元组。

（8）除Division

①给定关系R（X,Y）和S（Y,Z），其中X,Y,Z为属性组。
R中Y与S中的Y可以有不同的属性名，但必须出自相同的域集。

②R与S的除运算得到一个新的关系P（X），
P是R中满足下列条件的元组在X属性列上的投影：

a.元组在X上分量值x的象集Yx包含S在Y上投影的集合，记作：
R÷S={tr[X] | tr∈R∧π_Y(S)∈Yx}
Yx：x在R中的象集，x = tr[X]

③除操作是同时从行和列角度进行运算。

• 在关系R中，A可以取四个值{a1,a2,a3,a4}
  a1的象集为{（b1,c2），（b2,c3），（b2,c1）}
  a2的象集为{（b3,c7），（b2,c3）}
  a3的象集为{（b4,c6）}
  a4的象集为{（b6,c6）}

• 关系S在（B,C）上的投影为
  {（b1,c2），（b2,c1），（b2,c3）}

• 只有a1的象集包含了S在（B,C）属性组上的投影，所以R÷S={a1}。