2012 16 第06章(3)关系数据理论.pptVIP

An Introduction to Database System 关系模式的简化表示 关系模式R(U, D, DOM, F) 简化为一个三元组： R(U,F) 当且仅当U上的一个关系R满足F时， R称为关系模式 R(U,F)的一个关系 规范化 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 函数依赖 定义6.1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 平凡函数依赖与非平凡函数依赖 在关系模式R(U)中，对于U的子集X和Y， 如果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 完全函数依赖与部分函数依赖 定义6.2 在R(U)中，如果X→Y，并且对于X的任何一个真子集X’，都有X’ Y, 则称Y对X完全函数依赖，记作 X F Y。 若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作X P Y。 传递函数依赖 定义6.3 在R(U)中，如果X→Y，(Y?X) ,Y→X, Y→Z，则称Z对X传递函数依赖。记为：X → Z 注: 如果Y→X， 即X←→Y，则Z直接依赖于X。 例: 在关系Std(Sno, Sdept, Mname)中，有： Sno → Sdept，Sdept → Mname Mname传递函数依赖于Sno 码 定义6.4 设K为RU,F中的属性或属性组合。 若K U，则K称为R的侯选码（Candidate Key）。 若候选码多于一个，则选定其中的一个做为主码（Primary Key）。 码（续） 主属性与非主属性 包含在任何一个候选码中的属性 ，称为主属性（Prime attribute） 不包含在任何码中的属性称为非主属性（Nonprime attribute）或非码属性（Non-key attribute） 全码 整个属性组是码，称为全码（All-key） 范式 范式是符合某一种级别的关系模式的集合 关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式 范式的种类： 第一范式(1NF) 第二范式(2NF) 第三范式(3NF) BC范式(BCNF) 第四范式(4NF) 第五范式(5NF) 范式 各种范式之间存在联系： 某一关系模式R为第n范式，可简记为R∈nNF。 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化 2NF 1NF的定义 如果一个关系模式R的所有属性都是不可分的基本数据项，则R∈1NF 第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库 但是仅仅满足第一范式的关系模式并不一定是一个好的关系模式 2NF（续） 2NF的定义 定义6.6 若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。 例：S-L-C(Sno, Sdept, Sloc, Cno, Grade)∈1NF S-L-C(Sno, Sdept, Sloc, Cno, Grade)∈2NF SC (Sno, Cno, Grade)∈2NF S-L (Sno, Sdept, Sloc)∈2NF 2NF（续） 采用投影分解法将一个1NF的关系分解为多个2NF的关系，可以在一定程度上减轻原1NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。 将一个1NF关系分解为多个2NF的关系，并不能完全消除关系模式中的各种异常情况和数据冗余。 3NF 定义6.7 关系模式RU,F 中若不存在这样的码X、属性组Y及非主属性Z(Z?Y), 使得X→Y，Y→Z成立， Y→X，则称RU,F ∈3NF。 若R∈3NF，则每一个非主属性既不部分依赖于码也不传递依赖于码。 BC范