第2章关系数据库

第二章关系数据库
厦门大学计算机系
An Introduction to Database System
2.1 关系模型概述
2.2 关系数据结构
2.3 关系的完整性
2.4 关系代数
2.5 关系演算

关系数据库简介
 系统而严格地提出关系模型的是美国
IBM 公司的 E.F.Codd
 1970 年提出关系数据模型
 E.F.Codd, “A Relational Model of Data for
Large Shared Data Banks”,
《 Communication of the ACM 》 ,1970
 之后，提出了关系代数和关系演算的概念
 1972 年提出了关系的第一、第二、第三范式

1974 年提出了关系的 BC 范式
 关系数据库应用数学方法来处理数据库
中的数据
 80 年代后，关系数据库系统成为最重要、
最流行的数据库系统

 典型实验系统
 System R
 University INGRES
 典型商用系统
 ORACLE
 SYBASE
 INFORMIX
 DB2
 SQL SERVER

2.4 关系代数
2.5 关系演算

 关系数据库系统
 是支持关系模型的数据库系统
 关系模型的组成
 关系数据结构
 关系操作集合
 关系完整性约束

1. 关系数据结构
 单一的数据结构 ---- 关系
 现实世界的实体以及实体间的各种联系均用
关系来表示
 数据的逻辑结构 ---- 二维表
 从用户角度，关系模型中数据的逻辑结构是
一张二维表。

2. 关系操作集合
 1) 常用的关系操作
 2) 关系操作的特点
 3) 关系数据语言的种类
 4) 关系数据语言的特点

关系操作集合 ( 续）
 1) 常用的关系操作
 查询
 选择、投影、连接、除、并、交、差
 数据更新
 插入、删除、修改
 查询的表达能力是其中最主要的部分

关系操作集合（续）
 2) 关系操作的特点
 集合操作方式，即操作的对象和结果都是集合。
 非关系数据模型的数据操作方式：一次一记录
 文件系统的数据操作方式

 3) 关系数据语言的种类
 关系代数语言
 用对关系的运算来表达查询要求
 典型代表： ISBL

 关系数据语言的种类（续）
 关系演算语言：用谓词来表达查询要求
 元组关系演算语言
 谓词变元的基本对象是元组变量
 典型代表： APLHA, QUEL
 域关系演算语言
 谓词变元的基本对象是域变量
 典型代表： QBE
 具有关系代数和关系演算双重特点的语言
 典型代表： SQL
 4) 关系数据语言的特点
 关系语言是一种高度非过程化的语言
 存取路径的选择由 DBMS 的优化机制来完成
 用户不必用循环结构就可以完成数据操作
 能够嵌入高级语言中使用
 关系代数、元组关系演算和域关系演算三种
语言在表达能力上完全等价

3. 关系的三类完整性约束
 实体完整性
 通常由关系系统自动支持
 参照完整性
 早期系统不支持，目前大型系统能自动支持
 用户定义的完整性
 反映应用领域需要遵循的约束条件，体现了
具体领域中的语义约束
 用户定义后由系统支持
1 ．什么是关系模式
关系模式（ Relation Schema ）是型
关系模式是对关系的描述
元组集合的结构
属性构成
属性来自的域
属性与域之间的映象关系
元组语义以及完整性约束条件
属性间的数据依赖关系集合
2 ．定义关系模式
关系模式可以形式化地表示为：
R （ U ， D ， dom ， F ）
R 关系名
U 组成该关系的属性名集合
D 属性组 U 中属性所来自的域
dom 属性向域的映象集合
F 属性间的数据依赖关系集合

定义关系模式 ( 续 )
关系模式通常可以简记为
R ( U) 或 R (A1 ， A2 ，…， An)
R 关系名
A1 ， A2 ，…， An 属性名
注：域名及属性向域的映象常常直接说明为
属性的类型、长度

2.4 关系代数
2.5 关系演算

2.4 关系代数
 概述
 传统的集合运算
 专门的关系运算

概述
1. 关系代数
2. 运算的三要素
3. 关系代数运算的三个要素
4. 关系代数运算的分类
5. 表示记号

概述
1. 关系代数
一种抽象的查询语言
用对关系的运算来表达查询

概述 ( 续 )
2 ．关系代数运算的三个要素
运算对象：关系
运算结果：关系
运算符：四类

