关系的数学定义

性质

• 域 是一组具有相同数据类型的值的集合
• 列是同质的 ，即每列中的分量是同一个类型的数据，来自同一个域。
• 不同的列可以出自同一个域 ，一列为一个属性。在同一个关系中， 属性名不能相同 。
• 列的顺序可以任意转换。
• 任意 两个元组 （行或记录） 不能完全相同
• 行的顺序无关紧要 （可以任意转换）
• 行、列的交集称为分量，每个 分量的取值必须为原子值 ，即 分量不能再分 。

基本类型

基本表、查询表、视图表

关系模式

关系的描述称为关系模式，他可以形象化的表示为 R (U,D,dom,F)

• R 为关系名
• U 为组成该关系的各属性名集合（属性组）
• D 为属性组 U 中属性所来自的域
• dom 为属性向域的映像
• F 为属性间数据的依赖关系

通常，在不产生混淆的情况下，关系模式也可以称为关系

关系代数

关系代数是一种抽象的查询语言

关系代数的运算

关系代数的运算按运算符的性质不同，可分为两大类。

传统的集合运算

一般为水平运算

运算符

• ∪ 并、- 差、∩ 交、x 笛卡尔积

• 并运算：列数相同，将两个数据表中的数据并到一起，自动去除重复项

• 差运算：（C1-C2），在 C1 中移除和 C2 重复的项目

• 笛卡尔积：将二表的列横向排开，列名重名时自动加上前缀

都是二目运算，即集合运算符两边都必须有运算对象

专门的关系运算

既有水平也有垂直

选择、投影、连接、除