ch6 关系数据理论.pptVIP

第6章 关系数据理论 6.1 关系模式及其评价 6.2 函数依赖及其公理体系 6.3 模式的分解 6.4 关系模式的规范化 关系模式的五元组 一个关系模式的五元组形式是： R（U, D, DOM, F） 关系名R； 一组属性U； 属性组U中属性所来自的域D； 属性到域的映射DOM； 属性组U上的一组数据依赖F 数据依赖Data Dependencies：通过一个关系中属性间值的相等与否体现出来的数据间的相互关系 对数据库的设计，关系模式通常使用三元组表示R(U, F) 6.1.2 关系模式的评价 1）关系模式可能存在的异常 2）异常原因分析 3）异常问题的解决 示例：函数依赖的分析 例1 ： 关系模式ScInfo(Sno, Sname, DeptName, DeptLoc,Cname, Grade) 属性集U上的函数依赖组成的集合F（简称函数依赖集）： F={Sno→Sname，Sno→DeptName， DeptName→DeptLoc， （Sno, Cname）→Grade} 例3 ： 设R(U, F), X、Y是U的子集， 如果X:Y=1:1,那么存在X→Y且Y→X，即X←→Y 如果X:Y=n:1，那么存在X→Y 如果X:Y=n:m，那么X和Y之间不存在函数依赖关系 示例：部分函数依赖的分析 例5: R(U, F), U=ABCD, F={A→B, B→C, B →D} 完全依赖 例6：R(U, F), U=ABCD, F={AC→B, AC →D} 完全依赖 例7：R(U, F), U=ABCD, F={AC→B, A→C, A→ D} 完全依赖 ，决定因素C是冗余 例8：R(U, F), U=ABCD, F={AC→B, A→ D, A→B } 部分依赖 2 Armstrong公理系统 函数依赖公理体系是1974年由W.W.Armstrong提出来的，它给出了一套形式推理规则，利用它们不仅可以求得给定关系模式的关键字，而且可以从关系模式的一组已知函数依赖出发，通过形式推理求出它所蕴含的所有的函数依赖。 Armstrong公理：设R（U, F），U为R的属性集，F是U上的函数依赖集,有以下推理规则： [1] 自反率（reflexivity ）: if Y ? X ? U, then X → Y [2] 传递率（Transitivity）: if X → Y and Y → Z, then X → Z [3] 增广率（ Augmentation）: if X → Y, then X Z → Y Z 定理：Armstrong 公理是正确的，即由Armstrong 公理推导出来的每一个函数依赖必定为F所逻辑蕴含。 例2：设R=（ABC, A →B, B →C) ,问：A →A ? AC →C ? 例3：设R=（ABC, A →B, B →C) ,问：A →C ? 例4：设R=（ABCD, A →B, B →C),问：AD →BD ? AD →CD ? 3 Armstrong公理的四 个 推 论 1) 合并规则Union Rule: If X → Y and X → Z then X → Y Z 2) 分解规则Decomposition Rule: If X → Y Z then X → Y and X → Z 3) 伪传递规则Pseudotransitivity Rule: If X → Y and W Y → Z then X W → Z 4) 积累规则Set Accumulation Rule: If X → Y Z and Z → W then X → Y W 示例： Armstrong公理及其推理规则的使用 例5：R = (A, B, C, G, H, I)F = { A ? B， A ? C ，CG ? H， CG ? I ，B ? H } 根据armstrong公理可得 F+中的一些蕴含为： A ? H from A ? B and B ? H AG ? I from A ? C and CG ? I CG ? HI from CG ? H and CG ? I 6.2.4 闭包和最小函数依赖集 1．F的闭包（closure）： 定义6.7 被