数据库系统概论第四版课件及实验第6章关系数据库理论幻灯片.ppt

* 2、设有函数依赖集F={AB→CE，A→C，GP→B，EP→A，CDE→P，HB→P，D→HG，ABC→PG},求与F等价的最小函数依赖集。 (1)逐一检查F中各函数依赖Fdi：X→Y,若Y=A1A2 …Ak，k 2，则用 { X→Aj |j=1，2，…， k} 来取代X→Y。 F={AB→C，AB→E，A→C，GP→B，EP→A，CDE→P，HB→P，D→H，D→G，ABC→P，ABC→G} 极小化过程 * F={AB→C，AB→E，A→C，GP→B，EP→A，CDE→P，HB→P，D→H，D→G，ABC→P，ABC→G} (2)逐一检查F中各函数依赖FDi：X→A，令G=F-{X→A}，若A?XG+， 则从F中去掉此函数依赖。 检查AB→C： 令G=F-{AB→C}, C?ABG+ =ABCEPG, 所以将AB→C从F中去掉, F’={AB→E，A→C，GP→B，EP→A，CDE→P，HB→P，D→H，D→G，ABC→P，ABC→G} 再检查AB→E：令G=F’-{AB→E}, E?ABG+ =ABCPG, 所以不能将AB→E从F’中去掉 再检查A→C：令G=F’-{A→C}, C?AG+=A, 所以不能将A→C从F’中去掉 再检查GP→B：令G=F’-{GP→B}, B?GPG+=GP, 所以不能将GP→B从F’中去掉 再检查EP→A：令G=F’-{EP→A}, A?EPG+=EP, 所以不能将EP→A从F’中去掉 极小化过程 * 再检查CDE→P：令G=F’-{CDE→P}, P?CDEG+=CDEHG, 所以不能将CDE→P从F’中去掉 再检查HB→P：令G=F’-{HB→P}, P?HBG+=HB, 所以不能将HB→P从F’中去掉 再检查D→H：令G=F’-{D→H}, H?DG+=DG, 所以不能将D→H从F’中去掉 再检查D→G：令G=F’-{D→G}, G?DG+=DH, 所以不能将D→G从F’中去掉 再检查ABC→P：令G=F’-{ABC→P}, P?ABCG+=ABCEG, 所以不能将ABC→P从F’中去掉 再检查ABC→G：令G=F’-{ABC→G}, G?ABCG+=ABCEP, 所以不能将ABC→G从F’中去掉 所以，F’={AB→E，A→C，GP→B，EP→A，CDE→P，HB→P，D→H，D→G，ABC→P，ABC→G} 极小化过程 * (3)逐一取出F中各函数依赖FDi：X→A，设X=B1B2…Bm，逐一考查Bi (i=l，2，…，m)，若A ?(X-Bi )F+ ，则以X-Bi 取代X。 F’={AB→E，A→C，GP→B，EP→A，CDE→P，HB→P，D→H，D→G，ABC→P，ABC→G} 检查AB→E：E?AF+=(AB-B)F+=AC且E?BF+=(AB-A)F+=B 所以AB→E不能被取代 再检查GP→B：B?GF+=(GP-P)F+=G且B?PF+=(GP-G)F+=P 所以GP→B不能被取代 再检查EP→A：A?EF+=(EP-P)F+=E且A?PF+=(EP-E)F+=P 所以EP→A不能被取代 极小化过程 * 再检查CDE→P：P?CDF+=(CDE-E)F+=CDHG且P?CEF+=(CDE-D)F+=CE且P?DEF+=(CDE-C)F+=DEHG 所以CDE→P不能被取代 再检查HB→P：P?HF+=(HB-B)F+=H且P?BF+=(HB-H)F+=B所以HB→P不能被取代 再检查ABC→P：P?ACF+=(ABC-B)F+=AC且P?BCF+=(ABC-A)F+=BC但P?ABF+=(ABC-C)F+=ABECPG所以ABC→P被AB→P取代，继续检查AB→P：P?AF+=(AB-B)F+=AC且P?BF+=(AB-A)F+=B，所以AB→P不能被取代了 再检查ABC→G：G?ACF+=(ABC-B)F+=AC且G?BCF+=(ABC-A)F+=BC但G?ABF+=(ABC-C)F+=ABECPG所以ABC→G被AB→G取代，继续检查AB→G：G?AF+=(AB-B)F+=AC且G?BF+=(AB-A)F+=B，所以AB→G不能被取代了 所以Fm={AB→E，A→C，GP→B，EP→A，CDE→P，HB→P，D→H，D→G，AB→P，AB→G} 极小化过程 * 3、关系模式 P(A，B，C，D，E，F，G，H，I，J) 满足下列函数依赖：FD={ ABD→B，AB→G，B→F，C→J，CJ→I,G→H }，求FD 的最小函数依赖集，候选码，判断该关系