数据库系统概论An Introduction to Database System第六讲 关...课件.pptVIP

规范化的基本思想 消除不合适的数据依赖 的各关系模式达到某种程度的“分离” 采用“一事一地”的模式设计原则 让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去 所谓规范化实质上是概念的单一化 * 规范化（续） 不能说规范化程度越高的关系模式就越好 在设计数据库模式结构时，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式 上面的规范化步骤可以在其中任何一步终止 * * 2NF 例: 关系模式 SLC(Sno, Sdept, Sloc, Cno, Grade) Sloc为学生住处，假设每个系的学生住在同一个地方。 函数依赖包括： (Sno, Cno) f Grade Sno → Sdept Sdept → Sloc (Sno, Cno) P Sdept (Sno, Cno) P Sloc Sno → Sloc * 2NF SLC的码为(Sno, Cno) SLC满足第一范式。 非主属性Sdept和Sloc部分函数依赖于码(Sno, Cno) Sno Cno Grade Sdept Sloc SLC * SLC不是一个好的关系模式 (1) 插入异常 假设Sno＝95102，Sdept＝IS，Sloc＝N的学生还未选课，因课程号是主属性，因此该学生的信息无法插入SLC。 (2) 删除异常 假定某个学生本来只选修了3号课程这一门课。现在因身体不适，他连3号课程也不选修了。因课程号是主属性，此操作将导致该学生信息的整个元组都要删除。 * SLC不是一个好的关系模式 (3) 数据冗余度大 如果一个学生选修了10门课程，那么他的Sdept和Sloc值就要重复存储了10次。 (4) 修改复杂 例如学生转系，在修改此学生元组的Sdept值的同时，还可能需要修改住处（Sloc）。如果这个学生选修了K门课，则必须无遗漏地修改K个元组中全部Sdept、Sloc信息。 * 2NF 原因 Sdept、 Sloc部分函数依赖于码。 解决方法 SLC分解为两个关系模式，以消除这些部分函数依赖 SC（Sno， Cno， Grade） SL（Sno， Sdept， Sloc） * 2NF 函数依赖图： Sno Cno Grade SC SL Sno Sdept Sloc * 2NF 2NF的定义 定义6.6 若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于R的码，则R∈2NF。 2NF的定义（等价定义） 若关系模式R∈1NF，并且消除了非主属性对码的部分函数依赖，则R∈2NF。 * 例：SLC(Sno, Sdept, Sloc, Cno, Grade)∈2NF SC（Sno， Cno， Grade） ∈ 2NF SL（Sno， Sdept， Sloc） ∈ 2NF * 如果关系模式R的码只有一个属性，那么R一定满足二范式。 * 判断关系模式R(U,F)是否符合二范式 U={A,B,C,D} F={AB →C,B →D,C →D} 经计算，属性AB是唯一的码 请问是否符合二范式？ * 第二范式（续） 采用投影分解法将一个1NF的关系分解为多个2NF的关系，可以在一定程度上减轻原1NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。 将一个1NF关系分解为多个2NF的关系，并不能完全消除关系模式中的各种异常情况和数据冗余。 * 6.2.5 3NF 请分析关系模式SL(Sno, Sdept, Sloc)，依然存在更新异常和数据冗余 * 6.2.5 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。