概述 ( 续 )
 集合运算符
 将关系看成元组的集合
 运算是从关系的“水平”方向即行的角度来进行
 专门的关系运算符
 不仅涉及行而且涉及列
 算术比较符
 辅助专门的关系运算符进行操作
 逻辑运算符
 辅助专门的关系运算符进行操作
概述 ( 续 )
表 2.4 关系代数运算符
运算符含义运算符含义
集 ∪ 并比＞大于
合 - 差较 ≥ 大于等于
运 ∩ 交运＜小于
算算
× 广义笛符 ≤ 小于等于
符卡尔积＝等于
≠ 不等于
概述 ( 续 )
表 2.4 关系代数运算符（续）
运算符含义运算符含义
专门的 σ 选择逻辑运  非
关系 π 投影算符 ∧ 与
运算符连接 ∨ 或
÷ 除

概述 ( 续 )
4 ．关系代数运算的分类
传统的集合运算
并、差、交、广义笛卡尔积
专门的关系运算
选择、投影、连接、除

概述 ( 续 )
5 ．表示记号
（ 1 ） R ， tR ， t[Ai]
设关系模式为 R(A1 ， A2 ，…， An)
它的一个关系设为 R 。 tR 表示 t 是 R 的一个元组
t[Ai] 则表示元组 t 中相应于属性 Ai 的一个分量

概述 ( 续 )
（ 2 ） A ， t[A] ， A
若 A={Ai1 ， Ai2 ，…， Aik} ，其中 Ai1 ， Ai2 ，

…， Aik 是 A1 ， A2 ，…， An 中的一部分，则 A 称
为属性列或域列。
t[A]=(t[Ai1] ， t[Ai2] ，…， t[Aik]) 表示元组 t 在

属性列 A 上诸分量的集合。
A 则表示 {A1 ， A2 ，…， An} 中去掉 {Ai1 ， Ai2 ，

…， Aik} 后剩余的属性组。
概述 ( 续 )
 （ 3 ） tr ts
R 为 n 目关系， S 为 m 目关系。 tr
R ， tsS ， 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 上分

量的集合。
2.4 关系代数
 概述

2.4.1 传统的集合运算
 并
 差
 交
 广义笛卡尔积

1. 并（ Union ）
 R和S
 具有相同的目 n （即两个关系都有 n 个属性）
 相应的属性取自同一个域
 R ∪S
 仍为 n 目关系，由属于 R 或属于 S 的元组组成
R∪S = { t|t  R∨t S }

并(续)
A B C
R a1 b1 c1
a1 b2 c2 A B C
a2 b2 c1 a1 b1 c1
R∪S
a1 b2 c2
A B C a1 b3 c2
S a1 b2 c2 a2 b2 c1
a1 b3 c2
a2 b2 c1 An Introduction to Database System
2. 差（ Difference ）
 R和S
 具有相同的目 n
 R-S
 仍为 n 目关系，由属于 R 而不属于 S 的所
有元组组成
R -S = { t|tR∧tS }
差(续)
A B C
R a1 b1 c1
a1 b2 c2
a2 b2 c1 A B C
R-S
a1 b1 c1
A B C
S a1 b2 c2
a1 b3 c2
3. 交（ Intersection ）
 R 和S
 具有相同的目 n
 R ∩S
 仍为 n 目关系，由既属于 R 又属于 S 的元组
组成
R ∩S = { t|t  R∧t S }
R ∩S = R –(R-S ）
交 (续)
A B C
R a1 b1 c1
A B C
a1 b2 c2
a1 b2 c2
a2 b2 c1 R∩S
a2 b2 c1
A B C
S a1 b2 c2
a1 b3 c2
4. 广义笛卡尔积（ Extended Cartesian Product ）
 R

n 目关系， k1 个元组
 S

m 目关系， k2 个元组
 R×S
 列：（ n+m ）列的元组的集合
 元组的前 n 列是关系 R 的一个元组
 后 m 列是关系 S 的一个元组
 行： k1×k2 个元组
R×S = {tr ts |tr R ∧ tsS } An Introduction to Database System
广义笛卡尔积 ( 续 )
A B C A B C A B C
a1 b1 c1 a1 b2 c2
R a1 b1 c1
a1 b1 c1 a1 b3 c2
a1 b2 c2
a1 b1 c1 a2 b2 c1
a2 b2 c1 R×S a1 b2 c2 a1 b2 c2
a1 b2 c2 a1 b3 c2
A B C a1 b2 c2 a2 b2 c1
S a1 b2 c2 a2 b2 c1 a1 b2 c2
a1 b3 c2 a2 b2 c1 a1 b3 c2
a2 b2 c1 a2 b2 c1 a2 b2 c1
2.4 关系代数
 概述

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

1. 选择（ Selection ）
 1) 选择又称为限制（ Restriction ）
 2) 选择运算符的含义
 在关系 R 中选择满足给定条件的诸元组
