数据库系统概论 第二章 关系数据库

关系模型由关系数据结构、关系操作集合和关系完整系约束三部分组成。

2.1 关系数据结构及形式化定义

2.1.1 关系

  关系模型的数据结构——关系。从用户来看，就是一张扁平的二维表。
  关系模型是建立在集合代数的基础上的，这里从集合论角度给出关系数据结构的形式化定义。

• 1.域（Domain)：域是一组具有相同数据类型的值的集合。

• 2.笛卡尔积（Cartesian Product）：给定一组域$D_1,D_2,...,D_n$，这些域中可以是相同的域。$D_1,D_2,...,D_n$的笛卡尔积为：
  $$D_1\times D_2\times ....\times D_n=|(d_1,d_2,...,d_n)|d_i\in D_i,i=1,2,....,n$$
  其中每一个元素$(d_1,d_2,...,d_n)$叫做一个$n$元组（n-tuple）或简称元组（tuple）。
  元素中的每一个值$d$，叫做一个分量（Conponent）。
  笛卡尔积中的基数M为$n$元组的个数。

• 3.关系（Relation）：$D_1\times D_2\times ...\times D_n$的子集叫做域$D_1,D_2,...,D_n$上的关系，表示为$R（D_1,D_2,...,D_n）$。
  $R$表示关系的名字，$n$是关系的目或度(degree)。
  候选码(Candidate key)：关系中能唯一标识一个元组的属性组。
  主码(Primary key)：若一个关系有多个候选码，则选定其中一个为主码。
  主属性(Prime attribute)：候选码中的各个属性。
  非主属性(Nonprimary attribute)\非码属性(Non-key attribute)：不包含在任何候选码中的属性。
  全码(All-key)：若关系模式的所有属性都是这个关系模式的候选码，则称为全码。

---

2.1.2 关系模式

    在关系数据库中，关系模式是型，关系是值，关系模式是对关系的描述。
    关系的描述称为关系模式（Relation Schema）。它可以形式化地表示为$R(U,D,DOM,F)$。
    其中$R$为关系名，$U$为组成该关系的属性名集合，$D$为属性组$U$中属性所来自的域，$DOM$为属性向域的映像集合，$F$为属性间数据的依赖关系集合。
    关系模式通常可以简记为$R(U)$ 或 $R(A_1,A_2,...,A_n)$，$A_1,A_2,...,A_n$为属性名。

---

2.1.3 关系数据库

    在一个给定的应用领域，所有实体与实体之间联系的关系的集合构成一个关系数据库。
    关系数据库也有型和值之分。关系数据库的型也称为关系数据库模式，是对关系数据库的描述。关系数据库模式包括：
    - 若干域的定义；
    - 在这些域上定义的若干关系模式。
    关系数据库的值是这些关系模式在某一时刻对应的关系的集合，通常称为关系数据库。

---

2.2 关系操作

2.2.1 基本的关系操作

    关系模型中常用的关系操作包括查询（Query）操作和插入（Insert）、删除（Delete）、修改（Update）操作两大部分。
    查询又包括选择（Select）、投影（Project）、连接（Join）、除（Divde）、并（Union）、差（Except）、交（Intersection）、笛卡尔积等。
    其中选择、投影、并、差、笛卡尔积是五种基本操作。其他操作是可以用基本操作来定义和导出的。（就像乘法可以用加法来定义和导出一样）
    关系操作的特点是集合操作方式，即操作的对象和结果都是集合。

---

2.2.2 关系数据语言的分类

• 关系代数：是用对关系的运算来表达查询要求的。
• 关系演算：是用谓词来表达查询要求的。

---

2.3 关系的完整性

关系模型的完整性规则是对关系的某种约束条件。也就是说关系的值随着时间变化时应该满足一些约束条件。

2.3.1关系的三类完整性约束

    关系模型中有三类完整性约束：实体完整性、参照完整性和用户定义的完整性。
    实体完整性和参照完整性是关系模型必须满足的完整性约束条件，被称为关系的两个不变性，应该由关系系统自动支持。
    用户定义的完整性是应用领域需要遵循的约束条件，体现了具体领域中的语义约束。

---

2.3.2 实体完整性（Entity Integrity）

    若属性（指一个或一组属性)$A$是基本关系$R$的主属性，则$A$不能取空值。

2.3.3 参照完整性（Referential Integrity）

    若属性（或属性组）$F$是基本关系$R$的外码，它与基本关系$S$的主码$K$相对应（基本关系$R$和$S$不一定是不同的关系），则对于R中每个元组在$F$上的取值必须为：

• 或者取空值（F的每个属性值均为空值）（比如学生关系中“专业号”属性为空值，表示尚未给该学生分配专业）；
• 或者等于S中某个元组的主码值（比如信息学院的学生专业不能填别的学院的，只能在信息学院中选取）。

---

