数据库系统概论--读书笔记--8 关系运算： 选择 投影 连接 除运算

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

1.设关系模式为$R(A_1,A_2,\cdots ,A_n)$,
一个关系设为R。$t\in R$ 表示t是R的一个元祖。
$t[A_i]$ 则表示元祖t中相应于属性$A_i$的一个分量。

2.若$A=A_{i1},A_{i2},\cdots ,A_{in}$,
其中$A_{i1},A_{i2},\cdots ,A_{ik}$是$A_1,A_2,\cdots ,A_n$ 中的一部分
则A称为属性列。t[A]=$(t[A_{i1}],t[A_{i2}],\cdots ,t[A_{ik}],)$表示元组t在属性列A上诸分量的集合，
$\overline{A}$则表示 { A 1 , A 2 , ⋯   , A n } \{A_1,A_2,\cdots,A_n \} {A1​,A2​,⋯,An​}中去掉$A_{i1},A_{i2},\cdots ,A_{ik}$
后剩余的属性组。

3.R为n目关系，S为m吗关系。$t_r\in R{t}_s\in S$,
$\stackrel{⌢}{t_r{t}_s}$称为元组的连接

4 . 给定一个关系R(X,Z),X和Z为属性组，当t[X]=x时，
x在R中的象集定义为：
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}
表示R中属性组X上值为x的诸元组在Z上分量的集合。

1.选择(selection)
又称限制(restriction)。在关系R中选择满足给定条件的
诸多元组，记作
σ F ( R ) = { t ∣ t ∈ R ∧ F ( t ) \sigma_F(R)=\{t|t\in R\wedge F(t) σF​(R)={t∣t∈R∧F(t)=‘真’}
F表示选择条件，F的基本形式 $X_1\theta Y_1$
$\theta$表示比较运算符，$<>=\le \ge 、$ 或<>
X1 Y1是属性名、常量、简单函数
还可逻辑运算非与或

2 . 投影(projection)
关系R上的投影是从R中选择出若干属性列组成新的关系。记作
⊓ A ( R ) = { t [ A ] ∣ t ∈ R } \sqcap_{A}(R)=\{t[A]|t\in R\} ⊓A​(R)={t[A]∣t∈R}
其中A为R中的属性列。

3 . 连接(jion) $\theta$连接，是从两个关系的笛卡尔积中选择属性间满足 一定条件的元组记作

A和B分别为R和S上列数相等且可比的属性组，$\theta$ 是比较运算符。连接运算从R和S的笛卡儿积R * S 中选取R关系
在A属性组上的值与S关系在B 属性组上的值满足比较关系$\theta$的元组。
常用的连接：等值连接，自然连接

自然连接是一种特殊的等值连接。要求两个关系中进行比较的
分量必须是同名的属性组。并且在结果中把重复的属性列去掉。

在自然连接时
悬浮元组：被舍弃的元组
外连接： 把悬浮元组保存在结果中，其他属性为空
左连接：保留左边
右连接：保留右边

4 . 除运算
……