保持函数依赖的分解精要.pptVIP

* 保持函数依赖的分解 定义(FD集的投影)： 设F是属性集U上的FD集， Z是U的子集， PZ(F) ={X→Y | X→Y可由F推出, 且X, Y? Z } F={… } R U … Z … F在Z上的投影PZ(F)定义为： PZ(F)={ , … } 投影 如果X→Y可由F推出 X→Y X, Y 例: FD集的投影 设有关系模式R(ABCD), R上的FD集为： F = { A→B, B→C , D→B } 求PACD(F) 和PBD(F) PACD(F)={ , } A→C D→C PBD(F)={ } D→B 设ρ={R1,…,Rk}是关系模式R的一个分解，F是R上的FD集，如果: PR1(F)∪…∪ PRk(F)与F等价， 两个函数依赖集F和G是等价的，当且仅当： 1) 凡是能够由F推出的FD都能够由G推出； 2) 凡是不能由F推出的FD也不能由G推出。 则称分解ρ保持函数依赖集F。 定义(保持函数依赖的分解)： 例: 分解是否保持FD集,是否无损分解 设有关系模式：R( N,