2.3.4 用户定义的完整性（User-defined Integrity)

    用户定义的完整性就是针对某一具体关系数据库的约束条件。它反应某一具体应用所设计的数据必须满足的语义要求。例如某个属性必须取唯一值、某个非主属性也不能取空值。（例如学生关系中必须给出学生姓名，要求姓名不能取空值，还要成绩必须满足0~100之间等）

---

2.4 关系代数

    关系代数是一种抽象的查询语言，它用对关系的运算来表达查询。
    运算对象、运算符、运算结果是运算的三大要素。
    关系代数的运算对象是关系，运算结果亦为关系。关系代数所用的运算符包括四类：集合运算符、专门的关系运算符、算术比较符和逻辑运算符，如下表所示：

2.4.1 传统的集合运算符（并差交…)

• 1.并（Union）
  R ∪ S = { t ∣ t ∈ R ∨ t ∈ S } R \cup S = \{t|t\in R \vee t\in S \} R∪S={t∣t∈R∨t∈S}
• 2.差（Except）
  R − S = { t ∣ t ∈ R ∧ t ∉ S } R - S = \{t|t\in R \wedge t\notin S\} R−S={t∣t∈R∧t∈/​S}
• 3.交（Intersection）
  R ∩ S = { t ∣ t ∈ R ∧ t ∈ S } R \cap S = \{t|t\in R \wedge t\in S \} R∩S={t∣t∈R∧t∈S}
• 4.笛卡尔积（Cartesian Product）
  R × S = { t r t s ∣ t r ∈ R ∧ t s ∈ S } R \times S = \{t_r t_s | t_r \in R \wedge t_s \in S\} R×S={tr​ts​∣tr​∈R∧ts​∈S}

---

2.4.2 专门的关系运算（选择、投影…)

定义：
    （1）设关系模式为$R(A_1,...,A_n)$。它的一个关系设为$R$。$t\in R$ 表示$t$是$R$的一个元组。$t[A_i]$表示元组t中相应于属性$A_i$的一个分量。
    （2）给定一个关系$R(X,Z)$,$X$和$Z$为属性组。当$t[X]=x$时，$x$在$R$中的象集（Images Set）定义为 ：
Z x = { t [ Z ] ∣ t ∈ R , t [ X ] = x } Z_x = \{ t[Z] | t\in R,t[X] = x\} Zx​={t[Z]∣t∈R,t[X]=x}

---

• 1.选择（Selection）
  σ F ( R ) = { t ∣ t ∈ R ∧ F ( t ) = t r u e } \sigma_F(R) = \{t | t\in R \wedge F(t) = true\} σF​(R)={t∣t∈R∧F(t)=true}
      例如查询IS系的全体学生：
  $${\sigma }_{Sdept{=}^{\prime }I{S}^{\prime }}(Student)$$
• 2.投影（Projection）
  Π A ( R ) = { t [ A ] ∣ t ∈ R } \Pi_A(R) = \{t[A] | t\in R\} ΠA​(R)={t[A]∣t∈R}
      例如查询所有学生的姓名：
  $${\Pi }_{Sname}(Student)$$
• 3.连接（Join）
  R ⋈ A θ B S = { t r t s ∣ t r ∈ R ∧ t s ∈ S ∧ t r [ A ] θ t s [ B ] } R \underset{A \theta B} \Join S = \{t_r t_s | t_r\in R \wedge t_s \in S \wedge t_r[A] \theta t_s[B]\} RAθB⋈​S={tr​ts​∣tr​∈R∧ts​∈S∧tr​[A]θts​[B]}
  其中$A$和$B$分别为$R$和$S$上度数相等且科比的属性组，$\theta$是比较运算符。
  • 等值连接：$\theta$为“=”的连接运算。
  • 自然连接：是一种特殊的等值连接，它要求两个关系中进行比较的分量必须是相同的属性组，并且在结果中把重复的属性列去掉。
  • 外连接（outer join）：如果把舍弃的元组也保存在结果关系中，而在其他属性上填空值（Null），那么这种连接就叫做外连接。
  • 左外连接（LEFT OUTER JOIN或LEFT JOIN）：如果只把左边关系$R$中要社区的元组保留就叫做左外连接。
  • 右外连接（RIGHT OUTER JOIN或RIGHT JOIN）：如果只把右边关系$S$中要舍弃的元组保留就叫做右外连接。

• 4.除运算（Division）
      给定关系$R(X,Y)$和$S(Y,Z)$,其中$X、Y、Z$为属性组。$R$中的$Y$与$S$中的$Y$可以有不同的属性名，但必须出自相同的域集。
  R ÷ S = { t r [ X ] ∣ t r ∈ R ∧ Π Y ( S ) ⊆ Y x } R \div S = \{t_r[X] | t_r \in R\wedge \Pi_Y(S) \subseteq Y_x \} R÷S={tr​[X]∣tr​∈R∧ΠY​(S)⊆Yx​}
  

---

2.5 关系演算

