函数依赖-数据库与智能网络试验室--吉林大学.pptVIP

分解算法 例 无损连接地将CTHRSG分解为一组BCNF的关系模式。其中C表示课程，T表示教师，H表示时间，R表示教室，S表示学生，G表示成绩。函数依赖集F及其所反映的语义分别为： C→T 每门课程仅有一位教师担任 HT→R 在任一时间，一个教师只能在一个教室上课 HR→C 在任一时间，每个教室只能上一门课 HS→R 在任一时间，每个学生只能在一个教室听课 CS→G 每个学生学习一门课程只有一个成绩 分解算法 对于给定的函数依赖集F ，如果对F+中所有形如?? ?的函数依赖，其中? ? R ， ? ? R。下面至少有一个成立: ? ? ? is trivial (i.e., ? ? ?) ? is a superkey for R 则具有函数依赖集F的关系模式R属于BCN下。此外，如果关系模式集中的每个模式都属于BCNF，则这个数据库设计属于BCNF., Example 不属于BCNF的关系模式: bor_loan = ( customer_id, loan_number, amount ) 由于 loan_number ? amount 成立 bor_loan 而 loan_number 不是超键 实例 R = (A, B, C )F = {A ? B B ? C}Key = {A} R 不满足BCNF 分解 R1 = (A, B), R2 = (B, C) R1 and R2 满足BCNF 无损连接分解 依赖保持 BCNF 分解算法 result := {R };done := false;compute F +;while (not done) do if (there is a schema Ri in result that is not in BCNF) then begin let ?? ? ? be a nontrivial functional dependency that holds on Ri such that ?? ? Ri is not in F +,  and ? ? ? = ?; result := (result – Ri ) ? (Ri – ?) ? (?, ? ); end else done := true; BCNF 分解实例 R = (A, B, C )F = {A ? B B ? C}Key = {A} R 不满足BCNF (B ? C but B 不是超键) 分解 R1 = (B, C) R2 = (A,B) BCNF 分解实例 初始关系模式R 和函数依赖F R = (branch_name, branch_city, assets, customer_name, loan_number, amount ) F = {branch_name ? assets branch_city loan_number ? amount branch_name } Key = {loan_number, customer_name} 分解 R1 = (branch_name, branch_city, assets ) R2 = (branch_name, customer_name, loan_number, amount ) R3 = (branch_name, loan_number, amount ) R4 = (customer_name, loan_number ) 最终分解结果  R1, R3, R4 将关系模式分解为BCNF 给定关系模式R 和非平凡函数依赖 ??? 违背BCNF. 将R 分解为: (??U ? ) ( R - ( ? - ? ) ) 例如, ? = loan_number ? = amount and bor_loan 分解为 (??U ? ) = ( loan_number, amount ) ( R - ( ? - ? ) ) = ( customer_id, loan_number ) BCNF 和依赖保持 不是每个BCNF分解都是保持依赖的，同时它也说明我们不是总能满足 所有以下几个设计目标: 1) BCNF 2)无损连接。 3)保持函数依赖。 第三范式 如果关系模式R中的每一个非主属性既不部分依赖也不传递依赖于键，则称这个关系模式属于第三范式，记为R∈3NF。 设F是关系模式R的FD集，如果对于F中每一个非平凡的FD X→Y，都有X是R的超键，或