SQL数据库——关系代数(一)及解题套路

数据库的类型

我们一般会把数据库简单区分成关系型数据库(SQL)和非关系型数据库(NoSQL)。

关系型数据库：MySQL、MariaDB、PostgreSQL、Oracle、SQL Server。比较有意思的是关系型数据库的logo很多都是动物。

非关系型数据库：一般只需要知道两个——Redis和MongoDB。Redis是键值类型(Key-Value)的数据库，类似JAVA里的Collection类的Map，默认情况下Redis很难进行类似SQL里的where和级联select操作；MongoDB被称作文档型数据库，介于SQL和Redis之间，它没有表(Table)的结构，你想怎么插入就怎么插入，但是可以进行级联条件查询等操作。

关系型数据库的关系

记$R(A_1,A_2,...)$为关系模式，其中$R$为关系名，$A_1$等为组成该关系的属性名集合。

关系模式的详细表示为$R(U,D,DOM,F)$——$U$即为$A_1,A_2$；$D$为$U$中属性来自的域；$DOM$为属性$U$向域$D$的映射集合；$F$为依赖关系，如主键、外键等。但根据考试经验，这玩意一般用不到。

可以简单把$R$理解成一个表，$A_1$等为属性列的名字。如一个学生信息表：学生信息表(学号，性别，生日，专业，姓名...)。这样的理解方式有助于后面对连接操作的理解。

表里的每个值被称为元组，即所谓的“行”。

关系代数

关系代数是关系型数据库所完备的一类数学逻辑。其基本运算符有：

集合/逻辑运算符	含义	比较运算符	含义
$\cup$ / $\vee$	并/或	$>$	大于
$\cap$ / $\wedge$	交/与	<	小于
$\times$	笛卡尔积	$\le$	小等于
-	差	$\ge$	大等于
$\neg$	非	=	等于

特殊操作还有四个：

运算符	含义	运算符	含义
$\sigma$ (读作"“希格玛”")	选择	$\pi$ 或 $\prod$	投影
$\bowtie$ (读作"join")	(自然)连接	$÷$	除

涉及到连接，除了自然连接$\bowtie$，就必须提到几种扩展连接方式：

运算符	含义	运算符	含义
${\bowtie }_C$	$\theta$连接(条件连接)	$\stackrel{o}{\bowtie }$	自然连接
${\stackrel{o}{\bowtie }}_L$	左外连接	${\stackrel{o}{\bowtie }}_R$	右外连接

这几种连接方式将在后面和笛卡尔积做集中区分。

理解关系代数符号

从一道例题出发：

① 投影

要理解 ${\pi }_{A_1,A_4}({\sigma }_{A_2{<}^{\prime }2017^{\prime }\wedge A_4{=}^{\prime }95^{\prime }}(R\bowtie S))$ 就要先从投影说起。

$\pi$ 或 $\prod$ 被称为投影操作，但我更偏向于把它称为去冗。

什