11关系数据理论2015.pptVIP

数据依赖的公理系统 极小依赖集如果函数依赖集F满足下列条件，则称F为一个极小函数依赖集。亦称为最小依赖集或最小覆盖。 F中任一函数依赖的右部仅含有一个属性。 F中不存在这样的函数依赖X→A，使得F与F-{X→A}等价。 F中不存在这样的函数依赖X→A， X有真子集Z使得F-{X→A}∪{Z→A}与F等价。 定理6.3每一个函数依赖集F均等价于一个极小函数依赖集Fm。此Fm称为F的最小依赖集 小结 规范化 函数依赖 码 范式 2NF 3NF BCNF 多值依赖 4NF 数据依赖的公理系统 数据的联系 数据依赖 函数依赖 多值依赖 平凡的函数依赖 非平凡的函数依赖 部分函数依赖 完全函数依赖 传递函数依赖 直接函数依赖 规范化 关系数据库的规范化理论是数据库逻辑设计的工具。 一个关系只要其分量都是不可分的数据项，它就是规范化的关系，但这只是最基本的规范化。 规范化程度可以有多个不同的级别 规范化程度过低的关系不一定能够很好地描述现实世界，可能会存在插入异常、删除异常、修改复杂、数据冗余等问题 规范化 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式集合，这种过程就叫关系模式的规范化 不能说规范化程度越高的关系模式就越好，在设计数据库模式结构时，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式 上面的规范化步骤可以在其中任何一步终止 * → 比如有两个码，每个码包括几个主属性，一个码的主属性完全依赖于另一个码 * 3NF 模式S、D及S-C属于3NF 定义：关系模式RU，F 中若不存在这样的码X、属性组Y及非主属性Z（Z ? Y）, 使得X→Y，Y→X，Y→Z成立，则称RU，F∈3NF。 S（Sno，SName，DName）∈3NFD（DName，DLeader）∈ 3NFS-C（Sno，Cno，Grade） ∈ 3NF 3NF 若R∈3NF，则R的每一个非主属性既不部分函数依赖于候选码也不传递函数依赖于候选码。 如果R∈3NF，则R也是2NF。 将一个2NF的关系分解为多个3NF的关系，可在一定程度上解决原关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。但是，这并不能完全消除关系模式中的各种异常情况和数据冗余。 范式示例 假设仓库管理关系表为StorehouseManage(仓库ID, 配件ID, 管理员ID, 数量)。一个管理员只在一个仓库工作；一个仓库有多个管理员；每个仓库里一种型号的配件由专人负责，但一个人可以管理几种配件；同一种型号的配件可以分放在几个仓库中。 这个数据库表中存在如下决定关系： (WID, PID) →QNT (WID, PID) → EID EID →WID (EID,PID) →QNT WID PID EID QNT 范式示例 (仓库ID, 配件ID)和(管理员ID, 配件ID)都是StorehouseManage的候选码，表中唯一的非主属性为数量(QNT)，它是符合第三范式的。 当前模式的疑惑： 当仓库被清空后，所有“存储物品ID”和“数量”信息被删除的同时，“仓库ID”和“管理员ID”信息也被删除了。 当仓库没有存储任何物品时，无法给仓库分配管理员。 如果所有仓库换了管理员，则表中所有行的管理员ID都要修改。 范式示例 当前模式存在如下决定关系： EID → WID（存在部分函数依赖） 分解后丢失了数据依赖(WID, PID) → EID WID PID EID QNT EID WID EID PID QNT BCNF 设关系模式RU，F∈1NF，如果对于R的每个函数依赖X→Y，若Y不属于X，则X必含有候选码，那么R∈BCNF。 若R∈BCNF 每一个决定属性集（因素）都包含（候选）码 R中的所有属性（主，非主属性）都完全函数依赖(这里指非平凡函数依赖)于码 R∈3NF（证明） 若R∈3NF 则R不一定∈BCNF 如果R∈3NF，且R只有一个候选码，则R必属于BCNF。 BCNF 所有非主属性都完全函数依赖于每个候选码 所有主属性都完全函数依赖于每个不包含它的候选码 没有任何属性完全函数依赖于非码的任何一组属性 范式示例 例: 学校中某一门课程由多个教师讲授，他们使用相同的一套参考书。关系模式Teaching(C, T, B)， 课程C、教师T 和 参考书B 课 程 C 教 员 T 参 考 书 B 李 勇 王 军 李 勇 张 平 张 平 周 峰 … 物理 数学 计算数学 … 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 … … … 范式示例 普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程