7.7模式分解及分解后的特性

无损连接

 无损连接是指将一个关系模式分解成若干个关系模式后，通过自然连接和投影等运算仍能还原到
原来的关系模式，则称这种分解为无损连接分解。
• 定理：关系模式R(U,F)的一个分解ρ?={ R 1 (U 1 ,F 1 ),R 2 (U 2 ,F 2 )}，具有无损连接的充分必要的条件是：
U 1 ⋂U 2 →U 1 －U 2 ∈F + 或U 1 ⋂U 2 →U 2 －U 1 ∈F + 。
• 注意：这个定理只适用于分解为两个子模式的情况，分解为多个子模式的时候不适用。

保持函数依赖

若分解后的属性需要在一个关系模式里，则保持函数依赖