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

3.6.2R=(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.2R=(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} 牛牛文库文档分享“X”“X”“A”U去掉“A”“XA”（ s, cn, cs, cb, as, am ） U’={s, cn, cs, cb, as, am } U1={s,n,b}F1={s?n, s?b}F’={cs?cn, cs?cb, as?s, as?am}KEY={s}KEY= {cs,as} 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满足4NFR’只满足1NF 牛牛文库文档分享“X”“X”“A”U’去掉“A”“XA”（ s, cs, as, am ） U”={s, cs, as, am } U2={cs, cn,cb}F2={cs?cn, cs?cb} F”={as?s, as?am}KEY={cs}KEY= {cs,as} 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满足4NFR”只满足1NF 牛牛文库文档分享“X”“X”“A”U’去掉“A”“XA”（cs, as） U4={cs, as} U3={as, s,am}F3={as?s, as?am} F4={}KEY={as}KEY= {cs,as} U”={s, cs, as, am }F”={as?s, as?am} KEY={cs,as}计算: (as)F+ = { as, s,am}R3满足4NFR4满足4NF 牛牛文库文档分享3.6.2R=(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.2R=(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.aR(A, B, C, D)F={}MVD={A??B, A??C}=D不属于任一多值依赖KEY={ABCD}R最高满足BCNF 牛牛文库文档分享3.6.3.aR(A, B, C, D)F={}MVD={A??B, A??C}KEY={ABCD}?={ABD, ACD}，?满足4NFR3(AB)=?ABR1(ABD) =?ABR(ABCD)R4(AC)=?ACR2(ACD) =?ACR(ABCD) 牛牛文库文档分享3.6.3.bR(A, B, C, D)F={}MVD={A??B, B??CD} = A??CDKEY={ABCD}R最高满足BCNF?={AB, BCD, ACD}?满足4NF 牛牛文库文档分享3.6.3.cR(A, B, C, D)F={B?C}MVD={AB??C} = AB??DKEY={ABD}R只满足1NF 牛牛文库文档分享3.6.3.cR(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.cR(A, B, C, D)F={B?C} KEY={ABD}MVD={AB??C} = AB??