规范化无损分解及保持函数依赖.pptVIP

设R是一个关系模式，F是R上的一个FD集。R分解成数据库模式 。如果对R中满足F的每一个关系r，都有 那么称ρ相对于F是“无损分解”，否则称“损失分解”。 R=∏R1(r) ∏R2(r) …… ∏Rk(r) 无损分解 （1)构建一张k行n列的表格，每列对应一个属性 ，每行对应一个模式 。如果 在 中，那么在表格的第i行第j列处填上符号 ，否则填上 。 关系模式 ，F是R上成立的函数依赖集， 是R的一个分解。判断ρ相对于F是否具有无损分解特征。 例：设关系模式R（ABCD），R分解成 。如果R上成立的函数依赖集 ，那么ρ相对于 是否无损分解？如果R上成立的函数依赖集 呢？ A B C D AB BC CD 无损分解的测试方法 （2)把表格看成模式R的一个关系，反复检查F中每个FD在表格中是否成立，若不成立，则修改表格中的值。修改方法如下： 对于F中一个FD ，如果表格中有两行在X值上相等，在Y值上不相等，那么把这两行在Y值上也改成相等的值。如果Y值中有一个是 ，那么另一个也改成 ；如果没有 ，那么用其中一个 替换另一个值（尽量把下标ij改成较小的数）。