2.2 关系代数2——关系特有操作

2.2 关系代数

关系数据库语言的分类
	♥ 关系代数语言
		■ 用对关系的运算来表达查询要求 
	♥ 关系演算语言
		■ 元组关系演算语言
			◆ 谓词变元的基本对象是元组变量
			◆ 代表：APLHA，QUEL
		■ 域关系演算语言
			◆ 谓语变元的基本对象是域变量
			◆ 代表：QBE
	♥ 具有关系代数和关系演算双重特点的语言(第三章)
		■ 代表：SQL（Structured Query Language）

2.2.1 传统集合操作

2.2.2 关系特有操作

2.2.3 综合训练

学生-课程数据库
学生关系Student、课程关系Course和选修关系SC
Student:

学号(SNO)	姓名(Sname)	性别(Ssex)	年龄(Sage)	所在院系(Sdept)
202015121	李勇	男	20	CS
202015122	刘晨	女	19	CS
202015123	王敏	女	18	MA
202015125	张立	男	19	IS

Course:

课程号(CNO)	课程名(Cname)	先行课(Cpno)	学分(Ccred)
1	数据库	5	4
2	数学		2
3	信息系统	1	4
4	操作系统	6	3
5	数据结构	7	4
6	数据处理		2
7	C语言	6	4

SC:

学号(SNO)	课程号(CNO)	成绩(Grade)
202015121	1	92
202015121	2	85
202015121	3	88
2020151212	2	90
2020151212	3	80

---

专门的关系运算
    ■ 选择
    ■ 投影
    ■ 连接
    ■ 除运算

---

1. 选择（Selection）
   ♥  选择又称为限制（Restriction）
   ♥  选择运算符的含义
       ■ 在关系R中选择满足给定条件的诸元组
   ${\sigma }_F$ ( R ) = {t | t∈R ∧ F(t) = ‘真’}
       ■ F：选择条件，是一个逻辑表达式，取值为“真”或“假”
           ◆ 基本形式为$X_1$θ$Y_1$
           ◆ θ表示比较运算符，它可以是<、≤、>、≥、= 或 <>

♥  选择运算是从关系R中选取是逻辑表达式F为真的元组，是从行的角度进行的运算
[例 2.4] 查询信息喜（IS系）全体学生 ${\sigma }_{(}Sdept{=}^{\prime }I{S}^{\prime })$ ( Student )

结果：

学号(SNO)	姓名(Sname)	性别(Ssex)	年龄(Sage)	所在院系(Sdept)
202015125	张立	男	19	IS

[例 2.5] 查询年龄小于20岁的学生 ${\sigma }_{(}Sage<20)$ ( Student )

结果：

学号(SNO)	姓名(Sname)	性别(Ssex)	年龄(Sage)	所在院系(Sdept)
202015122	刘晨	女	19	CS
202015123	王敏	女	18	MA
202015125	张立	男	19	IS

---

2. 投影（Projection）
   ♥  从R中选择出若干属性列组成新的关系π
   ${\pi }_A$ ( R ) = {t[A] | t∈R}，A：R中的属性列
   ♥  投影操作主要是从列的角度进行运算
   ♥  投影之后不仅取消了缘关系中的某些列，而且还肯呢个取消某些元组（避免重复行）

[例 2.6] 查询学生的姓名和所在系。
集求Student关系上学生姓名和所在系两个属性上的投影${\pi }_{(}Sname,Sdept)$ ( Student )
结果：

姓名(Sname)	所在院系(Sdept)
李勇	CS
刘晨	CS
王敏	MA
张立	IS

[例 2.7] 查询学生关系Student中都有那些系，${\pi }_{(}Sdept)$ ( Student )

结果：

所在院系(Sdept)
CS
MA
IS

---

3. 连接（Join）
   ♥  连接也成为θ连接
   ♥  连接运算的含义
   从两个关系的笛卡尔积中选取属性间满足一定条件的元组
   
       ■ A和B：分别为R和S上度数相同且可比的属性组
       ■ θ：比较运算符
   连接运算从R和S的广义笛卡尔积RXS中选取R关系在A属性组上的值与S关系在B属性组上的值满足比较关系θ的元组
   ♥  两类常用连接运算
       ■ 等值连接（equijoin）
           ◆ θ为“=”的连接运算为等值连接
           ◆ 从关系R和S的广义笛卡尔积中选取A、B属性值相等的元组，即等值连接为：
   
       ■ 自然连接（Natural join）
           ◆ 自然链接是一种特殊的等值连接
               ▹两个关系中进行比较的分量必须是相同的属性组
               ▹在结果中把重复的属性列去掉
           ◆ 自然链接的含义
              R和S具有相同的属性组B
   
   ♥  一般的链接操作是从行的角度进行的运算
   自然连接还需要取消重复列，所以是同时行和列的角度进行运算
   [例 2.8] 关系R和关系S如下所示

R：

A	B	C
a1	b1	5
a1	b2	6
a2	b3	8
a2	b4	12

S：

B	E
b1	3
b2	7
b3	10
b3	2
b5	2

A	R.B	C	S.B	E
a1	b1	5	b2	7
a1	b1	5	b3	10
a1	b2	6	b2	7
a1	b2	6	b2	10
a2	b3	8	b3	10

A	R.B	C	S.B	E
a1	b1	5	b1	3
a1	b2	6	b2	7
a2	b3	8	b3	10
a2	b3	8	b3	2

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

♥  外连接（Outer Ioin）
    ■ 如果把悬浮元组也保存在结果关系中，而在其他属性上填控制（Null），就叫做外连接
    ■ 左外链接（LEFT OUTER JOIN或Left Join）
        ◆ 只保留左边关系R中的悬浮元组
    ■ 右外链接（RIGHT OUTER JOIN或Right Join）
        ◆ 只保留右边关系S中的悬浮元组

关系R和关系S的外连接:

A	B	C	E
a1	b1	5	3
a1	b2	6	7
a2	b3	8	10
a2	b3	8	2
a2	b4	12	NULL
NULL	b5	NULL	2

关系R和关系S的左外连接:

A	B	C	E
a1	b1	5	3
a1	b2	6	7
a2	b3	8	10
a2	b3	8	2
a2	b4	12	NULL

关系R和关系S的右外连接:

A	B	C	E
a1	b1	5	3
a1	b2	6	7
a2	b3	8	10
a2	b3	8	2
NULL	b5	NULL	2

---

4. 除运算（Division）
   给定关系R(X, Y)和S(Y, Z)，其中X,Y,Z为属性组
   R中的Y和S中的Y出自相同的域集。
   R与S的除运算得到一个新的关系P(X)，P是R中满足下列条件的元组在X属性列上的投影：
   元组在X上的分量之x的象集$Y_x$ 包含S在Y上投影的集合，记作：
   R÷S = {$t_r$[x] | $t_r$ ∈ R ∧ ${\pi }_Y$ ( S ) ⊆ $Y_X$}
   $Y_X$：x在R中的象集，x = $t_r$[x]
   ♥  除操纵是同时从行和列角度进行运算
   **[例 2.9]**设关系R、S分别如下，则 R÷S 为：

R：

A	B	C
a1	b1	c2
a2	b3	c7
a3	b4	c6
a1	b2	c3
a4	b6	c6
a2	b2	c3
a1	b2	c1

S：

B	C	D
b1	c2	d1
b2	c1	d1
b2	c3	d2

R÷S:

A
a1

上一篇：2.2 关系代数1——传统集合操作
目    录：《数据库系统概论》
下一篇：2.3 关系演算１——元组关系演算