ch07关系数据库设计理论-范式课件.pptVIP

7.1 关系模式的规范化--范式; 各种范式之间的关系是： 5NF ? 4NF ? BCNF ? 3NF ? 2NF ? lNF 一个低一级范式的关系模式， 通过模式分解，转换为若干个高一级范式的关系模式的集合，该过程称为规范化。;7.1.1 第一范式（1NF）;例：;将该表规范成1NF可以有二种方法：;满足第一范式的关系是否还存在问题？; 所谓函数依赖是指关系中一个或一组属性的值可以决定其它属性的值。函数依赖正象一个函数 y = f(x) 一样，x的值给定后，y的值也就唯一地确定了。 如果属性集合X中每个属性的值构成的集合唯一地决定了属性集合Y中每个属性的值构成的集合，则属性集合Y “函数依赖”于属性集合X，计为：X→Y。属性集合X中的属性有时也称作函数依赖X→Y的决定因素（determinant）。例：身份证号→姓名。 ;该关系模式在实际使用中会出现下列问题： ① 数据冗余。同一门课的学分存储多次。 ② 更新异常。 同一门课的学分变化了，要修改多次 ③ 插入异常。 当主属性学号为空时不能插入。 ④ 删除异常。 如某课程不开了，则会删除学生信息。; 原因在于关系模式SC中的非主属性CREDIT部分函数依赖于码(SNo，CNo)： (SNo，CNo) ? CREDIT。;7.1.2 第二范式（2NF）; 通过投影把它分解为以下两个关系模式： SCG(SNo，CNo，GRADE)//CNo是外码 C(CNo，CREDIT) 新关系模型包括两个关系模式，它们之间通过SCG中的外码CNo相联系，需要时再自然联接，则恢复了原来的关系。;满足2NF的关系模式是否就没问题了？;7.1.3 第三范式（3NF）;证明: 假设R∈2NF，则R∈3NF。 则R中非主码属性A部分依赖于码K，则存在： K ? K，使得K→A。 因为K‘是K的子集，所以有：K→K ’ ，但K‘→K。 于是有K→K ’，K’ →K，K ’→A ，并且A不属于 K’，因而非主属性A传递依赖于码K，则R不属于3NF（ R∈3NF ）。 证毕。;7.1.3 第三范式（3NF）;7.1.3 第三范式（3NF）;7.1.4 BCNF;7.1.4 BCNF;7.1.4 BCNF;7.1.4 BCNF;7.1.4 BCNF;7.1.4 BCNF;7.1.4 BCNF;7.1.4 BCNF范式;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.2 多值依赖和4NF;(3) 删除操作复杂：某一门课要去掉一本参考书，该课程有多少名教师???就必须删除多少个元组。 (4) 修改操作复杂：某一门课要修改一本参考书，该课程有多少名教师，就必须修改多少个元组。 产生原因： 存在多值依赖;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.2 多值依赖和4NF;7.3 连接依赖和5NF;7.3 连接依赖和5NF;7.3 连接依赖和5NF;7.3 连接依赖和5NF;7.4 范式小结;7.4 范式小结