第1章+关系模型和关系运算分析.ppt

* 依赖保持性 定义 设? ={R1，R2，…，Rp }是R的一个分解，F是R上的FDs集。F在Ri上投影的集合 G=∪?Ri (F)。若G≡F，则称分解? 保持函数依赖集F。 * 算法4.2.2 检验分解ρ是否具有依赖保持性 PERSERVE1(F，ρ) begin G：=φ； for each X→Y in F do for each Ri in ρ do if X ? Ri then do begin Z：= CLOSURE(X, F)； if Z∩Ri －X?φ then G：= G ∪{X→(Z∩Ri －X)} /*F在Ri上投影的集合 end； for each X→Y in F do if MEMBER(G, X→Y ) then T：=true else return(false)； return(T)； end. 思考：为什么G中的每个函数依赖都在F的闭包中？ * 例6 设? ={R1，R2，R3}，其中R1=ABD，R2=BCE，R3=DE， F={A→BD，D→A，C→BE，E→D，C→A}。 判断：?是否保持函数依赖集F。 解：（1）计算F在? 上的投影G。