（个人学习）关系数据结构及形式化定义

一、关系

域：域是一组具有相同数据类型的值的集合。

笛卡尔积：给定一组域（D1，D2，... ，Dn），允许其中某些域是相同的（D1，D2，... ，Dn）得笛卡尔积为（D1*D2*...*Dn）={(di,d2,...dn) | di∈Di，i=1,2,3,...,n}

一个域允许的不同取值个数为这个域的基数。

二、关系代数

1. 并（union）

关系R与S的并记作

R∪S={t|t∈R∨t∈S}

由属于R或S的元组组成

2. 差（except）

关系R与S的差记作

R-S={t|t∈R∧t∉S}

由属于R而不属于S的所有元组组成

3. 交（intersection）

关系R与S的交记作

R∩S={t|t∈R∧t∈S}

由既属于R又属于S的元组组成

专门的关系运算

选择（selection）又称为限制（restriction），它是在关系R中选择满足给定条件的诸元组。

σ是选择运算符

例：在用户表中，选择年龄=18的所有数据，这是选择。

投影（projection）关系R的投影是从R中选取若干属性列组成新的关系。

Π是投影运算符

例：如果性别属性数据投影在学生表中，结果是男或女。

连接（join）从两个关系的笛卡尔积中选取属性间满足一定条件的元组。

∞是连接运算符

除运算（division）设关系R除以关系S的结果为关系T，则T包含所有在R但不在S中的属性及其值，且T的元组与S的元组的所有组合都在R中。

÷是除运算符