数据库课件第五章关系数据理论幻灯片.ppt

* * 模式的分解的几个重要结论 规范化理论提供了一整套的模式分解算法，按照这套算法可以做到： 若要求分解具有无损连接性，那么一定能达到4NF； 若要求分解保持函数依赖，那么模式分解总可以达到3NF，但不一定能达到BCNF。 若要求分解既要保持函数依赖，又要具有无损连接性，那么分解可以达到3NF，但不一定能达到BCNF。 注意： 教材给出 “3NF无损连接和保持函数依赖算法”； 希望分解后的关系模式最少。 * * 本章小结 数据依赖 对关系模式的影响、相关概念 范式 1NF ~ 4NF介绍 关系模式的规范化 – 规范化过程 *数据依赖的公理系统 *模式的分解 * * 本章作业 《数据库系统原理及应用教程》 P210 2，3，4，5 * * 补充习题 1.设有函数依赖集F＝{E→G，G→E，F→EG，H→EG，FH→E}，求与F等价的最小函数依赖集。 2.设有关系模式R(A，B，C，D，E)，R的函数依赖集： F＝{A→D，E→D，D→B，BC→D，CD→A} (1)求R的候选关键字。 (2)将R分解为3NF。 * * 设有一教学管理数据库，其属性为：学号(S#)，课程号(C#)，成绩(G)，任课教师(TN)，教师所在的系(D)。这些数据有下列语义： ·学号和课程号分别与其代表的学生和课程一一对应； ·一个学生所修的每门课程都有一个成绩； ·每门课程只有一位任课教师，但每位教师可以有多门课程； ·教师中没有重名，每个教师只属于一个系。 (1)试根据上述语义确定函数依赖集。 (2)如果用上面所有属性组成一个关系模式，那么该关系模式为何模式?并举例说明在进行增、删操作时的异常现象。 (3)分解为具有依赖保持和无损连接的3NF。 * 1．课程的名称为与高教部教育司1999年“计算机科学与技术”专业主要课程名称统一，改为《数据库原理》； 2．从99级开始总学时72不变，主讲、上机实验的安排调整为48+24。 * * 第四范式（4NF） 定义：关系模式R（U，D） ?1NF，如果对R的每个非平凡多值依赖 X →→ Y（Y? X），X都含有候选码，则R ? 4NF。 即：每个多值依赖的决定因素必包含候选码。 定义：关系模式R（U） ?1NF，U是属性全集，X，Y是U的子集，D是R上的数据依赖集，如果对于任一多值依赖 X →→ Y，或者此多值依赖 是平凡的，或者X都含有候选码，则R ? 4NF。 可以证明如果关系模式R ?4NF，则必有 R ?BCNF。 * * 第四范式（4NF） 例：关系模式 Teach ( C，T，B ) ?BCNF ?4NF 因为存在非平凡多值依赖C→→T， C→→B，而主码为全码 分解模式，消除非平凡且非函数依赖的多值依赖： CT（C，T） ? 4NF ? C→→T是平凡多值依赖 CB（C，B）? 4NF ? C→→B是平凡多值依赖 注意：CT，CB都是全码。 * * 5.3 关系模式的规范化 规范化 —— 一个低一级范式的关系模式，通过模式分解转换为若干个高一级范式的关系模式集合的过程。 规范化目的 消除关系上的数据冗余、操作异常的现象。 规范化基本思想 采用“一事一地”的模式设计原则，逐步消除数据依赖中不合适的部分，使模式中的各关系模式达到某种程度的分解。 规范化实质 —— 概念的单一化 范式化的基本步骤 1NF关系 ? 消除非主属性对码的部分函数依赖 2NF关系 ? 消除非主属性对码的传递函数依赖 3NF关系 ? 消除主属性对非主属性的函数依赖 和对码的部分、传递函数依赖 BCNF关系 ? 消除非平凡且非函数依赖的多值依赖 4NF关系