σF(R) = {t|tR∧F(t)= ' 真 '}
F ：选择条件，是一个逻辑表达式，基本形
式为：
[( ] X1θY1 [ )][φ [( ] X2θY2 [ )]]…

选择（续）
 3) 选择运算是从行的角度进行的运算

选择（续）
学号姓名性别年龄系
Sno Sname Ssex Sage Sdept
95001 李勇男 20 CS
95002 刘晨女 19 IS
Student
95003 王敏女 18 MA
95004 张立男 19 IS
(a)

例1 例2 例3 例4
选择（续）
课程号课程名先行课学分
Cno Cname Cpno Ccredit
1 数据库 5 4
2 数学

2
Course
3 信息系统 1 4
4 操作系统 6 3
5 数据结构 7 4

6 数据处理 2
7 C 语言 6 4
(b) An Introduction to Database System

选择（续）
学课程成
号号绩
Sno Cno Grade
95001 1 92
SC
95001 2 85
95001 3 88
95002 2 90
95002 3 80
(c)
例例
An Introduction to Database
7 System 9
选择（续）
[ 例 1] 查询信息系（ IS 系）全体学生
σSdept = 'IS' (Student)

结果：
95002 刘晨女 19 IS
95004 张立男 19 IS

选择（续）
[ 例 2] 查询年龄小于 20 岁的学生
σSage < 20(Student)
结果：
95002 刘晨女 19 IS
95003 王敏女 18 MA
95004 张立男 19 IS
2. 投影（ Projection ）
 1 ）投影运算符的含义
 从 R 中选择出若干属性列组成新的关系
πA(R) = { t[A] | t R }
A ： R 中的属性列

2. 投影（ Projection ）
 2 ）投影操作主要是从列的角度进行运算
 但投影之后不仅取消了原关系中的某些列，
而且还可能取消某些元组（避免重复行）
投影（续）
 3) 举例
[ 例 3] 查询学生的姓名和所在系
即求 Student 关系上学生姓名和所在系两
个属性上的投影
 πSname ， Sdept(Student)

投影（续）
Sname Sdept
李勇 CS
刘晨 IS
王敏 MA
张立 IS

投影（续）
[ 例 4] 查询学生关系 Student 中都有哪些
系 (Student)
πSdept
结果： Sdept
CS
IS
MA

3. 连接（ Join ）
 1 ）连接也称为 θ 连接
 2 ）连接运算的含义
 从两个关系的笛卡尔积中选取属性间满足一定条件
的元组
RAθB S = {tr ts | tr  R∧ts S∧tr[A]θts[B] }
 A 和 B ：分别为 R 和 S 上度数相等且可比的属
性组
 θ ：比较运算符
 连接运算从 R 和 S 的广义笛卡尔积
R×S 中选取（ R 关系）在 A 属性组上的值
与（ S 关系）在 B 属性组上值满足比较关
连接 ( 续 )
 3 ）两类常用连接运算
 等值连接（ equijoin ）
 什么是等值连接
 θ 为“＝”的连接运算称为等值连接
 等值连接的含义
 从关系 R 与 S 的广义笛卡尔积中选取 A 、 B
属性值相等的那些元组，即等值连接为：
R A=B
S ={ tr ts | tr R∧ts S∧tr[A] = ts[B] }

连接 ( 续 )
 自然连接（ Natural join ）
 什么是自然连接
 自然连接是一种特殊的等值连接
 两个关系中进行比较的分量必须是相同的
属性组
 在结果中把重复的属性列去掉
 自然连接的含义
R 和 S 具有相同的属性组 B
R S = {tr ts | tr R∧ts S∧tr[B] =
ts[B] }
连接 ( 续 )
 4 ）一般的连接操作是从行的角度进行运算。
