第7章节关系数据库规范化理论.pptVIP

S-L-C最终分解结果 S-D（Sno,Sname,Ssex,Sdept） Sno为主码 Sdept为引用S-L关系模式的外码 S-L（Sdept,Sloc） Sdept为主码 没有外码 S-C（Sno, Cno, Grade） （Sno，Cno）为主码 Sno为引用S-D关系模式的外码 BCNF 例：关系模式：CSZ（City，Street，Zip） 语义：城市和街道可以决定邮政编码，邮政编码可以决定城市。 F: { (City，Street）→ Zip，Zip → City } 候选码：(City，Street），( Street，Zip) CSZ ∈ 3NF 存在的问题: 插入异常,删除异常 BCNF定义 若R∈1NF，且能决定其它属性取值的属性（组）必定包含候选码，则R∈BCNF。 如果一个关系的每个决定因素都是候选码，则其是BCNF。 如果一个关系的每个函数依赖的左部都是候选码，则其是BCNF。 如果R∈3NF，并且不存在主属性对非主属性的函数依赖，则其是BCNF。 BCNF和3NF的关系 若R∈BCNF，则R∈3NF 若R∈3NF，则R不一定属于BCNF 可能违反BCNF的情形 关系中包含两个（或更多）复合候选码。 候选码有重叠，通常至少有一个重叠的属性。 可将CSZ(City，Street，Zip)分解为： ZC(Zip,City)，SZ(Street,Zip) 规范化举例--补充例题 设有关系模式： Student（学号，姓名，导师号，导师名，课程号，课程说明，成绩） 语义：一名学生只有一个导师，学生可选多门课。 试将其规范化成3NF的关系模式。 * * * * ?2001 Xiaojie Yuan 第7章 关系数据库规范化理论 7.1 函数依赖 7.2 关系规范化 7.3 关系模式分解准则 概述 数据的语义不仅表现为完整性约束，对关系模式的设计也提出了一定的要求。 如何构造一个合适的关系模式，应构造几个关系模式，每个关系模式由哪些属性组成等，都是数据库设计问题，确切地讲是关系数据库的逻辑设计问题。 概述 数据库设计是数据库应用领域中的主要研究课题，其主要任务是创建满足用户需求且性能良好的数据库模式。 关系数据库规范化理论是指导数据库设计的一个理论指南。 7.1 函数依赖 7.1.1 函数依赖基本概念 7.1.2 一些术语和符号 7.1.3 为什么要讨论函数依赖 7.1.1 基本概念 省=f (城市)：只要给出一个具体的城市值，就会有唯一一个省值和它对应， 把X函数决定Y，或Y函数依赖于X。表示为： 　 X→Y 如果有关系模式 R(A1, A2, … , An)，X和Y为 {A1, A2, … , An} 的子集，则对于关系R中的任意一个X值，都只有一个Y值与之对应，则称X函数决定Y，或Y函数依赖于X。 示例 例1：对学生关系模式 Student（Sno, Sname, Sdept, Sage） 有以下依赖关系： Sno→Sname, Sno→Sdept, Sno→Sage 例2：SC（Sno, Cno, Grade） 有以下依赖关系： （Sno, Cno）→Grade 函数依赖定义 设有关系模式R(A1,A2,…,An)，X和Y均为{A1,A2,…,An}的子集，r是R的任一具体关系，t1、t2是r中的任意两个元组； 如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y]，则称X函数决定Y，或Y函数依赖于X，记为X→Y。 7.1.2 一些术语和符号 1）如果X→Y，但Y不包含于X，则称 X→Y 是非平凡的函数依赖。 2）如果X→Y，但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 。 示例 例1：有关系模式 SC（Sno,Sname,Cno,Credit,Grade） 主键为（Sno, Cno），则函数依赖关系有： 示例 例2：假设有关系模式 S（Sno,Sname,Dept,Dept_master） 假设一个系只有一个主任，主键为Sno，则函数依赖关系有： 7.1.3 为什么要讨论函数依赖？ 有关系模式： S-L-C(Sno,Sn