关系模型规范化课件.ppt

广东海洋大学信息学院 郑赞红; 关系模式的规范化;关系模式的规范化;规范化的必要性;关系模式的简化定义;关系模式的简化表示;数据依赖;数据依赖;数据依赖;数据依赖对关系模式的影响;数据依赖对关系模式的影响;数据依赖对关系模式的影响;数据依赖对关系模式的影响;数据依赖对关系模式的影响;把这个单一模式分成3个关系模式： S（Sno，Sdept，Sno → Sdept） SC（Sno，Cno，Grade，（Sno，Cno） → Grade） DEPT（Sdept，Mname，Sdept→ Mname）;关系模式的规范化; 规范化;规范化;函数依赖;规范化;范式; 范式;第一范式（1NF）; 例：关系模式S-L-C（Sno,Sdept,Sloc,Cno,Grade），其中Scol为学生的住处，并且每个系的学生住在同一个地方。函数依赖关系如下： (Sno,Cno) Grade Sno Sdept , (Sno,Cno) Sdept Sno Sloc , (Sno,Cno) Sloc Sdept Sloc;第一范式（1NF）;第一范式（1NF）;函数依赖图：; 2NF的定义 若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。 若关系模式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）; 3NF的定义 关系模式RU，F 中若不存在这样的码X、属性组Y及非主属性Z（Z ? Y）, 使得X→Y，Y→Z成立，Y → X，则称RU，F ∈ 3NF。 若R∈3NF，则每一个非主属性既不部分依赖于码也不传递依赖于码。 ;例：2NF关系模式S-L(Sno, Sdept, Sloc)中，函数依赖如下： Sno→Sdept ，Sdept → Sno，Sdept→Sloc 可得：Sno → Sloc 即S-L中存在非主属性对码的传递函数依赖，S-L ∈ 3NF;第三范式（3NF）;第三范式（3NF）;第三范式 （3NF）;关系模式的规范化;小结;规范化小结;小结