数据库关系代数

1. 传统的关系运算

传统的关系运算起源于数学的集合论

1. 笛卡尔积运算
2. 差运算
3. 交运算
4. 并运算

2. 专门的关系运算

数据库中特有的运算规则

1. 选择
2. 投影
3. 连接
4. 除运算

2.1 关系运算中的基础概念

在学习关系代数的时候，脑海中要时刻拥有一张表格，还有表格的一些参数，表格如下：

比如说我们每个人都见过成绩单，牢记以下的比喻

• R（关系模式）就是一张表格（成绩单）。

• R[A₁, A₂, A₃,…A_i] = R[语文，英语，数学……学科]

• t 为某个同学

• t [A_i] 就可以当作某个同学的某一门成绩

例如：R为期中考试全班的成绩单，R[A₁, A₂, A₂…A_i]为考试所有科目，t 代表了张三这个人，t[A_i]代表了张三某门课程的考试成绩。

• A不再是单独的一个属性，A可以代表一个或者多个属性
• t[A]也不再是单独的某个属性分量，A代表多少个属性，t[A]就可以代表多少个属性分量

• 做一个比喻，A再也不单独是某个学科，而是可以代表一科或者多科学科
• t[A]也就不当作某个同学的一门成绩，而是可以当成某个同学的多门成绩，具体看A代表了多少学科
• A（头上一横……）就代表了除了A代表的学科以外的所有学科

2.2 元组的连接

通过连接得到的这个元组有以下属性

• 前 m 个分量来自于 R 表中的一个 m 元组
• 后 n 个分量来自于 S 表中的一个 n 元组

2.3 象集(除法运算重要工具)

给了我们一个关系R（X，Y），X和Y都代表了一个属性组，也就是X和Y都是属性的数量都是一列到多列

• 从上面的比喻来说，X是成绩单一门课程的成绩或者多门课程成绩，Y也是一门课程的成绩或者多门课程的成绩
• 当t[X] = x时: x在R中的象集为:Y_x = {t[Y] | t 属于 R, t[X] = x}
• 公式比较难懂，但是其实本身很简单，也十分容易寻找

如下例：

3 数学上的运算

3.1 并运算

能够使用并运算的两个前提：

1. 两张表格的元一样(两张表格列数一样)
2. 相同的属性取自同一个域(属性都一样)

如图，在合并了之后呢，两个原始的表格和合并之后的新表格元数一样（列数一样）

• 如果两个表之间有重复的元组，并运算会做去重处理，类似于集合的之间的并集

3.2 差运算

能够使用差运算的两个前提：

1. 两个表格列数一样
2. 两个表格的属性都相同

两个表进行了差运算之后，都仍然是n列

S-R表：S表中有任意一个元组和R表的一样，S表就去掉这个元组

R-S表：R表中有任意一个元组和S表的一样，R表就去掉这个元组

简言之：就是一张表，嫌弃另外一张表，我身上有那里和你一样，我改还不行嘛！

3.3 交运算

交运算能够使用的两个前提：

1. 表格的列数相同
2. 表格的属性都相同

两个表格进行并运算，就是把两个表格中一样的元素找出来，找出两张表格的共性

3.4 笛卡尔积（万能运算）

没有任何使用限制，万物皆可笛卡尔积。

R表：n元关系，k1个元组(k1行，n列)

S表：m元关系，k2个元组(k2行，m列)

R表和S表进行笛卡尔积

得到一个(k1 * k2)元，(n + m)列的新表，如下：

两个表进行了笛卡尔积运算之后

以上就是所有的数学关系代数运算

4. 关系运算

整个关系代数的学习需要使用学生课程选课数据库，需要熟悉以下表格：

4.1 表格简介

Student表：

Course表：

SC表：

---

4.2 选择（Selection）

• 选择也称之为限制
• 选择是针对的元组进行选择，选择出满足条件的元组

选出来的结果是一行行的

4.2.1 选择查询(例1)

查询全体信息系(IS)的学生所有信息

