重点:理解无损分解、损失分解、寄生元组、悬挂元组、Chase过程、两个无损分解相关的定理
无损分解和损失分解
设R是一个关系模式,F是R上的一个FD集,R分解成数据库模式ρ={R1,...,Rk}。如果对R中满足F的每一个关系r,都有r=【r在R1上投影】自然连接【r在R1上投影】...自然连接【r在Rk上投影】
那么称分解ρ相对于F是“无损连接分解”(LOSSLESS JOIN DECOMPOSITION),简称无损分解,否则称为“损失分解”(LOSSY DECOMPOSITION)
寄生元组
在泛关系模式R分解成数据库模式ρ={R1,...,Rk}时,泛关系r在ρ的每一模式Ri(1<=i<=n)上投影后再连接起来,比原来r中多出来的元组,成为“寄生元组”(Spurious Tuple)