规范化理论功课.PPTVIP

第五章 关系数据库规范化理论 5.1 关系规范化的必要性 5.2 函数依赖 5.3 范式 5.4 关系模式的规范化 5.1 关系规范化的必要性 一、关系数据库逻辑设计问题 二、规范化理论研究的内容 一、关系数据库逻辑设计问题(1 of 3) 关系数据库逻辑设计问题 构造几个关系模式？ 每个关系由哪些属性组成？ 例：教务管理系统，需要存储下列信息 学号，姓名， 系名，系主任名，课名， 成绩 SNO, SNAME, SDEPT, MNAME, CNAME, GRADE 　设计一个关系模式： 　　　S={SNO, SNAME, SDEPT, MN, CNAME, G} 一、关系数据库逻辑设计问题(2 of 3) Student中的样本数据 一、关系数据库逻辑设计问题(3 of 3) 该关系模式存在四个主要问题： 数据冗余度大 插入异常 删除异常 潜在的不一致性 解决方法： 将该关系模式分解为三个 二、规范化理论研究的内容 实体之间的联系，实体内部各属性之间的联系。内容包括： 数据的依赖关系 函数依赖 多值依赖 连接依赖 函数依赖公理 关系模式的分解 关系模式的规范化 5.2 函数依赖 一、数据依赖 二、函数依赖 三、键的形式化定义 一、数据依赖(1 of 4) 关系模式回顾 一个关系模式可写成一个五元组 ： R（U, D, DOM, F） 其中 R: 关系名, U: 属性组，D:属性域， DOM: 属性到域的映射。 F: 数据依赖集（属性间） 为简化起见，把关系模式看作一个三元组： R U, F 仅当定义在U上的集合r满足F时，r才称为关系模式R的一个关系。 一、数据依赖(2 of 4) 数据依赖 数据依赖：是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系 数据依赖是现实世界属性间相互联系的抽象,是数据内在的性质 数据依赖是语义的体现 数据依赖共有三种： 函数依赖（Functional Dependency，FD） 多值依赖（Multivalued Dependency，MVD） 连接依赖（Join Dependency，JD） 二、函数依赖(3 of 4) 函数依赖定义： 设R(U)是一个关系模式，U是R的属性集合（如U={A1,…,An}}。X，Y为U的子集。如果R(U)的的所有关系r 都存在着：X的每一个值，都有Y的唯一值与之相对应，则称： X函数决定Y，或Y函数依赖X。记作X→Y。 否则，记作X→Y称为X不能函数决定Y。 X?Y可理解为： X有一个值，则Y有唯一的值与之相对应；而Y的一个值是否与唯一的X值对应，不去管。 二、函数依赖(4 of 4) 三、键的形式化定义 候选键和主键 设K是关系模式R（U，F）中的属性或属性组。若K f →U，则K为R的候选键（Candidate Key） 若候选键多于一个，则选其中的一个为主键（Primary Key） 外键： 设有两个关系R和S，X是R的属性或属性组，并且X不是R的键，但X是S的键（或与S的键意义相同），则称X是R的外部键（Foreign Key），简称外键或外码。 5.3 范式 一、范式定义 二、第一范式（1NF） 三、第二范式（2NF） 四、第三范式（3NF） 五、改进的3NF（BCNF） 六、多值依赖与第四范式（4NF） 一、范式定义 范式定义 范式（NF）是符合某一种级别的关系模式的集合。 5NF?4NF?BCNF?3NF?2NF?1NF 若R(U，F)符合x范式的要求，则称R为x范式，记作：R?xNF 二、第一范式(1NF) (1 of 2) 第一范式（1NF） 如果一个关系模式R的所有属性都是不可分的基本数据项,则 R ∈1NF 不满足1NF的数据库模式不能称为关系数据库 满足1NF的数据库并一定是一个好的关系模式 二、第一范式(1NF) (2 of 2) SLC (Sno，Sdept，Sloc，Cno，Grade) ∈1NF，但存在下列问题： 插入异常：若学生没有选课，则他的个人信息及所在系的信息就无法插入 删除异常：若删除学生的选课信息，则有关他的个人信息及所在系的信息也随之删除了 更新异常：如果学生转系，若他选修了k门课，则需要修改k条记录 数据冗余：如果一个学生选修了k门课，则有关他的所在系的信息重复。 三、第二范式(2NF) (1 of 2) 第二范式(2NF) 满足第一范式的关系模式R, 如果所有非主属性都完全依赖于键, 则称R属于第二范式。 记为R∈2NF。 例：将属于第一范式的SLC进行投影分解，消除其中的部分函