数据库系统原理及应用第三章.ppt

第三章 关系模式的规范化设计 3.1 关系模式的设计问题 数据库设计的标准： 使用灵活方便 数据冗余小 安全可靠 关系型数据库常见的问题： 第三章 关系模式的规范化设计 一个设计不规范的表 3.1 关系模式的设计问题 泛关系模式和数据库模式 3.2 函数依赖 3.2.1 函数依赖的定义 对于给定的两个组元，若属性A一致，那么它的另一个属性B也一致，则称B依赖于A或A决定B，记A→B。 例： 3.2 函数依赖 3.2.2 超键码和键码 超键码是一个或多个属性的集合，这些属性的组合可以使人们在一个实体集中唯一地标识出一个实体。 键码，若存在一个超键码，它的任意真子集都不能成为超键码，这个超键码就是键码。 3.2 函数依赖 3.2.2 超键码和键码 例： 3.2 函数依赖 3.2.3 逻辑蕴含 对于给定的两个组元，若属性A一致，那么它的另一个属性B也一致，则称B依赖于A或A决定B，记A→B。 对于同样的两个组元，若属性B一致，那么它的另一个属性C也一致，则称C依赖于B或B决定C，记B→C。 从以上关系推论出： 关系 A→C，即函数 A→B和B→C蕴含着函数A→C。也称为传递依赖。 3.2 函数依赖 3.2.4 函数依赖的推理规则 3.2 函数依赖 3.2.4 函数依赖的推理规则 平凡依赖规则 ： 3.2 函数依赖 3.2.4 函数依赖的推理规则 自反律 ： 3.2 函数依赖 3.2.4 函数依赖的推理规则 增长律 ： 3.2 函数依赖 3.2.4 函数依赖的推理规则 传递律 ： 3.2 函数依赖 3.2.5 属性集的闭包 如何来判断函数依赖关系的蕴含情况，就需用到闭包的概念： 3.2 函数依赖 3.2.5 属性集的闭包 3.2 函数依赖 3.2.6 正则覆盖 3.3 关系模式的分解 消除关系模式中数据异常的常用方法就是分解关系式。 分解关系式时一定要注意的两个问题： 保证分解前后关系模式的信息不能减少和增加。即无损连接。 保证分解前后关系模式原有的函数依赖关系仍然成立。 3.4 关系模式的规范化 使用方便 数据冗余小 3.4.1 第一范式 如果关系模式R中的每个属性值都是不可再分的原子值，则该R满足第一范式。 3.4 关系模式的规范化 3.4 关系模式的规范化 3.4.2 BC范式 BC范式是判断关系模式是否存在异常现象的一个范式。 3.4.2 BC范式 3.4.3 BC范式的分解算法： 第一步：找一个违背BCNF的非平凡依赖，并且在该依赖的右边加上尽量多的属性。 第二步：分解该关系模式，第一个模式包含了违背BCDF的所有属性，另一个模式包含了该依赖的左边以及未包含在该依赖中的所有其它属性。 第三步：判断新关系是否满足BCNF,若不满足，则重复以上步骤。 3.4 关系模式的规范化 3.4.4函数依赖的投影 假设把关系模式R分解成S 和T，F是R中已知的函数依赖集。计算S中成立的函数依赖关系的方法： 考虑包含在S中的属性集的每个属性集X，计算X+。满足下列条件的每个属性B，函数依赖X→B在关系S中成立。 B是S的一个属性； B属于X+; B部属于X。 3.4 关系模式的规范化 3.4.6 第二范式 如果关系模式R满足第一范式，且它的每一个非主属性都完全依赖于同一主关键字，则该R满足第二范式。 3.4 关系模式的规范化 第二范式 如果关系模式R满足第一范式，且它的每一个非主属性都完全依赖于同一主关键字，则该R满足第二范式。 3.4 关系模式的规范化 3.4.5 第三范式 如果关系模式R满足第二范式，且它的每一个非主属性都不传递依赖于任何主关键字，则该R满足第三范式。 3.4 关系模式的规范化 3.5 多值依赖 3.5.1多值依赖的概念 如果限定关系R的组元在属性集A的属性上取特定值，结果属于属性集B的属性取值的集合与既不属于A，也不属于B，但属于R的属性取值的集合无关，则称如下所示的多值依赖关系在关系R中成立， 3.5 多值依赖 3.5.2多值依赖的推理规则 平凡依赖规则 ： 3.5 多值依赖 3.5.2多值依赖的推理规则 传递规则 ： 3.5 多值依赖 3.5.2多值依赖的推理规则 复制规则 ： 3.5 多值依赖 3.5.2多值依赖的推理规则 互补规则 3.5 多值依赖 3.5.3第四范式 第四范式不仅可以消除BCNF违例，而且还将消除所有的非平凡多值依赖，最终消除由于