1. 信息系在Student表格中有，所有我们的R表的位置是Student

   Student表格的属性集合为{"Sno", "Sname", "Ssex", "Sage", "Sdept"}

2. 我们需要的条件是F（Sdept = IS）

所以题目的答案为：

查询出来的结果为：

4.2.2 选择查询(例2)

查询年龄小于20岁的学生所有信息

1. 年龄在Student表格中存在，所以我们现需要查询的表格为Student表格
2. 我们需要的条件是年龄小于20岁F(Sage < 20)

所以题目的答案为：

查询出来的结果为：

4.2.3 选择查询(练习题)

1. 查询性别为女生的学生信息
2. 查询学分等于四分的课程信息
3. 查询CS系的学生信息

总结：选择运算是查询符合条件的行

---

4.3 投影(Projection)

我们可以看见，使用选择运算的时候，一行的所有全部信息我们都获取了，比如我查询了小于20岁的学生信息，我连学生的名字，学号，性别所有的信息都知道了，因为选择是选择出一行一行的结果，那么如果我只想知道小于20岁的学生名字，其他学号，学院等等的信息我都不想知道

这里就需要投影运算

投影运算是针对属性进行选择的运算，也就是投影是选择出符合条件的一列，并且会自动取消某些行（后面会举例说明）

4.3.1 投影查询(例1)

查询学生的姓名和学生的系，从需要查询的这个条件可以看出来我们需要查询的是姓名列和学生所在系列

1. 学生的姓名和所在系在Student表格中，所以我们需要在Student表格中进行查询
2. 需要查询的属性为学生的姓名和学生的系

题目的答案为：

Sname 和 Sdept之间用逗号分隔

最终我们查询获取的答案如下：

4.3.2 投影查询(例2)

查询学生表Student中有那些系

1. 首先，我们需要在Student表中进行查询
2. 我们需要查询的属性为系

题目答案为：

可是我们最终查询出来的答案应该是什么样子的呢？

图中演示的就是选择运算的自动去重功能

总结：投影查询得到的是一列

4.3.3 选择和投影配合使用（重点）

选择查询是挑选出符合条件的行，投影查询是选择想要的列，那么如果想定位到一个具体的属性，就需要两种查询方式一起使用。

如图：

当我们需要全体数学学院的学生姓名，注意，只需要学生的姓名，其他的信息都不需要。

• 先用选择运算将所有的数学学院的学生挑选出来

在选择运算的基础上，把需要符合条件的姓名通过投影运算查询出来

全体数学学院的学生的姓名（交叉区域）：言小白，李白。

---

4.4 连接（Join）

连接的含义：从两个关系的笛卡尔积中选择属性之间满足一定关系的元组

解释：在两张表的笛卡尔积后得到的那张大表中再次选取一些符合我们条件的元组

多种符号：不同的连接方式对应的符号也有一些细微的差别

4.4.1 一般连接(例题)

一般连接就是条件连接，需要将两个表格按照条件连接起来

第一步：

第二步：

第三步：

因为所有需要挑选的元组都挑选完毕，所以最终的结果如下图

4.4.2 等值连接

等值连接是一种特殊的一般连接

• 两个表需要有相同的属性列

下面通过具体的题目来进行了解

第三步：

最终的结果为：

4.4.3 自然连接（特殊的等值连接）

自然连接是一种特殊的等值连接

这里我们发现了等值连接的一个缺点，R.B和S.B属性是相等的，而我们只需要其中一列就可以，所以R.B和S.B属性只需要保留任意一列就可以了。

换句话说，等值连接因为属性重复而造成了额外的空间浪费，所以我们需要使用自然连接来解决这个问题（去掉重复的列）。

4.4.4 外连接

我们从自然连接中又发现了一个问题，如下图：

图中标记为红色的地方：

在做等值连接时由于彼此之间没有对应的元组（彼此之间特有的元组，我有的你没有，或者你有的我没有，这种情况肯定不会相等），在自然连接和等值连接的时候都会被丢弃，这种连接叫做内连接。

