数据库系统傅呐论(第4版)06章 关系数据理论.pptVIP

第六章 关系数据理论;6.1 问题的提出;针对具体问题，如何构造一个适合于它的数据模式 数据库逻辑设计的工具──关系数据库的规范化理论;一、概念回顾;二、关系模式的形式化定义;三、什么是数据依赖;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响;关系模式Student的一个实例;关系模式StudentU, F中存在的问题;结论：;关系模式的一个实例;6.2 规范化;规范化理论;6.2.1 函数依赖;一个错误的Student表;说明： ;例: 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。;平凡函数依赖与非平凡函数依赖;完全函数依赖与部分函数依赖;例: 在关系SC(Sno, Cno, Grade)中， 由于：Sno →Grade，Cno → Grade， 因此：(Sno, Cno) F Grade 例: 在关系SG(Sno, Sdept, Cno, Grade)中， 由于：Sno→ Sdept 因此：(Sno, Cno) P Sdept;传递函数依赖;6.2.2 码;关系模式S（Sno，Sdept，Sage） 单个属性Sno是码 关系模式SC（Sno，Cno，Grade） （Sno，Cno）是码 ;[例3];外部码;练习;5.2.3 范式;各范式之间的关系;关系模式的规范化;5.2.4 2NF; SLC满足第一范式 SLC的码为(Sno, Cno);关系模式SLC的一个实例;SLC不是一个好的关系模式;;原因 非主属性Sdept、 Sloc部分函数依赖于码(Sno, Cno) 。 解决方法 SLC分解为两个关系模式，以消除这些部分函数依赖 SC（Sno， Cno， Grade） SL（Sno， Sdept， Sloc）;函数依赖图;关系模式SLC的一个实例;定义6.6 若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于R的码，则R∈2NF。 例： SLC（Sno, Sdept, Sloc, Cno, Grade）∈1NF SLC（Sno, Sdept, Sloc, Cno, Grade）∈2NF SC（Sno，Cno，Grade） ∈ 2NF SL（Sno，Sdept，Sloc） ∈ 2NF; 5.2.5 3NF;2NF存在的问题; 解决方法 采用投影分解法，把SL分解为两个关系模式，以消除传递函数依赖： SD（Sno， Sdept） DL（Sdept， Sloc） ;3NF;3NF的定义;3NF;5.2.6 BCNF;BCNF;STJ∈3NF? (S，J)和(S，T)都可以作为???选码? S、T、J都是主属性 STJ∈BCNF T→J，T是决定属性集，T不是候选码;解决方法：将STJ分解为二个关系模式： SJ(S，J) ∈ BCNF， TJ(T，J)∈ BCNF 没有任何属性对码的部分函数依赖和传递函数依赖;3NF与BCNF的关系与区别;BCNF的关系模式所具有的性质;练习题;5.2.7 多值依赖;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;多值依赖;Teaching模式中存在的问题;原因;多值依赖;平凡多值依赖和非平凡的多值依赖;多值依赖的性质;多值依赖的对称性;多值依赖的性质;多值依赖与函数依赖的区别;多值依赖与函数依赖的区别;多值依赖与函数依赖的区别;5.2.8 4NF;例： Teach(C,T,B) ∈ 4NF 存在非平凡的多值依赖C→→T，且C不是候选码 用投影分解法把Teach分解为如下两个关系模式： CT(C, T) ∈ 4NF CB(C, B) ∈ 4NF C→→T， C→→B是平凡多值依赖;5.2.9 规范化小结;;关系模式规范化的基本步骤;练习;练习（续）