[计算机软件及应用]数据库第四章.ppt

Armstrong公理系统 三个导出的推理规则 合并律 若F?X→Y，F?X→Z，则F?X→YZ 伪传递律 若F?X→Y，F?WY→Z，则F?WX→Z 分解律 若F?X→Y，Z?Y，则F?X→Z 属性的闭包 定义 设F是属性集合U上的一个函数依赖集，X?U，称下列集合为属性集X关于F的闭包 属性的闭包 设 U={A,B,C,D,E}，F={A→D, E→D, D→B, BC→D, CD→A} 设X={A, D}，求X+ 设X={A, C, E}，求X+ 设X={B, C, E}，求X+ 设X={A, B, D}，求X+ 设X={B, D, E}，求X+ X+ ={A, B, D} X+ ={A, B, C, D, E} X+ ={A, B, C, D, E} X+ ={A, B, D} X+ ={B, D, E} 属性的闭包 设 U={A,B,C,D,E}，F={A→D, E→D, D→B, BC→D, CD→A} 设X={A, D}，求X+ 解： 令X(0)={A,D}，则 ∵由X(0)可得F1={A→D, D→B}，F=F-F1={E→D, BC→D, CD→A} ∴B={D, B}, X(1)=B∪X(0)={A, B, D} ∵由X(1)可得F2=? ∴算法终止 因此，由上可知，X+ ={A, B, D} 属性的闭包 设 U={A,B,C,D,E}，F={A→D, E→D, D→B, BC→D, CD→A} 设X={A, C, E}，求X+ 解： 令X(0)={A,C,E}，则 ∵由X(0)可得F1={A→D, E→D}，F=F-F1={D→B, BC→D, CD→A} ∴B={D}, X(1)=B∪X(0)={A, C, D, E} ∵由X(1)可得F2={D→B, CD→A}， F=F-F2 = {BC→D} 属性的闭包 设 U={A,B,C,D,E}，F={A→D, E→D, D→B, BC→D, CD→A} 设X={A, C, E}，求X+ 解： ∴B={A, B}, X(2)=B∪X(1)={A, B, C, D, E} ∵X(2)=U ∴算法终止 因此，由上可知，X+ ={A, B, C, D, E} 模式分解 设关系模式R(A,B,C,D)，R上的函数依赖集F={A→B, B→C, A→D, D→C}，R的一个分解?={R1(A,B), R2(A,C), R3(A,D)} 求F在?的每个模式上的投影。 ?相对于F是无损连接吗？ ?保持函数依赖吗？ 模式分解 解： (1) 由已知可得，F+={A→B,B→C,A→D,D→C,A→C} ∴ Π{A,B}(F)={A→B} Π{A,C}(F)={A→C} Π{A,D}(F)={A→D} 模式分解 解： (2) 由已知可构造3行4列表格如下 Ri A B C D AB a1 a2 b13 b14 AC a1 b22 a3 b24 AD a1 b32 b33 a4 模式分解 解： (2) 根据依赖关系A→B，修改表格如下 Ri A B C D AB a1 a2 b13 b14 AC a1 a2 a3 b24 AD a1 a2 b33 a4 模式分解 解： (2) 根据依赖关系B→C，修改表格如下 Ri A B C D AB a1 a2 a3 b14 AC a1 a2 a3 b24 AD a1 a2 a3 a4 模式分解 解： (2) 根据依赖关系A→D，修改表格如下 Ri A B C D AB a1 a2 a3 a4 AC a1 a2 a3 a4 AD a1 a2 a3 a4 模式分解 解： (2) 根据依赖关系D→C，修改表格如下 ∵表格中存在一行是全a的 ∴由上可知，?相对于F是无损连接分解 Ri A B C D AB a1 a2 a3 a4 AC a1 a2 a3 a4 AD a1 a2 a3 a4 模式分解 解： (3)由(1)可得， G=Π{A,B}(F)∪Π{A,C}(F)∪Π{A,D}(F)={A→B, A→C, A→D} F=F-G={B→C, D→C} Result=True 取F中第一个函数依赖B→C，则F=F-{B→C}={D→C} ∵BG+={B}， ∴Result=False 因此， ?相对于F不保持函数依赖 练 习 在对全局E-R模型进行优化时，通常利用规范化理论中的( )概念消除冗余关系。 A.无损联接 B.函数依赖 C.范式 D.逻辑蕴涵 B 练 习 如果关系模式R∈1NF，且每个非主属性既不部分函数依赖于候选码，也不传递函数依赖于候选码，则称R属于（ ） A.2NF B.3NF C.BCNF D.4NF B 练 习 将2NF的关系模式