AθB
S
自然连接还需要取消重复列，所以是同时从
行和列的角度进行运算。
连接示例
B E
A B C b1 3
a1 b1 5 b2 7
a1 b2 6 b3 10
a2 b3 8
b3 2
a2 b4 12 b5 2
R S
R S
C＜E
连接 ( 续 )
R S
C＜E
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 b3 10
a2 b3 8 b3 10
等值连接示例
B E
A B C b1 3
a1 b1 5 b2 7
a1 b2 6 b3 10
a2 b3 8
b3 2
a2 b4 12 b5 2
R S
R S
R.B=S.B
连接 ( 续 )
R S
R.B=S.B
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
连接 ( 续 )
自然连接 R S
A B C E
a1 b1 5 3
a1 b2 6 7
a2 b3 8 10
a2 b3 8 2

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

在 Z 上分量的集合。
象集示例
(a1,b2) 象集
(a1,b1) 象集
A B C C
a1 b1 c2 C c3
a2 b3 c7 c2
c1
R a3 b4 c6 (a1) 象集
a1 b2 c3 B C
b1 c2
a4 b6 c6
b2 c3
a2 b2 c3
b2 c1
a1 b2 c1
4. 除（ Division ）
给定关系 R (X ， Y) 和 S (Y ， Z) ，其中 X ， Y ， Z 为属性组。
R 中的 Y 与 S 中的 Y 可以有不同的属性名，但必须出自相同的域集
R 与 S 的除运算得到一个新的关系 P(X) ，
P 是 R 中满足下列条件的元组在 X 属性列上的投影：
元组在 X 上分量值 x 的象集 Yx 包含 S 在 Y 上投影的集合。
R÷S = {tr [X] | tr  R∧πY (S)  Yx }
Yx ： x 在 R 中的象集， x = tr[X]
除(续)
 2 ）除操作是同时从行和列角度进行运算
R
÷
S

除(续)
A B C B C D
a1 b1 c2 b1 c2 d1
a2 b3 c7
S b2 c1 d1
a3 b4 c6
R b2 c3 d2
a1 b2 c3
a4 b6 c6
a2 b2 c3 R÷S
a1 b2 c1
分析：
在关系 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}

5 ．综合举例
学课程成
号
Sno 号
Cno 绩
Grade
95001 1 92
SC 95001 2 85
95001 3 88
95002 2 90
95002 3 80
查询至少选修 1 号课程和 3 号课程的学生号码

5 ．综合举例
首先建立一个临时关系 K ： Cno
1
3
然后求： πSno.Cno(SC)÷K

综合举例 ( 续 )
Sno Cno
 πSno.Cno(SC)
95001 1
95001 2
95001 3
95001 象集 {1 ， 2 ， 3}
95002 2
95002 象集 {2 ， 3}
95002 3
πCno(K)={1 ， 3}
于是： πSno.Cno(SC)÷K={95001}
5 综合举例
95001 李勇男 20 CS
95002 刘晨女 19 IS
Student
95003 王敏女 18 MA
95004 张立男 19 IS
(a)

选择（续）
1 数据库 5 4
2 数学

2
Course
3 信息系统 1 4
4 操作系统 6 3
5 数据结构 7 4

6 数据处理 2
7 C 语言 6 4

选择（续）
学课程成
号号绩
Sno Cno Grade
95001 1 92
SC
95001 2 85
95001 3 88
95002 2 90
95002 3 80
(c)
[ 例 8] 查询选修了 2 号课程的学生的学号。
πSno （ σCno='2' （ SC ）
）
＝｛ 95001 ， 95002 ｝
[ 例 9] 查询选修了一门其先行课为 5
号课程的课程的学生姓名。

5 综合举例
95001 李勇男 20 CS
95002 刘晨女 19 IS
Student
95003 王敏女 18 MA
95004 张立男 19 IS
(a)

选择（续）
1 数据库 5 4
2 数学

2
Course
3 信息系统 1 4
4 操作系统 6 3
5 数据结构 7 4

6 数据处理 2
7 C 语言 6 4

选择（续）
学课程成
号号绩
Sno Cno Grade
95001 1 92
SC
95001 2 85
95001 3 88
95002 2 90
95002 3 80
(c)
πSname(σCpno='5'(Course SC Student))
或
πSname(σCpno='5'(Course) SC πSno ， Sname(Student))

或
πSname (πSno (σCpno='5' (Course) SC) πSno ， Sname (Student))

