第7章规范化理论(第16-18讲).pptVIP

为什么要讨论关系数据库规范化理论？ 存在问题 数据冗余 数据修改复杂 数据插入异常 数据删除异常 * 第 7 章 关 系 数 据 库 规 范 化 理 论 * 7.1 函数依赖 7.2 关系规范化 7.3 关系模式的分解准则 主要内容 Sno Sdept SLOC Cno Grade 9812101 计算机 2公寓 DB 80 9812101 计算机 2公寓 OS 85 9821101 信息 1公寓 C 90 9821101 信息 1公寓 DS 84 9821102 信息 1公寓 OS 78 关系模式规范化的基本步骤 1NF ↓ 消除非主属性对主码的部分函数依赖 2NF ↓ 消除非主属性对主码的传递函数依赖 3NF ↓ 消除主属性对主码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖 4NF 函数依赖 如果有一个关系模式R(A1,A2,…,An)，X 和Y为{A1,A2,…,An}的子集，那么对于关系R中的任意一个X值，都只有一个Y值与之对应，则称X函数决定Y，或Y函数依赖于X。 关系数据库的规范化理论包括：函数依赖，范式和关系模式的分解原则。 例：Student（Sno, SName, Sdept, Sage） Sno→SName, Sno→Sdept, Sno→Sage 例：SC（Sno, Cno, Grade） （Sno, Cno）→Grade 一些术语和符号 1.如果X→Y，但Y不包含于X，则称X→Y是非平凡的函数依赖。如不作特别说明，我们总是讨论非平凡函数依赖。 2.如果Y不函数依赖于X，则记作X—/→Y。 3.如果X→Y，则称X为决定因子。 4.如果X→Y，并且Y→X，则记作X←→Y。 5.如果X→Y，并且对于X的一个任意真子集X’都有X’—/→Y，则称Y完全函数依赖于X；如果X’→Y成立，则称Y部分函数依赖于X。 6.如果X→Y（非平凡函数依赖，并且Y—/→X）、Y→Z，则称Z传递函数依赖于X。 关系模式SCD(SNo,SN,Age,Dept,MN,CNo,Score) 规范化问题的提出 参考教材P102分析的情况，分析下面所给出的关系模式是否存在相同的问题，举例说明。 教学管理数据库的关系模式SCD，主码(SNo,CNo) SCD(SNo,SN,Age,Dept,MN,CNo,Score) 数据冗余； 更新异常； 插入异常； 删除异常。 解决：分解为3个简单模式 S(SNo,SN,Age,Dept)； SC(SNo,CNo,Score)； D(Dept,MN)。 设计数据库时要从实际设计目的出发进行设计。 函数依赖中的一些推理规则（补充） A6 分解律： X→Y， Z?Y ，则 X→Z A1 自反律： Y?X?U 则X→Y A2 增广律： X→Y ，Z ? U，则 XZ→YZ A3 传递律： X→Y ，Y→Z ，则 X→Z A4 合并律： X→Y ，X→Z ，则X→YZ A5 伪传递律： X→Y，W Y→Z ，则 WX→Z 设U为属性集总体 关系模式中的码 候选码：设K为R(U,F)中的属性或属性组，若 Kf→U，则K为R候选码。（K为决定R全部属性值的最小属性组）。 主码：关系R(U,F)中可能有多个候选码，则选其中一个作为主码。 全码：候选码为整个属性组。 主属性与非主属性：在R(U,F)中，包含在任一候选码中的属性称为主属性，不包含在任一候选码中的属性称为非主属性。 外码： 关系模式中的码举例 例：SC（SNO，CNO，Grade） 候选码：（SNO，CNO），也为主码 主属性：SNO，CNO，非主属性：Grade 例：R（P，W，A）， P――演奏者，W――作品，A――听众 语义：一个演奏者可演奏多个作品，某一作品可被多个演奏者演奏；听众也可欣赏不同演奏者的不同作品。 候选码：（P，W，A）即为全码 关系模式中的码举例 例：求R（SNO，CNO，GRADE，SD，MN）的码。 R（U，F) U=｛SNO,CNO,GRADE,SD,MN｝ 函数依赖 F=｛SNO→SD，SD→MN， （SNO，CNO）→GRADE｝ 关系模式中的码举例 已知：SNO→SD 据A2：(SNO，CNO)→SD，CNO 据A6：(SNO，CNO)→SD ① 已知：SNO→SD，SD→MN 据A3：SNO→MN； 据A2：(SNO，CNO)→MN，CNO 据A6： (SNO，CNO)→MN ② 据A1：(SNO，CNO)→SNO，C