数据库第二章总结！

第二章，关系数据库

1.关系的几个基本概念：

1）域（domain）：域是一组具有相同数据类型的值的集合；

2）笛卡尔积（cartesian product）：两个域所有可能的组合情况。比如域A{a，b}，域B{c，d}，则A X B的笛卡尔积为{ac，ad，bc，bd}，笛卡尔积后的集合中元素的数量就是两个域本来元素数量的乘积，三个或者三个以上域进行笛卡尔积也同理；

基数（Cardinal number）

n若Di（i＝1，2，…，n）为有限集，其基数为mi（i＝1，2，…，n），则D1×D2×…×Dn的基数M为：

笛卡尔积的表示方法

笛卡尔积可表示为一张二维表

表中的每行对应一个元组，表中的每列对应一个域

3）关系（relationship）：笛卡尔积的子集成为关系，记作R(D1,D2...,Dn)，笛卡尔积的全体就是没有关系

2.候选码（candidate key）：某一属性组的值能唯一标识一个元组，而其子集不能，则该属性组称为候选码；若一个关系有多个候选码，则选定其中一个作为主码（primary key）；候选码的诸属性称为主属性（prime attribute），不包含任何候选码的属性称为非主属性（non-prime attribute）或者非码属性（non-key attribute）

3.关系模式：R(U,D,DOM,F)，其中R为关系名，U为组成关系的属性名集合，DOM为为属性向域的映象集合，F为属性间数据的依赖关系集合

4.关系操作：

查询（query）{

选择（select），投影（project），连接（join），除（divide），并（union），差（except），交（intersection），笛卡尔积等

}

插入（insert），删除（delete），修改（update）

其中选择，投影，并，交，差，笛卡尔积是5种基本操作。

5.关系的完整性包括：实体完整性（entity integrity），参照完整性（referential integrity）和用户定义的完整性（user-defined integrity）。

实体完整性：若属性A是关系R的主属性则不能取空值（null value）

实体完整性规则的说明

（1）实体完整性规则是针对基本关系而言的。

  一个基本表通常对应现实世界的一个实体集。

（2）现实世界中的实体是可区分的，即它们具有某种唯一标识。  

（3）关系模型中以主码作为唯一性标识。

（4）主码中的属性即主属性不能取空值。

主属性取空值，就说明存在某个不可标识的实体，即存在不可区分的实体，这与第（2）点相矛盾，因此这个规则称为实体完整性

参照完整性：两张数据表中一些数据之间具有联系，比如学生选修课数据表中学生只选课程表中有的课程

外码：

设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是R的外码

基本关系R称为参照关系（Referencing  Relation）

基本关系S称为被参照关系（Referenced Relation）或目标关系（Target Relation）

关系R和S不一定是不同的关系

目标关系S的主码Ks 和参照关系的外码F必须定义在同一个（或一组）域上

外码并不一定要与相应的主码同名

参照完整性规则：

若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：或者取空值（F的每个属性值均为空值）或者等于S中某个元组的主码值

当外码与相应的主码属于不同关系时，往往取相同的名 字，以便于识别

用户定义的完整性：用户可以限定某个属性的取值范围，比如英语成绩取值范围（0-100）

6.传统的集合运算：

1）并（union） R∪S={t|t∈R∨t∈S}

2）差（except）R-S={t|t∈R∧t∉S}

3）交（intersection）R∩S={t|t∈R∧t∈S}

4）笛卡尔积 R X S={trts|tr∈R∧ts∈S}

5）选择（select）、

选择又称为限制（Restriction）

选择运算符的含义

在关系R中选择满足给定条件的诸元组

         σF(R) = {t|tR∧F(t)= '真'}

F：选择条件，是一个逻辑表达式，取值为“真”或“假”

基本形式为：X1θY1

θ表示比较运算符，它可以是＞，≥，＜，≤，＝或<>

6）投影（project）

7）连接（join）{

等值连接：连接条件为‘=’，自然连接是一种特殊的等值连接

外连接（outer join）允许属性值为NULL 的连接

左外链接（left outer join或 left join）只保留左边关系R的悬浮属性

右外连接（right outer join 或 right join）只保留右边关系S的悬浮属性

}

连接也称为θ连接

连接运算的含义

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

     R         S = {          | tr  R∧ts S∧tr[A]θts[B] }

 

A和B：分别为R和S上度数相等且可比的属性组

θ：比较运算符 

连接运算从R和S的广义笛卡尔积R×S中选取R关系在A属性组上的值与S关系在B属性组上的值满足比较关系θ的元组

两类常用连接运算

等值连接（equijoin）

θ为“＝”的连接运算称为等值连接

从关系R与S的广义笛卡尔积中选取A、B属性值相等的那些元组，即等值连接为：

      R    S = {       | tr R∧ts S∧tr[A] = ts[B] } 

自然连接（Natural join）

自然连接是一种特殊的等值连接

两个关系中进行比较的分量必须是相同的属性组

在结果中把重复的属性列去掉

自然连接的含义

    R和S具有相同的属性组B

        R   S = {       [U-B] | tr R∧ts S∧tr[B] = ts[B] } 

 

8）除运算（divide）：R÷S就是取R中有和S中部分属性相同的元组的除了与S中属性有关的属性集

也就是R中属性象集和S中投影相同的属性。

除运算可以很方便的筛选出满足S投影要求的所有的属性集，比如可以用出运算筛选出选修了所有课程的学生的序号。

给定关系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上投影的集合，记作：

       R÷S={tr[X]|trR∧πY(S)Yx}

       Yx：x在R中的象集，x = tr[X]

在关系R中，A可以取四个值{a1，a2，a3，a4}

    a1的象集为 {(b1，c2)，(b2，c3)，(b2，c1)}

    a2的象集为 {(b3，c7)，(b2，c3)}

    a3的象集为 {(b4，c6)}

    a4的象集为 {(b6，c6)}

S在(B，C)上的投影为

           {(b1，c2)，(b2，c1)，(b2，c3) }

只有a1的象集包含了S在(B，C)属性组上的投影

     所以     R÷S ={a1}