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

1,4NF的判定,3.6.2, 3.6.3,2,3.6.2,R=(U, F) U=n, s, b, cn, cs, cb, as, am F=sn, sb, cscn, cscb, ass, asam 1=(s,n,b), (cs,cn,cb),(as,s,am) 1保持函数依赖并且满足4NF 1不能够无损连接得到R，丢失了s与cs之间的亲子关系,3,3.6.2,R=(U, F) U=n, s, b, cn, cs, cb, as, am F=sn, sb, cscn, cscb, ass, asam KEY=cs,as,4,U=n, s, b, cn, cs, cb, as, am F=sn, sb, cscn, cscb, ass, asam KEY=cs,as,计算: (s)F+ = s, n,b,R1满足4NF,R只满足1NF,5,U=s, cn, cs, cb, as, am F=cscn, cscb, ass, asam KEY=cs,as,计算: (cs)F+ = cs, cn,cb,R2满足4NF,R”只满足1NF,6,U”=s, cs, as, am F”=ass, asam KEY=cs,as,计算: (as)F+ = as, s,am,R3满足4NF,R4满足4NF,7,3.6.2,R=(U, F) U=n, s, b, cn, cs, cb, as, am F=sn, sb, cscn, cscb, ass, asam KEY=cs,as 2=(s,n,b), (cs,cn,cb),(as,s,am),(cs,as) 2无损连接并且保持函数依赖 2满足4NF,8,3.6.2,R=(U, F) U=n, s, b, cn, cs, cb, as, am F=sn, sb, cscn, cscb, ass, asam KEY=cs,as 3=(s,n,b),(as,s,am), (s,cs) 3从实体联系的语义出发进行分解 3满足4NF,9,3.6.3.a,R(A, B, C, D) F= MVD=AB, AC =D不属于任一多值依赖 KEY=ABCD R最高满足BCNF,10,3.6.3.a,R(A, B, C, D) F= MVD=AB, AC KEY=ABCD =ABD, ACD，满足4NF R3(AB)=ABR1(ABD) =ABR(ABCD) R4(AC)=ACR2(ACD) =ACR(ABCD),11,3.6.3.b,R(A, B, C, D) F= MVD=AB, BCD = ACD KEY=ABCD R最高满足BCNF =AB, BCD, ACD 满足4NF,12,3.6.3.c,R(A, B, C, D) F=BC MVD=ABC = ABD KEY=ABD R只满足1NF,13,3.6.3.c,R(A, B, C, D) F=BC KEY=ABD MVD=ABC = ABD =ABC, ABD = A, BC, ABD =AB, BC, ABD R1(AB)=ABR3(ABD) =ABR(ABCD) =BC, ABD 满足4NF，保持函数依赖，无损,14,3.6.3.c,R(A, B, C, D) F=BC KEY=ABD MVD=ABC = ABD 保持函数依赖进行模式分解 =BC, ABD 满足4NF，保持函数依赖，无损,15,3.6.3.d,R(A, B, C, D, E) F=AD, ABE MVD=AB, AC =D, E不属于任一多值依赖 KEY=ABC R最高满足1NF,16,3.6.3.d,R(A, B, C, D, E) F=AD, ABE MVD=AB, AC K