而有时候我们需要保留一张表中这种特有的元组，这些元组不能被丢弃，所以需要使用与内连接相反的连接——外连接来解决特有的元组被丢弃的问题。

外连接：把R表和S表被丢弃的元组捡了回来，并且在最终连接的表中没有的值用NULL替代，最终结果如下

• 左外连接：因为R表在左边，所以最终的结果只保留R表中被丢弃的特有元组，S表的特有元组仍然丢弃
• 右外连接：因为S表在右边，所以最终的结果只保留S表中被丢弃的特有元组，R表的特有元组仍然丢弃

4.4.5 例题

很多时候需要查询的数据分布在两个表格甚至多个表格中，使用连接将表格连接在一起进行查询是十分常用的操作

有表格信息如下：

一、查询所有学生的学号，姓名，课程号以及成绩

• 需要查询的信息分布 S 表和 SC 表中
• 两张表拥有相同的属性，即Sno，所以连接条件就是 S.sno = SC.sno

答案：

当然，使用自然连接也是正确的，自然连接会自动找到相同的属性，并且默认条件就是相同属性的值相同，自然连接就是特殊的等值连接

二、查询CS系的学生的学号，课程号，以及成绩

• 需要查询的信息分布在 S 表和 SC 表中
• 两张表相同的属性是 Sno，所以依靠 Sno 将两张表连接
• 需要对连接后的表格进行选择，条件是 Sdept = ‘CS’

答案：

其实这道题可以再优化一下

因为我们只需要 S 表中属于CS系的，没必要将 S 表的所有系的学生都和 SC 表连接起来
所以可以先把 S 表中 CS 系的学生挑选出来，然后再进行连接操作。

优化后的答案：

很明显优化后的结果挑选速度更快，占用空间更小。

---

4.5 除运算

一些学习上的感悟：除运算在关系代数中是一个十分强大的工具，但是除法运算的定义看起来十分的晦涩难懂，可定义又是十分重要的，相信很多人在看教科书的过程中，每次看定义这块的时候都会很懵，然后看了例子之后就会理解定义的意思，但是懂了定义的大意之后很少就会有人再回头去理解定义，例子固然是用来让我们可以清晰的理解定义的大意的，但是我们通过例子理解定义的大意之后，我们仍然要回归定义，只有这样我们才能学得深入（个人对于学习上的一些理解，欢迎一起交流）

4.5.1 除运算基本概念

假设我们手里面有一张数据库如下：

现在我们有一个问题，就是我们想要找出学习最积极的那位学生，也就是选修了所有课程的那个学生，先暂时放弃除法运算，以我们最朴素的情感，用自己的逻辑来解决这道题目，按照自己的想法，就像设计一个程序一样，需要几步做出这个问题

以下是按照我自己的想法：

• 首先，把SC表拆了，把每个学生单独做成一个表，如下：
  

• 然后问题就变成了拆开之后的表格和C表一一比对，找出拆开之后的三个表格中的Course属性和C表一模一样（也就是拆开之后包含了所有课程的表），然后找出那个人是谁，然后问题就解决了
  

实际上，我们的除法运算就是这个逻辑，但是除法运算的更为严谨，以下是除法运算的的步骤（SC ÷ C），这里我们仍然采用我们上面使用的数据库，直接说结论(SC ➗ C)能找出答案

• 第一步：找出C表中和SC表中相同的属性，也就是C属性，对C属性做投影操作（也就是找出总的课程有多少门）

• 第二步：找出SC表中和C表不相同的属性，也就是S属性，也对S属性做投影操作（找出一共有几个学生）

• 第三步：找出SC表中S的象集（每个学生分别都选了些什么课）
  

