引理8.5-1:无损分解 引理85-2:无损分解 算法8.5-1:将关系模式分解为BCNF且保持无损连接的方法(分 解法) 算法8.52:将关系模式分解为3NF且保持函数依赖的方法(合成 法) 定理85-1:算法8.5-2产生一个保持函数依赖且化为3NF的分解 算法85-3:既保持函数依赖又无损的3NF转换算法 定理85-2:算法85-3产生一个保持函数依赖的化为3NF的无损 分解 定理8.5-3:p={R1,R2}是R的一个分解,D是R的函数依赖 和多值依赖集合,则P为无损分解当且仅当(U∩U2)→→(U1-U2) 或者(U∩U2)→→(U2-U1) 定义85-4:R中若存在非平凡的多值依赖Ⅹ→→Y,则Ⅹ必为R 的SK,满足此条件的R属于4NF 定义8.5-5:R中除了由SK构成的连接依赖外,别无其他连接依 赖,则称R属于5NF引理 8.5-1：无损分解 引理 8.5-2：无损分解 算法 8.5-1：将关系模式分解为 BCNF 且保持无损连接的方法（分 解法） 算法 8.5-2：将关系模式分解为 3NF 且保持函数依赖的方法（合成 法） 定理 8.5-1：算法 8.5-2 产生一个保持函数依赖且化为 3NF 的分解 算法 8.5-3：既保持函数依赖又无损的 3NF 转换算法 定理 8.5-2：算法 8.5-3 产生一个保持函数依赖的化为 3NF 的无损 分解 定理 8.5-3：  ＝{R1，R2}是 R 的一个分解，D 是 R 的函数依赖 和多值依赖集合，则  为无损分解当且仅当(U1∩U2)→→(U1－U2) 或者(U1∩U2)→→(U2－U1) 定义 8.5-4：R 中若存在非平凡的多值依赖 X→→Y，则 X 必为 R 的 SK，满足此条件的 R 属于 4NF 定义 8.5-5：R 中除了由 SK 构成的连接依赖外，别无其他连接依 赖，则称 R 属于 5NF