8.关系数据理论

关系数据理论

1、为什么要学习关系数据理论？

（1.1）什么是一个好的数据库逻辑设计？

        针对一个具体问题，应该如何构造一个适合它的数据模式。即应该构造几个关系，每个关系由哪些属性组成等。

【例】

1、学校开发一个学生教务的数据库，涉及的对象有：学生的学号（Sno）、所在系（Sdept）、系班主任姓名（Mname）、课程号（Cno）以及成绩（Grade）。

2、语义：

（1）一个系有若干学生， 但一个学生只属于一个系；

（2）一个系只有一名主任；

（3）一个学生可以选修多门课程，每门课程有若干学生选修；

（4）每个学生所学的每门课程都有一个成绩。

3、存储并管理这些信息。

4、设计了一个关系模式：

STUDENT ( Sno, Sdept, Mname, Cno, Grade )。

Student 表

Sno	Sdept	Mname	Cno	Grade
S1	计算机系	张明	C1	95
S2	计算机系	张明	C1	90
S3	计算机系	张明	C1	88
S4	计算机系	张明	C1	70
S5	计算机系	张明	C1	78
...	...	...	...	...

5、关系模式存在的问题：

关系模式 STUDENT（Sno, Sdept, Mname, Cno, Grade）中存在的问题：

（1）数据冗余度太大

        如：系主任的姓名重复出现，重复次数与该系所有学生的所有课程成绩出现次数相同。

（2）更新异常

        数据冗余大，更新数据时，维护数据完整性代价大；

        如果某系更换系主任，系统必须修改与该系学生有关的每一个元组。

（3）插入异常

        如果新成立一个软件工程系，还没有招生，我们就无法把这个系及其系主任的信息存入数据库。

（4）删除异常

         如果某个系的学生全部毕业了， 我们在删除该系学生信息的同时，把这个系及其系主任的信息也丢掉了。

6、什么是一个好的模式？

        好的模式不会发生插入异常、删除异常、更新异常、数据冗余应尽可能少。

问题原因：由于模式中的某些数据依赖引起的。

解决办法：把单一模式分成 3 个关系模式：

        S (Sno, Sdept, Sno → Sdept);

        SC (Sno, Cno, Grade, (Sno, Cno) → Grade);

        DEPT (Sdept, Mname, Sdept  Mname);

再把观察、经验上升为理论：用规范化理论改造关系模式，消除其中不合适的数据依赖。

（1.2）什么是数据依赖？

（1.2.1）完整性约束的一种表现形式

（1）限定属性取值范围：例如学生成绩必须在 0~100 之间；

（2）定义属性值间的相互关连（主要体现于值的相等与否） 即通过属性间值的相等与否来描述；

（3）它是数据库模式设计的关键。

（1.2.2）数据依赖

（1）是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系；

（2）是现实世界属性间相互联系的抽象；

（3）是数据内在的性质；

（4）是语义的体现；

（1.2.3）数据依赖的主要类型

（1）函数依赖 ( Functional Dependency，简记为 FD )；

（2）多值依赖 ( Multivalued Dependency，简记为 MVD )；

（3）连接依赖等等。

（1.2.4）数据依赖对关系模式的影响

不合适的数据依赖，会对象关系模式造成插入异常、删除异常、更新异常和数据冗余问题。

【例】STUDENT（Sno, Sdept, Mname, Cno, Grade）

（1）该关系模式的属性集合记为 U：

U ＝ { Sno, Sdept, Mname, Cno, Grade }。

（2）数学中的函数 y=f(x)，自变量 x 确定之后，相应的函数值 y 也就唯一地确定了。 

        Sdept = f(Sno)，Sno 函数确定 Sdept，记为 Sno → Sdept；

        Mname = f(Sdept)，Sdept 函数确定 Mname，记为 Sdept → Mname；

        Grade = f((Sno, Cno))，(Sno, Cno) 函数确定 Grade，记为 (Sno, Cno) → Grade。

（3）属性组 U 上的函数依赖集合，记为 F：

F ＝ { Sno → Sdept, Sdept → Mname, (Sno, Cno) → Grade }。

（4）图示：

（1.3）关系模式的简化表示

（1.3.1）关系模式的形式化定义

R (U, D, DOM, F)

R：关系名，是符号化的元组语义；

U：该关系的属性集合；

D：属性组 U 中属性所来自的域；

DOM：属性向域的映象集合；

F：属性间数据的依赖关系集合。

（1.3.2）关系模式的简化表示

R 将关系模式简化为一个三元组，影响数据库模式设计的主要是 U 和 F。

当且仅当 U 上的一个关系 r 满足 F时，r 称为关系模式 R(U, F)的一个关系。

2、规范化 

（2.1）函数依赖

（2.1.1）函数依赖

        设 R(U) 是一个属性集 U 上的关系模式，X 和 Y 是 U 的子集。若对于 R(U) 的任意 一个可能的关系 r，r 中不可能存在两个元组在 X 上的属性值相等， 而在 Y 上的属性值不等，则称 “ X函数确定Y ” 或 “ Y函数依赖于X ”，记作 X → Y。 X 称为这个函数依赖的决定属性组，也称为决定因素(Determinant)。若 Y 不函数依赖于 X, 则记为 X  Y。

【例】S (Sno, Sname, Ssex, Sage, Sdept)

F＝ { Sno → Sname, Sno → Ssex, Sno → Sage, Sno → Sdept }

Ssex Sage, Ssex Sdept

        函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。例如 Sname → Sno 函数依赖只有在 “ 学生不允许有重名 ” 的条件下成立。

        数据库设计者可以对现实世界作强制的规定。例如设计者可以强行规定不允许学生有重名，因而使函数依赖 Sname → Sno，Sname → Ssex， Sname → Sage，Sname→ Sdept 成立。

        函数依赖不是指关系模式 R 的某个或某些关系实例 r 满足的约束条件，而是指 R 的所有关系实例 r 均要满足的约束条件。

（2.1.2）平凡函数依赖和非平凡函数依赖

        X → Y，Y⊈X，则称 X → Y 是非平凡的函数依赖。

        X → Y，Y⊆X ，则称 X → Y 是平凡的函数依赖。

【例】SC (Sno, Cno, Grade)

非平凡函数依赖：

         (Sno, Cno) → Grade

平凡函数依赖：

        (Sno, Cno) → Sno

        (Sno, Cno) → Cno

（2.1.3）完全函数依赖和部分函数依赖

        在关系模式 R(U) 中，如果