[ 例 10] 查询选修了全部课程的学生
号码和姓名 .

[ 例 10] 查询选修了全部课程的学生号码和姓名。
πSno ， Cno （ SC ） ÷πCno （ Course ）

πSno ， Sname （ Student ）

2.4 关系代数
2.5 关系演算
2.6 小结
2.5 关系演算
 关系演算
以数理逻辑中的谓词演算为基础
 种类：按谓词变元不同分类
1. 元组关系演算：
以元组变量作为谓词变元的基本对象
元组关系演算语言 ALPHA
2. 域关系演算：
以域变量作为谓词变元的基本对象
域关系演算语言 QBE
2.5.1 元组关系演算语言 ALPHA
 由 E.F.Codd 提出
INGRES 所用的 QUEL 语言是参照 ALPHA 语言研制的
 语句
检索语句
 GET
更新语句
 PUT ， HOLD ， UPDATE ， DELETE ， DROP

一、检索操作
 语句格式：
GET 　工作空间名 [ （定额） ] （表达式 1 ）
[ ：操作条件 ] [DOWN/UP 表达式 2]
定额：规定检索的元组个数

格式：数字
表达式 1 ：指定语句的操作对象
格式：

关系名 | 关系名 . 属性名 | 元组变量 . 属性名 | 集函数 [ ，

… ]
操作条件：将操作结果限定在满足条件的元组中
格式：

逻辑表达式
表达式 2 ：指定排序方式
格式：
 An Introduction
关系名 . 属性名 | 元组变量 to Database[System
. 属性名，… ]
检索操作 ( 续 )
(1) 简单检索 ( 即不带条件的检索 )

(2) 限定的检索 ( 即带条件的检索 )
(3) 带排序的检索
(4) 带定额的检索
(5) 用元组变量的检索
(6) 用存在量词的检索

检索操作 ( 续 )
(7) 带有多个关系的表达式的检索
(8) 用全称量词的检索
(9) 用两种量词的检索
(10) 用蕴函（ Implication ）的检索
(11) 集函数

95001 李勇男 20 CS
95002 刘晨女 19 IS Student
95003 王敏女 18 MA
95004 张立男 19 IS
(a)

1 数据库 5 4
2 数学

2
Course
3 信息系统 1 4
4 操作系统 6 3
5 数据结构 7 4

6 数据处理 2
7 PASCAL 语言 6 4

学课程成
号号绩
Sno Cno Grade
95001 1 92
SC
95001 2 85
95001 3 88
95002 2 90
95002 3 80
(c)
（ 1 ）简单检索
GET 　工作空间名（表达式 1 ）
[ 例 1] 查询所有被选修的课程号码。
GET W (SC.Cno)
[ 例 2] 查询所有学生的数据。
GET W (Student)

（ 2 ）限定的检索
格式
GET 　工作空间名（表达式 1 ）：操作条件
[ 例 3] 查询信息系 (IS) 中年龄小于 20 岁的学生

的学号和年龄。
GET W (Student.Sno ， Student.Sage):

Student.Sdept='IS'∧ Student.Sage<20

（ 3 ）带排序的检索
格式
GET 　工作空间名（表达式 1 ） [ ：操作条
件]
DOWN/UP 表达式 2
[ 例 4] 查询计算机科学系 (CS) 学生的
学号、年龄，结果按年龄降序排序。
GET W (Student.Sno ， Student.Sage):
Student.Sdept=‘CS’ DOWN
Student.Sage
（ 4 ）带定额的检索
格式 : GET 　工作空间名（定额）（表达式
1）
[ 例 5] 取出一个信息系学生的学号。
GET W (1) (Student.Sno):
Student.Sdept='IS'

（ 4 ）带定额的检索
[ 例 6] 查询信息系年龄最大的三个学生的学
号及其年龄，结果按年龄降序排序。
GET W (3)
(Student.Sno ， Student.Sage):
Student.Sdept='IS'
DOWN Student.Sage

（ 5 ）用元组变量的检索
 元组变量的含义
 表示可以在某一关系范围内变化（也称为范围
变量 Range Variable ）
 元组变量的用途
 ① 简化关系名：设一个较短名字的元组变量
来代替较长的关系名。
 ② 操作条件中使用量词时必须用元组变量。
 定义元组变量
 格式： RANGE 关系名变量名
 一个关系可以设多个元组变量

