数据库--第二章--关系数据库

一.关系数据结构及形式化定义
1.关系
（1）域：域是一组具有相同数据类型的值的集合。
（2）笛卡尔积：:给定一组域D1，D2，…，Dn，允许其中某些域是相同的。
    如：D1，D2，…，Dn的笛卡尔积为：
    D1×D2×…×Dn ＝｛（d1，d2，…，dn）｜di属于Di，i＝1，2，…，n｝
注意：所有域的所有取值的一个组合且不能重复。
a.笛卡尔积中每一个元素（d1，d2，…，dn）叫作一个n元组（n-tuple）或简称元组。
b.笛卡尔积元素（d1，d2，…，dn）中的每一个值di 叫作一个分量。
（3）关系
D1×D2×…×Dn的子集叫作在域D1，D2，…，Dn上的
关系，表示为   R（D1，D2，…，Dn）
a.关系中的每个元素是关系中的元组，通常用t表示。
b.关系中不同列可以对应相同的域
c.为了加以区分，必须对每列起一个名字，称为属性
d.若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选码
e.最极端的情况：关系模式的所有属性组是这个关系模式的候选码，称为全码
f.若一个关系有多个候选码，则选定其中一个为主码：候选码的诸属性称为主属性，不包含在任何侯选码中的属性称为非主属性或非码属性。
2.关系模式
（1）关系模式是对关系的描述
（2）关系模式可以形式化地表示为：
        R（U，D，DOM，F）
        R                关系名
        U                组成该关系的属性名集合
        D                U中属性所来自的域
        DOM           属性向域的映象集合
        F                 属性间数据的依赖关系的集合
3.关系数据库
（1）在一个给定的应用领域中，所有关系的集合构成一个关系数据库
4.关系模型的存储结构
关系数据库的物理组织：
a.有的关系数据库管理系统中一个表对应一个操作系统文件，将物理数据组织交给操作系统完成
b.有的关系数据库管理系统从操作系统那里申请若干个大的文件，自己划分文件空间，组织表、索引等存储结构，并进行存储管理。
二.关系操作
（1）常用的关系操作
a.查询操作：选择、投影、连接、除、并、差、交、笛卡尔积
b.选择、投影、并、差、笛卡尔基是5种基本操作
c.数据更新：插入、删除、修改
d.关系操作的特点：集合操作方式：操作的对象和结果都是集合，一次一集合的方式
三.关系的完整性
a.实体完整性和参照完整性:
关系模型必须满足的完整性约束条件称为关系的两个不变性，应该由关系系统自动支持
b.用户定义的完整性:
应用领域需要遵循的约束条件，体现了具体领域中的语义约束 
1.实体完整性
若属性A是基本关系R的主属性，则属性A不能取空值
空值就是“不知道”或“不存在”或“无意义”的值
2.参照完整性
(1)在关系模型中实体及实体间的联系都是用关系来描述的，自然存在着关系与关系间的引用。
(2)设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是R的外码:
基本关系R称为参照关系,基本关系S称为被参照关系或目标关系.
(3)参照完整性规则
若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：
或者取空值（F的每个属性值均为空值）
或者等于S中某个元组的主码值
3.用户定义的完整性
4.关系代数
关系代数是一种抽象的查询语言，它用对关系的运算来表达查询
5.传统的集合运算
5.1 R和S
具有相同的目n（即两个关系都有n个属性）
相应的属性取自同一个域
5.2R∪S 
仍为n目关系，由属于R或属于S的元组组成
             R∪S = { t|t 属于 R∨t 属于S }
5.3R - S 
仍为n目关系，由属于R而不属于S的所有元组组成
               R -S = { t|t属于R∧t属于S }
5.4 R∩S
仍为n目关系，由既属于R又属于S的元组组成
                    R∩S = { t|t 属于R∧t 属于S }
              R∩S = R –(R-S）
5.5 R×S 
列：（n+m）列元组的集合
元组的前n列是关系R的一个元组
后m列是关系S的一个元组
行：k1×k2个元组
R×S = {tr ts |tr 属于R ∧ ts属于S }
6.专门的关系运算
6.1选择
选择又称为限制
选择运算符的含义
在关系R中选择满足给定条件的诸元组
         σF(R) = {t|t属于R∧F(t)= '真'}
6.2投影
从R中选择出若干属性列组成新的关系
              πA(R) = { t[A] | t 属于R }
        A：R中的属性列
6.3连接
连接也称为θ连接
连接运算的含义
从两个关系的笛卡尔积中选取属性间满足一定条件的元组
悬浮元组
两个关系R和S在做自然连接时，关系R中某些元组有可能在S中不存在公共属性上值相等的元组，从而造成R中这些元组在操作时被舍弃了，这些被舍弃的元组称为悬浮元组。
6.4除运算
给定关系R (X，Y) 和S (Y，Z)，其中X，Y，Z为属性组。
R中的Y与S中的Y可以有不同的属性名，但必须出自相同的
域集。
R与S的除运算得到一个新的关系P(X)，
P是R中满足下列条件的元组在 X 属性列上的投影：
元组在X上分量值x的象集Yx包含S在Y上投影的集合