数据库设计及规范化.pptVIP

1 函数依赖 一、函数依赖 二、平凡函数依赖与非平凡函数依赖 三、完全函数依赖与部分函数依赖 四、传递函数依赖 一、函数依赖 定义1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 X称为这个函数依赖的决定属性集(Determinant)。 说明： 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立 3. 数据库设计者可以对现实世界作强制的规定。例如规定不允许同名人出现，函数依赖“姓名→年龄”成立。所插入的元组必须满足规定的函数依赖，若发现有同名人存在， 则拒绝装入该元组。 函数依赖（续） 例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname, Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex →Sage 若X→Y，并且Y→X, 则记为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 平凡函数依赖与非平凡函数依赖（续） 于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义，因此若不特别声明， 我们总是讨论非平凡函数依赖。 三、完全函数依赖与部分函数依赖 定义5.2 在关系模式R(U)中，如果X→Y，并且对于X的任何一个真子集X’，都有 X’ Y, 则称Y完全函数依赖于X，记作X ｆ Y。 若X→Y，但Y不完全函数依赖于X，则称Y部分函数依赖于X，记作X P Y。 完全函数依赖与部分函数依赖（续） 例: 在关系SC(Sno, Cno, Grade)中， 由于：Sno →Grade，Cno → Grade， 因此：(Sno, Cno) ｆ Grade 四、传递函数依赖 定义5.3 在关系模式R(U)中，如果X→Y，Y→Z，且Y ?X，Y→X，则称Z传递函数依赖于X。 注: 如果Y→X， 即X←→Y，则Z直接依赖于X。 例: 在关系Std(Sno, Sdept, Mname)中，有： Sno → Sdept，Sdept → Mname Mname传递函数依赖于Sno 2 范式 范式是符合某一种级别的关系模式的集合。 关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式。 范式的种类： 第一范式(1NF) 第二范式(2NF) 第三范式(3NF) BC范式(BCNF) 第四范式(4NF) 第五范式(5NF) 范式 各种范式之间存在联系： 某一关系模式R为第n范式，可简记为R∈nNF。 2NF 1NF的定义 如果一个关系模式R的所有属性都是不可分的基本数据项，则R∈1NF。 第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。 但是满足第一范式的关系模式并不一定是一个好的关系模式。 2NF 例: 关系模式 SLC(Sno, Sdept, Sloc, Cno, Grade) Sloc为学生住处，假设每个系的学生住在同一个地方。 函数依赖包括： (Sno, Cno) f Grade Sno → Sdept (Sno, Cno) P Sdept Sno → Sloc (Sno, Cno) P Sloc Sdept → Sloc 2NF SLC的码为(Sno, Cno) SL