函数依赖的公理系统描述.ppt

6.4.1 模式分解的三个定义 对一个模式的分解是不唯一的，但是分解前后的两个模式应等价。 对“等价”的概念有三种不同的定义(也称分解的标准、分解的特性或分解的目标): (1)分解具有无损连接性(Lossless join)； (2)分解要保持函数依赖(Preserve dependency) (3)分解既要保持函数依赖，又要具有无损连接性。 模式分解的三个定义 按照不同的分解准则，模式所能达到的分离程度各不相同，各种范式就是对分离程度的测度。 进一步讨论: (1) “无损连接性”和“保持函数依赖”的含义? 如何判断? (2) 对不同的分解等价定义，分离后的关系模式的范式级别。 (3) 如何实现分离，分解的算法。 模式分解中的问题: 有损分解 R(A, B, C) A B C 1 1 2 2 2 1 A B 1 1 2 2 B C 1 2 2 1 A B C 1 1 2 2 2 1 ∏AB(R) ∏BC(R) ∏AB(R) ∏BC(R) R(A, B, C) A B C 1 1 1 2 1 2 A B 1 1 2 1 B C 1 1 1 2 A B C 1 1 1 1 1 2 2 1 1 2 1 2 ∏AB(R) ∏BC(R) ∏AB(R) ∏BC(R) 无损 分解 有损 分解 模式分解中的问题: 不保持函数依赖 A B C a1 b1 c1 a2 b1 c1 a3 b2 c2 a