• 最后一步就是进行比对，只有张三的象集包含了所有C表中的所有课程，所以(SC ➗ C = 张三）

简单的总结，当需要查询选取所有课程的学生的名单时

• 需要获取所有的课程到底是那些课程，所以对C表进行投影
• 需要获取选课的学生有那些，所以需要对SC表的S进行投影
• 需要知道每个学生都选择哪些课程才能知道那个学生全选了课程，所以还需要的数据是SC表中，S的象集
• 最后，需要进行比对操作，看看那个学生的象集包含了C表的投影

除法运算像一个函数，封装了以上的所有功能，我们调用这个函数的时候，把正确的参数放进去，就可以得到我们想要的答案

4.5.2 例题

S表 ：

C 表：

SC 表：

题目如下：

查询选修了所有课程的学生姓名，年龄

1. 对 C 表进行投影，找出所有的课程编号
2. 用 SC 表 除 C表，找出选了C表中所有课程的学生
3. 将符合条件的学生的姓名和年龄找出来

答案：

其中，第2步的除法运算详细过程如下：

当我们看完结论，做完题目，再回头看定义，除法运算的定义如下：

反复多理解几次，也想用自己的话解释定义，但是定义太抽象了，不举例很难说清楚。

……只可意会不可言传……如果使用例子无非把上面的例子再说一遍。

这里使用其他博客的对于除法运算的总结：RS÷S的意义就是：“在R和S的联系RS中，找出与S中所有的元组有关系的R元组”，这篇博客地址为：关系代数除法运算

❤️完结撒花❤️

---

2021/5/24：特别鸣谢ai_leilei指出本文错误之处，现已修改！

超详解析，手打不易，转载注明出处，点赞收藏，多谢支持

• 关系代数是一种抽象的查询语言
• 关系代数的运算对象与运算结果都是关系
• 由于运算结果也是关系，所以新关系内的元组也不能有重复的
  
  

集合运算

把关系看成元组的集合，以元组作为集合中的元素进行集合运算

集合运算是典型的二目运算(除笛卡尔积外)，交，并，差操作都需满足相容性
① 具有相同的度(即两个关系的属性名、属性数量必须一致)；
② 关系R中第i个属性和关系S中第i个属性必须来自同一域。

 并(Union)运算：R ∪ S = { t | t∈R ∨ t∈S }

  其中 t 是元组

  并运算实例：合并两个集合，去掉重复的

      

                R ∪ S =

  

 交(Intersection)运算：R ∩ S = { t | t∈R ∧ t∈S }

 其中 t 是元组

  交运算实例：选出在两个关系内相同的元组

      

                R ∩ S =




  

 差(difference)运算：R - S = { t | t∈R ∧ ¬t∈S }

  其中 t 是元组，R-S的差 = R减去R和S的交集

  差运算实例：R-S的差 = R减去R和S的交集

      

                R - S =




  

 笛卡尔积：R × S = { t_r⌒t_s| t_r∈R ∧ t_s∈S }

域的笛卡尔积 = 域的基数相乘
而集合的笛卡尔积也是如此，把集合内元组的个数看作域的基数相乘，得到的就是集合的笛卡尔积

笛卡尔积实例：R中的3元组 × S中的3元组 = 9，则诞生出的新关系有9个元组

      

                R × S =

---

关系运算

 选择(selection)运算：σ_F( R ) = { t | t∈R ∧ F(t) = ‘真’ }

  从R关系表内选择出符合关系F的元组t

  选择运算实例：选择出T关系中年龄大于18岁的男性

σ_{(Sex=‘男’ ∧ Age>18)}( T ) =



  

 投影(projection)运算：∏_A( R ) = { t[A]| t∈R }

  从R关系表内投影出每个元组的A列构成新关系

  投影运算实例：投影出T关系中姓名、年龄两列

        ∏_Name,Age( T ) =




  

 选择投影组合运算：∏_A( σ_F( R ) )

  可以从特定元组中投影出特定列
从R关系中选出符合F条件的元组，在从这些元组内投影出特定的A列

  选择投影组合运算实例：选择出T关系中年龄大于18岁的男性并投影出该关系中姓名、年龄两列

   ∏_Name,Age( σ_{(Sex=‘男’∧Age>18)}(T)) =



  

 连接(join)：通过共同属性连接两个表，又称θ连接

  连接分为两种

  ① 等值连接：R.A = S.B(A、B属性名可不同也可以相同)

    语法：R ⋈_AθBS = { t_r ⌒ t_s | t_r ∈ R ∧ t_s ∈ S ∧ t_r[A] = t_s[B] }

其中，R和S为关系表，A、B分别是关系R、S上的可比属性组(A、B两个属性组的域相同，就称为可比属性组)

θ称为比值符，也就是>、<、=号；
当θ两边的属性相等时，等值S连接成立；

等值连接其结果是从关系R和S的笛卡尔积中选出属性组AB相等的元组，即：σ_(A=B)(R×S)

等值连接实例：学生关系S 与 课程关系C进行等值连接

公式：S ⋈ C = { t_s ⌒ t_c | t_s ∈ S ∧ t_c ∈ C ∧ t_s[CNO] = t_c[CNO] }

结果可以看作是：从S×C的笛卡尔积内选择出S.CNO = C.CNO的元组，即：σ_(CNO=CNO)(S×C)

  

  ② 自然连接：R.A = S.A(必须有相同的属性名且域相同才可以进行自然连接)

    语法：R ⋈S = { t_r ⌒ t_s | t_r ∈ R ∧ t_s ∈ S ∧ t_r[A] = t_s[A] }

特殊的等值连接，比较的分量必须是同一属性组

在等值连接的基础上去掉重复的属性列

自然连接实例：学生关系S 与 课程关系C进行自然连接

公式：S ⋈ C = { t_s ⌒ t_c | t_s ∈ S ∧ t_c ∈ C ∧ t_s[CNO] = t_c[CNO] }

  

自然连接与等值连接的区别与联系

⊙自然连接要求同名同域的属性组才可连接，而等值连接仅要求域相同；
⊙自然连接是去掉重复列的等值连接；
⊙自然连接一定是等值连接，而等值连接不一定是自然连接；
⊙自然连接后列的数量小于等于等值连接后列的数量。

 除法(division)运算：R ÷ S = { t_r[X] | t_r∈R ∧ ∏_y(S)⊆Y_X }

除运算核心步骤：设R、S为关系，X、Y、Z为属性集

1. 分出X、Y、Z三个属性集
2. 列出S对Y属性集的投影
3. 找出R中满足x值对应的象集包含了关系S对Y属性集的x值

  除法运算需满足的条件：设有关系R(X，Y)、S(Y，Z)，其中X，Y，Z为属性集合，R中的Y与S中的Y可以有不同的属性名，但对应的属性组必须来自同一域

由于除运算比较抽象难理解，在此详细解析(结合图解)：
    关系R和关系S共有的属性集是Y，而R÷S得到的值就是关系R对Y属性组的投影，即X属性组(S关系内没有的)，而这X属性组还需满足特定条件(元组在X属性组上的分量值x的象集Y_X包含了S对Y属性组的投影集合)。

除运算图解：除法举例

按步骤来求R÷S：
①分出X、Y、Z三个属性集：X属性集是R特有的，Y为公共的，Z为S特有的；
②求出S对Y属性集的投影：∏_C,D(S)=
得到投影∏_C,D(S) = { (c4,d5) , (c3,d5) }；
③列出X属性组的全部x分量的象集，看下哪个象集包含了第②步求到的投影，那么这些x分量就是R÷S的商：

在R中，X属性组可取分量x：{ (a1,b2) , (a2,b4) , (a3,b5) }

 (a1,b2)对应象集：{ (c4,d5) , (c3,d5) }；
 (a2,b4)对应象集：{ (c1,d3) };
 (a3,b5)对应象集：{ (c2,d8) };
只有(a1,b2)的象集Y_X包含了S对Y属性集的投影集合
故R÷S = {(a1,b2)}

图片有错:CD改为AB

数据库关系代数练习题

因为数据库关系代数的特殊符号在电脑上很难输入，所以采用了手写，字不太好看😂

关系代数基础链接数据关系代数详解

本篇是在上一篇《数据库关系代数详解》的基础上，对关系代数中的内容进行一些简单的做题应用，对于关系代数中基础的概念不再赘述。

这些内容我也做成了pdf，就在我的主页分享的文件中