(6) 用存在量词的检索
[ 例 8] 查询选修 2 号课程的学生名字。
RANGE SC X
GET W (Student.Sname):
X(X.Sno=Student.Sno∧X.Cno='2')
[ 例 9] 查询选修了这样课程的学生学号，其
直接先行课是 6 号课程。
RANGE Course CX
GET W (SC.Sno):
CX (CX.Cno=SC.Cno∧CX.Pcno='6')
用存在量词的检索 ( 续 )
[ 例 10] 查询选修一门其先行课为 6 号课程的学生名字
RANGE Course CX
SC SCX
GET W (Student.Sname): SCX
(SCX.Sno=Student.Sno∧
CX (CX.Cno=SCX.Cno∧CX.Pcno='6'))
前束范式形式：
GET W (Student.Sname):
SCXCX (SCX.Sno=Student.Sno∧
CX.Cno=SCX.Cno∧CX.Pcno='6')
（ 7 ）带有多个关系的表达式的检索
[ 例 11] 查询成绩为 90 分以上的学生名字与课程名字。
RANGE SC SCX
GET
W(Student.Sname ， Course.Cname):
SCX (SCX.Grade≥90∧
SCX.Sno=Student.Sno∧
Course.Cno=SCX.Cno)
（ 8 ）用全称量词的检索
 [ 例 12] 查询不选 1 号课程的学生名字。
RANGE SC SCX
GET W (Student.Sname): SCX
(SCX.Sno≠Student.Sno∨SCX.Cno≠'1')
用存在量词表示：
RANGE SC SCX
GET W (Student.Sname): SCX
(SCX.Sno=Student.Sno∧SCX.Cno='1')

（ 9 ）用两种量词的检索
 [ 例 13] 查询选修了全部课程的学生姓名。
RANGE Course CX
SC SCX
GET W (Student.Sname):  CXSCX
(SCX.Sno=Student.Sno∧
SCX.Cno=CX.Cno)

（ 10 ）用蕴函（ Implication ）的检索
[ 例 14] 查询最少选修了 95002 学生所选课

程的学生学号。
RANGE Couse CX
SC SCX
SC SCY
GET W (Student.Sno):  CX(SCX
(SCX.Sno='95002'∧SCX.Cno=CX.Cno)
＝>
SCY(SCY.Sno=Student.Sno∧
SCY.Cno= CX.Cno))
（ 11 ）集函数
常用集函数（ Aggregation function ）或
内部函数（ Build-in function ）
函数名功能
COUNT 对元组计数
TOTAL 求总和
MAX 求最大值
MIN 求最小值
AVG 求平均值
集函数 ( 续 )
[ 例 15] 查询学生所在系的数目。
GET W ( COUNT(Student.Sdept) )
COUNT 函数在计数时会自动排除重复值。

