定义84-2:F在Ui上的投影 定义8.43:设p=(R1,R2R)是R的一个分解,r是R的任一个 值,如果满足r=Iu(r)<∏ua(r)pq∏ur).D<∏u(r)则称p 是无损连接分解 定义84-4:分解P保持函数依赖 引理84-1:设p=(R1,R2R是R的一个分解,r是R的一个值 ri=Iu),则有(1)rmp();(2如果s=mp(r),则∏u)=ri; B)mpmp(r=mp(r) 算法8.4-1:判别无损连接 定理84-1:算法84-1可以正确判断一个分解是否是无损的(i 定理84-2:R的一个分解p={R1,R2}无损的充要条件是U1n U2)→(U1-U2)∈F或者U∩U2)→(U2-U1)∈F+ 算法8.4-2:判别一个分解是否保持函数依赖 8.5关系模式规范化 定义8.5-1:如果关系模式R中的所有非主属性都完全函数依赖于 所有CK,则称R属于2NF 定义8.5-2:如果关系模式R中的非主属性既不部分依赖也不传递 依赖所有CK,则称R属于3NF (等价定义) 定义853:若对于R上的任何非平凡函数依赖X→Y都有Ⅹ必为 R上的SK,则称R属于BCNF定义 8.4-2：F 在 Ui 上的投影 定义 8.4-3：设  ＝(R1,R2…Rk)是 R 的一个分解，r 是 R 的任一个 值，如果满足 r＝ΠU1(r)  ΠU2(r)  ΠU3(r)… ΠUk(r)则称  是无损连接分解 定义 8.4-4：分解  保持函数依赖 引理 8.4-1：设  ＝(R1,R2…Rk)是 R 的一个分解，r 是 R 的一个值， ri＝ΠUi(r)，则有(1) r  m  (r)；(2)如果 s= m  (r)，则ΠUi(r)＝ri； (3) m  m  (r)= m  (r) 算法 8.4-1：判别无损连接 定理 8.4-1：算法 8.4-1 可以正确判断一个分解是否是无损的（iff） 定理 8.4-2：R 的一个分解  ＝{R1，R2}无损的充要条件是(U1∩ U2)→(U1－U2)∈F ＋或者(U1∩U2)→(U2－U1)∈F ＋ 算法 8.4-2：判别一个分解是否保持函数依赖 8.5 关系模式规范化 定义 8.5-1：如果关系模式 R 中的所有非主属性都完全函数依赖于 所有 CK，则称 R 属于 2NF 定义 8.5-2：如果关系模式 R 中的非主属性既不部分依赖也不传递 依赖所有 CK，则称 R 属于 3NF （等价定义） 定义 8.5-3：若对于 R 上的任何非平凡函数依赖 X→Y 都有 X 必为 R 上的 SK，则称 R 属于 BCNF