2.5.1 元组关系演算语言ALPHA

    元组关系演算以元组变量作为谓词变元的基本对象。一种典型的元组关系语言是E.F.Codd提出的ALPHA语言（未实际实现）。
    ALPHA语言主要有GET、PUT、HOLD、UPDATE、DELETE、DROP6条语句，基本格式为：
$$操作语句工作空间名(表达式):操作条件$$
    除此之外，还可以在基本格式的基础上加上排序要求、定额要求等。

---

一、检索操作
检索才做用GET语句实现
（1）简单检索（即不带条件的检索）
【例1】查询所有学生的数据。
$$GETW(Student)$$
（2）限定的检索
【例2】查询信息系（IS）中年龄小于20岁的学生的学号和年龄。
$$GETW(Student.Sno,Student.Sage):Student.Sdept=IS\wedge Student.Sage\le 20$$
（3）带排序的检索
【例3】查询计算机科学系（CS）学生的学号、年龄，结果按年龄降序排序。
$$GETW(Student.Sno,Student.Sage):Student.Sdept=CSDOWNStudent.Sage$$
（4）带定额的检索
【例4】查询信息系年龄最大的三个学生的学号及其年龄，结果按年龄降序排序。
$$GETW(3)(Student.Sno,Student.Sage):Student.Sdept=ISDOWNStudent.Sage$$
（5）用元组变量的检索
（6）用存在量词的检索
操作条件中使用两次时必须用元组变量
【例5】查询选修了这样课程的学生学号，其直接先行课时6号课程
$$RANGECourseCX$$
$$GETW(SC.Sno):\exists CX(CX.Cno=SC.Cno\wedge CX.Pcno=6)$$
【例6】查询成绩为90分以上的学生名字与课程名字。
$$RANGESCSCX$$
$$GEWW(Student.Sname,Course.Cname):\exists SCX(SCX.Grade\ge 90\wedge SCX.Sno=Student.Sno\wedge Course.Cno=SCX.Cno)$$
（7）用全称量词的检索
【例7】查询不选1号课程的学生名字
$$RANGESCSCX$$
$$GETW(Student.Sname):\forall SCX(SCX.Sno\ne Student.Sno\vee SCX.Cno\ne 1)$$
    或者为：
$$RANGESCSCX$$
$$GETW(Student.Sname):\neg \exists SCX(SCX.Sno=Student.Sno\wedge SCX.Cno=1)$$
【例8】查询选修了全部课程的学生姓名。
$$\begin{gathered} RANGECourseCX \\ SCSCX \end{gathered}$$
$$GETW(Student.Sname):\forall CX\exists SCX(SCX.Sno=Student.Sno\wedge SCX.Cno=CX.Cno)$$
（8）用蕴含（Implication）的检索
【例9】查询最少选修了95002学生所选课程的学生学号
【解题思路】对Course中所有课程，以此检查每一门课程，看95002是否选秀了该课程，如果选修了，则再看某一个学生是否也选秀了该门课。如果对于95002所选的每门课该学生都选秀了，则该学生为满足要求的学生。把所有这样的学生全都找出来即完成了本题。
$$\begin{gathered} RANGECourseCX \\ SCSCX \\ SCSCY \end{gathered}$$
$$GETW(Student.Sno):\forall CX(\exists SCX(SCX.Sno=95002\wedge SCX.Cno=CX.Cno)\to \exists SCY(SCY.Sno=Student.Sno\wedge SCY.Cno=CX.Cno))$$
（9）聚集函数

【例10】查询学生所在系的数目。
$$GETW(COUNT(Student.Sdept))$$
【例11】查询信息系学生的平均年龄
$$GETW(AVG(Student.Sage)):Student.Sdept=IS)$$

---

二、更新操作
（1）修改操作

• 1.首先用HOLD语句将要修改的元组从数据库中读到工作空间中；
• 2.然后用宿主语言修改工作空间中元组的属性值
• 3.最后用UPDATE语句将修改后的元组送回到数据库中
  【例12】把95007学生从计算机科学系转到信息系
  $$\begin{gathered} HOLDW(Student.Sno,Student.Sdept):Student.Sno=95007 \\ MOVEISTOW.Sdept \\ UPDATEW \end{gathered}$$

（2）插入操作

• 1.首先用宿主语言在工作区间中建立新元组
• 2.然后用PUT语句把该元组存入指定的关系中。
  【例13】学校新开设了一门2学分的课程“计算机组织与结构”，其课程号为8，直接先行课为6号课程。插入该课程元组。
  $$\begin{gathered} MOVE8TOW.Cno \\ MOVE计算机组织与结构TOW.Cname \\ MOVE6TOW.Cpno \\ MOVE2TOW.Ccredit \\ PUTW(Course) \end{gathered}$$

（3）删除操作

• 1.用HOLD语句把要删除的元组从数据库中读到工作空间中；
• 2.用DELETE语句删除该元组。
  【例14】95110学生因故退学，删除该学生元组。
  $$\begin{gathered} HOLDW(Student):Student,Sno=95110 \\ DELETEW \end{gathered}$$