[ 例 16] 查询信息系学生的平均年龄
GET W (AVG(Student.Sage):
Student.Sdept='IS’ )

小结：元组关系演算语言 ALPHA
 检索操作 GET
GET 　工作空间名 [ （定额） ] （表达式 1 ）
 插入操作
 建立新元组 --PUT
 修改操作
 HOLD-- 修改 --UPDATE
 删除操作
 HOLD--DELETE An Introduction to Database System
2.5 关系演算
 2.5.1 元组关系演算语言 ALPHA
 2.5.2 域关系演算语言 QBE

2.5.2 域关系演算语言 QBE
 一种典型的域关系演算语言
 由 M.M.Zloof 提出
 1978 年在 IBM370 上得以实现
 QBE 也指此关系数据库管理系统
 QBE ： Query By Example

 基于屏幕表格的查询语言
 查询要求：以填写表格的方式构造查询
 用示例元素 ( 域变量 ) 来表示查询结果可能的情况
 查询结果：以表格形式显示
QBE 操作框架

关系名属性名
操作命令元组属性值或查询条件或操作命令

一、检索操作
（ 1 ）用户提出要求；
（ 2 ）屏幕显示空白表格；

（ 3 ）用户在最左边一栏输入要查询的关系
名，例如 Student ；
Student

检索操作（续）
（ 4 ）系统显示该关系的属性名
Student Sno Sname Ssex Sage Sdept

（ 5 ）用户在上面构造查询要求

P. T AO. IS

构造查询的几个要素
 示例元素即域变量一定要加下划线
示例元素是这个域中可能的一个值，它不必
是查询结果中的元素
 打印操作符 P. 指定查询结果所含属性列
 查询条件不用加下划线
可使用比较运算符＞，≥，＜，≤，＝和≠
其中＝可以省略
 排序要求
1. 简单查询
[ 例 1] 查询全体学生的全部数据。

P.9500 P. 李 P. P.20 P.CS
1 勇男

简单查询（续）
显示全部数据也可以简单地把 P. 操作符
作用在关系名上。

P.

2. 条件查询
(1) 简单条件
[ 例 2] 求信息系全体学生的姓名。

P. 李勇 IS

条件查询（续）

[ 例 3] 求年龄大于 19 岁的学生的学号。

P.9500 >19
1

条件查询（与条件）
[ 例 4] 求计算机科学系年龄大于 19 岁的
学生的学号。
方法（ 1 ）：把两个条件写在同一行上

P.9500 >19 CS
1

方法（ 2 ）：把两个条件写在不同行上，但
使
用相同的示例元素值

P.9500 CS
1 >19
P.9500
1

[ 例 5] 查询既选修了 1 号课程又选修了 2 号
课程的学生的学号。
SC Sno Cno Grade

P.95001 1
P.95001 2

[ 例 6] 查询计算机科学系或者年龄大于 19
岁的学生的学号。

P.9500 CS
1 >19
P.9500
2

多表连接
[ 例 7] 查询选修 1 号课程的学生姓名。

95001 P. 李
勇
SC Sno Cno Grade

95001 1
注意：示例元素 Sno 是连接属性，其值在两个表中要相同。

条件查询（非条件）
[ 例 8] 查询未选修 1 号课程的学生姓名
思路：显示学号为 95001 的学生名字，而该学生选修 1 号课程的情
况为假

95001 P. 李
勇
SC Sno Cno Grade

 95001 1


[ 例 9] 查询有两个人以上选修的课程号
SC Sno Cno Grade

95001 P.1
.95001 1
思路：查询这样的课程 1 ，它不仅被 95001 选修

而且也被另一个学生（ 95001 ）选
修了
3. 集函数
常用集函数：
函数名功能
CNT 对元组计数
SUM 求总和
AVG 求平均值
MAX 求最大值
MIN 求最小值

集函数（续）
[ 例 10] 查询信息系学生的平均年龄。

P.AVG.ALL. IS

4. 对查询结果排序（续）
[ 例 11] 查全体男生的姓名，要求查询结
果按所在系升序排序，对相同系的学生
按年龄降序排序。

P. 李男 DO AO
勇（2）. （1）.

第2章关系数据库

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

第2章关系数据库

Uploaded by

Copyright:

Available Formats

第二章 关系数据库

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

 典型代表： APLHA, QUEL

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

设关系模式为 R(A1 ， A2 ，…， An)

它的一个关系设为 R 。 tR 表示 t 是 R 的一个元组

t[Ai] 则表示元组 t 中相应于属性 Ai 的一个分量

An Introduction to Database System

若 A={Ai1 ， Ai2 ，…， Aik} ，其中 Ai1 ， Ai2 ，

t[A]=(t[Ai1] ， t[Ai2] ，…， t[Aik]) 表示元组 t 在

A 则表示 {A1 ， A2 ，…， An} 中去掉 {Ai1 ， Ai2 ，

n + m 列的元组，前 n 个分量为 R 中的一个 n

An Introduction to Database System

它表示 R 中属性组 X 上值为 x 的诸元组在 Z 上分

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

(b) An Introduction to Database System

σSdept = 'IS' (Student)

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

它表示 R 中属性组 X 上值为 x 的诸元组

R÷S = {tr [X] | tr  R∧πY (S)  Yx }

An Introduction to Database System

查询至少选修 1 号课程和 3 号课程的学生号码

An Introduction to Database System

An Introduction to Database System

(b) An Introduction to Database System

An Introduction to Database System

An Introduction to Database System

(b) An Introduction to Database System

πSname(σCpno='5'(Course) SC πSno ， Sname(Student))

πSname (πSno (σCpno='5' (Course) SC) πSno ， Sname (Student))

An Introduction to Database System

An Introduction to Database System

πSno ， Cno （ SC ） ÷πCno （ Course ）

An Introduction to Database System

第二章关系数据库