DB05-关系数据库设计理论.ppt

关系数据库设计理论 关系数据库设计理论 问题：给出一组数据，如何构造一个适合于 它们的数据模型？ 1 - 数据依赖（理论核心） ★ 2 - 规范化 ★ 3 - 关系模式的分解 ★ 1 - 数据依赖 关系模型的形式化定义（规范化理论的背景） 数据依赖 函数依赖（FD） 关系模型的形式化定义 1、关系模型的五元组定义：R U,D,DOM,F R — 关系名，U — 属性组，D — 域， DOM — 映射（属性与域之间的联系）， F — 数据依赖（属性与属性之间的联系） 2、关系模型的三元组定义：R U,F 当且仅当 U 上的一个关系 r 满足 F 时，r 称为关系模式RU,F的一个关系。 数据依赖 1、定义 数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系，它是现实世界属性间相互联系的抽象。 2、种类 函数依赖 数据依赖 多值依赖 连接依赖 函数依赖的定义 设R(U)是属性集U上的关系模式。X，Y是U的子集。对于R(U)的任意一个可能的关系r，如果r中不存在两个元组，它们在X上的属性值相等，而在Y上的属性值不等，则称“X函数确定Y”或“Y函数依赖于X”，记作X?Y。 X称为这个函数依赖的决定属性集。 函数依赖的种类 完全依赖 在R(U)中，如果X?Y，并且对于X的任何一个真子集X’都有X’?Y，则称Y对X完全依赖，记作X ?Y。 部分依赖 若X?Y但Y不完全依赖于X，则称Y对X部分函数依赖，记作X ? Y。 传递依赖 在R(U)中，如果X?Y，Y?Z，且Y?X，Z?Y，Y?X，则称Z对X传递依赖。记作X ? Z。 课堂练习 已知关系模式SLC（S#，SD，SL，C#，G）， 学号 系 住址 课程号 成绩 规定每个系的学生只住一个地方， 写出关系模式中的所有函数依赖。 FD公理及推理规则 公理 F1（自反性）：若X?Y，则 X?Y 或 X?X。 F2（增广性）：若X?Y，则 XZ?YZ 或 XZ?Y。 F3（传递性）：若X?Y，Y?Z，则 X?Z。 推理规则 F4（伪增性）：若X?Y，W?Z，则 XW?YZ。 F5（伪传性）：若 X?Y，YW?Z，则 XW?Z。 F6（合成性）：若 X?Y，X?Z，则 X?YZ。 F7（分解性）：若 X?YZ，则 X?Y，X?Z。 课堂练习 1、已知关系模式R（A，B，C，D，E，P）及其上的函数依赖集合F={ A→B，C→P，E→A，CE→D }，则R的候选码是（ ）。 ①AC ②BC ③CE ④CD 2、给定关系模式R（A，B，C，D ，E）及其上的函数依赖集合F={ CD→A，B→C，D→E }，则R的候选码是（ ）。 ①CD ②BC ③BD ④AE 3、设关系模式R上的函数依赖集合F={ B→D，CA→E }，则利用FD公理和规则可推出（ ）。 ①CB→B ②EA→D ③DA→B ④AB→AD 2-规范化 【目的】通过研究关系之间的等价问题，找出一些方法来指导我们定义数据库的逻辑结构，使其具有好的性能（冗余小、数据完整性好、操作方便）。 关系模式评价 存在的问题 (1) 冗余度高 (2) 修改困难 (3) 插入异常 (4) 删除异常 问题的原因 关系中存在多余 的数据依赖， 不规范。 解决问题的办法 将关系规范化 关系规范化定义 通常将结构较简单的关系取代结构较复杂的关系的过程称为关系的规范化。 范式 范式表示符合某一种级别的关系模式的集合。 R为第几范式写成R?xNF。 范式的概念是由Codd给出的，并在1971～1972年提出了1NF、2NF、3NF的概念，1974年Codd和Boyce又共同提出了BCNF的概念，1976年Fagin又提出了4NF，后来又有人提出了5NF。 对于各种范式之间的联系是： 5NF ? 4NF ? BCNF ? 3NF ? 2NF ? 1NF。 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化。 1NF 关系的属性是原子的（不可分的），这样的关系模式就属于1NF。 2NF 若R?1NF，且每