《数据库系统原理教学课件》作业讲评 4nf的判定.pptVIP

4NF的判定 3.6.2, 3.6.3 3.6.2 R=(U, F) U={n, s, b, cn, cs, cb, as, am} F={s?n, s?b, cs?cn, cs?cb, as?s, as?am} ?1={(s,n,b), (cs,cn,cb),(as,s,am)} ?1保持函数依赖并且满足4NF ?1不能够无损连接得到R，丢失了s与cs之间的亲子关系 3.6.2 R=(U, F) U={n, s, b, cn, cs, cb, as, am} F={s?n, s?b, cs?cn, cs?cb, as?s, as?am} KEY={cs,as} 3.6.2 R=(U, F) U={n, s, b, cn, cs, cb, as, am} F={s?n, s?b, cs?cn, cs?cb, as?s, as?am} KEY={cs,as} ?2={(s,n,b), (cs,cn,cb),(as,s,am),(cs,as)} ?2无损连接并且保持函数依赖 ?2满足4NF 3.6.2 R=(U, F) U={n, s, b, cn, cs, cb, as, am} F={s?n, s?b, cs?cn, cs?cb, as?s, as?am} KEY={cs,as} ?3={(s,n,b),(as,s,am), (s,cs)} ?3从实体联系的语义出发进行分解 ?3满足4NF 3.6.3.a R(A, B, C, D) F={} MVD={A??B, A??C} =D不属于任一多值依赖 KEY={ABCD} R最高满足BCNF 3.6.3.a R(A, B, C, D) F={} MVD={A??B, A??C} KEY={ABCD} ?={ABD, ACD}，?满足4NF R3(AB)=?ABR1(ABD) =?ABR(ABCD) R4(AC)=?ACR2(ACD) =?ACR(ABCD) 3.6.3.b R(A, B, C, D) F={} MVD={A??B, B??CD} = A??CD KEY={ABCD} R最高满足BCNF ?={AB, BCD, ACD} ?满足4NF 3.6.3.c R(A, B, C, D) F={B?C} MVD={AB??C} = AB??D KEY={ABD} R只满足1NF 3.6.3.c R(A, B, C, D) F={B?C} KEY={ABD} MVD={AB??C} = AB??D ?’={ABC, ABD} = {A, BC, ABD} ={AB, BC, ABD} R1(AB)=?ABR3(ABD) =?ABR(ABCD) ?={BC, ABD} ?满足4NF，保持函数依赖，无损 3.6.3.c R(A, B, C, D) F={B?C} KEY={ABD} MVD={AB??C} = AB??D 保持函数依赖进行模式分解 ?={BC, ABD} ?满足4NF，保持函数依赖，无损 3.6.3.d R(A, B, C, D, E) F={A?D, AB?E} MVD={A??B, A??C} =D, E不属于任一多值依赖 KEY={ABC} R最高满足1NF 3.6.3.d R(A, B, C, D, E) F={A?D, AB?E} MVD={A??B, A??C} KEY={ABC} ?’={AB, AC, AD, ABE} R1(AB)=?ABR4(ABD) =?ABR(ABCD) ?={AC, AD, ABE} ?满足4NF，保持函数依赖，有损 * * U={n, s, b, cn, cs, cb, as, am} F={s?n, s?b, cs?cn, cs?cb, as?s, as?am} KEY={cs,as} 计算: (s)F+ = { s, n,b} R1满足4NF R’只满足1NF “X” “X” “A” U’={s, cn, cs, cb, as, am } KEY= {cs,as} F’={cs?cn, cs?cb, as?s, as?am} U去掉“A” （ s, cn, cs, cb, as, am ） U1={s,n,b} KEY={s} “X A” F1={s?n, s?b} U’={s, cn, cs, cb, as, am } F’={cs?cn, cs?cb, as?s, as?am} KEY={cs,as} 计算: (cs)F+ = { cs, cn,cb} R2满足4NF R”只满足1NF “X” “X” “A” U”={s,