第3章 關系模型設計理論

1、S#C#CnameTnameS2 C4 Pascal王東S4 C4 Pascal王東S6 C4 Pascal王東S6 C6C語言劉敏S4 C6C語言劉敏S8 C2VC張杰C2S8C6S4C6S6C4S6C4S4C4S2C#S#張杰VCC2劉敏C語言C6王東PascalC4TnameCnameC#分解后形成分解后形成2 2個關系模式個關系模式C#CnameTnameC4 Pascal王東C4 Pascal張三C4 Pascal何明C6C語言劉敏C6C語言劉杰C2VC張杰C#CnameTnameC4 Pascal王東C4C+張三C4VB何明C6C語言劉敏C6C語言劉杰C2VC張杰上成立上成立在在，

2、則，則若若RYXUXY 上成立。上成立。在在，則，則上成立，且上成立，且在在若若RYXURYX 上成立。上成立。在在上成立，則上成立，則在在和和若若RXRZYYXYZX| ZXYX ，ZX| Y,YX WX| ZWY,YXYXW| ZW,YX Y)YW(X| ZW,YX YXXYYX ，那么稱，那么稱，如果，如果 XYX+=X; /初始化初始化X+為為X/Do /外層循環(huán)外層循環(huán)/ oldX+=X+; /保存已求得的保存已求得的X+到到oldX+/ for (FD的每個的每個YZ) /內(nèi)層循環(huán)，依次取內(nèi)層循環(huán)，依次取FD中的中的YZ/ if (Y是是X+的子集）的子集）X+=ZX+; /判斷判

3、斷Z是否是是否是X+的成員的成員/ While(X+!=oldX+) /外層循環(huán)結(jié)束條件外層循環(huán)結(jié)束條件/Printf(X+);u例：已知屬性集例：已知屬性集U為為ABCD，F(xiàn)D=aB,BC,DB。求：。求：A+、(AD) + 、(BD) + 、D + 、根據(jù)根據(jù)A5，求得與，求得與F等價的等價的FD集集G，G中每個中每個FD的的右邊均為單屬性右邊均為單屬性；在在G的每個的每個FD中消除中消除左邊冗余的屬性左邊冗余的屬性；在在G中消除中消除冗余的冗余的FD；泛關系模式泛關系模式R泛關系泛關系r數(shù)據(jù)庫模式數(shù)據(jù)庫模式P=R1,Rk數(shù)據(jù)庫實例數(shù)據(jù)庫實例d=當前值當前值當前值當前值121111CBA2111BA11CArr1r2121111CBA無損分解不丟失信息無損分解不丟失信息2r1r 321411CBA2111BA4131CArr1r2311421321411CBA損失分解產(chǎn)生了寄生元組損失分解產(chǎn)生了寄生元組2r1r )r (.)r ()r (rRk2R1R k1iRip)r ()r (mZXYFYX|YX)F(z ，且，且F| )F(