数据库原理与应用006概要.ppt

4NF 例：Teach(C,T,B) ∈ 4NF 存在非平凡的多值依赖C→→T，且C不是候选码 用投影分解法把Teach分解为如下两个关系模式： CT(C, T) ∈ 4NF CB(C, B) ∈ 4NF C→→T， C→→B是平凡多值依赖 关系模式规范化的基本步骤 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定因 2NF 素非码的非 ↓ 消除非主属性对码的传递函数依赖 平凡函数依 3NF 赖 ↓ 消除主属性对码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖 4NF 规范化的基本思想 消除不合适的数据依赖 各关系模式达到某种程度的“分离” 让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去 所谓规范化实质上是概念的单一化 规范化应用 不能说规范化程度越高的关系模式就越好 在设计数据库模式结构时，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式 上面的规范化步骤可以在其中任何一步终止 第9章 关系规范化理论 问题的提出 基本概念 关系规范化 关系模式的分解准则 模式分解的条件 无损连接性 分解后的关系通过自然连接可以恢复成原来的关系 保持函数依赖 分解过程中，不能丢失函数依赖，即不破坏原来的语义 一般情况下，应将有直接依赖关系的属性放置在一个关系模式中 * 规范化小结 关系数据库的规范化理论是数据库逻辑设计的工具。 一个关系只要其分量都是不可分的数据项，它就是规范化的关系，但这只是最基本的规范化。 规范化程度可以有多个不同的级别。 规范化程度过低的关系不一定能够很好地描述现实世界，可能会存在插入异常、删除异常、修改复杂、数据冗余等问题。 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式集合，这种过程就叫关系模式的规范化。 讨论： 本小组构建的关系模型中，存在哪些函数依赖？请画出所有函数依赖图。 本小组的关系模型达到了第几范式？是否还存在数据冗余和操作异常？（举例） 为什么关系模式分解不一定要达到最高范式？试举例说明。 * * * * * * * * SLC不是一个好的关系模式 原因： Sdept、 Sloc部分函数依赖于码。 解决方法： SLC分解为两个关系模式，以消除这些部分函数依赖 SC（Sno， Cno， Grade） SL（Sno， Sdept， Sloc） 函数依赖图： Sno Cno Grade SC SL Sno Sdept Sloc 2NF 定义:若关系模式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 1NF?2NF 将一个1NF的关系分解为多个2NF的关系，可以在一定程度上减轻原1NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。 将一个1NF关系分解为多个2NF的关系，并不能完全消除关系模式中的各种异常情况和数据冗余。 3NF 例： 2NF关系模式SL(Sno, Sdept, Sloc)中 Sno→Sdept Sdept→Sloc Sno→Sloc Sloc传递函数依赖于Sno，即SL中存在非主属性对码的传递函数依赖。 3NF 函数依赖图： SL Sno Sdept Sloc 3NF 解决方法 把SL分解为两个关系模式，以消除传递函数依赖： SD（Sno， Sdept） DL（Sdept， Sloc） SD的码为Sno， DL的码为Sdept。 3NF SD的码为Sno，DL的码为Sdept。 Sno Sdept SD Sdept Sloc DL 3NF 定义: 关系模式RU，F中若不存在这样的码X、属性组Y及非主属性Z（Z ? Y）,使得X→Y,Y→X,Y→Z成立，则称RU,F∈3NF。 例: SL(Sno, Sdept, Sloc) ∈ 2NF SL(Sno, Sdept, Sloc) ∈