數(shù)據(jù)庫系統(tǒng)概論關(guān)系數(shù)據(jù)理論階段練習(xí)學(xué)習(xí)教案

1、數(shù)據(jù)庫系統(tǒng)概論關(guān)系數(shù)據(jù)理論數(shù)據(jù)庫系統(tǒng)概論關(guān)系數(shù)據(jù)理論(lln) 階段階段練習(xí)練習(xí)第一頁，共11頁。(zn un)率知XWWY,又因為 WYZ,由傳遞率知，XWZ.第2頁/共10頁第1頁/共10頁第二頁，共11頁。第五章第五章 關(guān)系數(shù)據(jù)理論關(guān)系數(shù)據(jù)理論(lln)n3.3若XY, Z Y,則有XZn 證明(zhngmng)：已知Z Y,由自反率知YZ;又因為n XY,由傳遞率知，XZ.第3頁/共10頁第2頁/共10頁第三頁，共11頁。第五章第五章 關(guān)系數(shù)據(jù)理論關(guān)系數(shù)據(jù)理論(lln)n7.1 X XF+ n 證明(zhngmng)：因為X X,所以X XF+ n7.2 (XF+) F+ XF+n 證

2、明(zhngmng)：取任意A (XF+) F+，由題意知，存在BXF+，使得 BA和XB成立，由傳遞率可知，XA成立，所以AXF+，所以(XF+) F+ XF+成立。第4頁/共10頁第3頁/共10頁第四頁，共11頁。第五章第五章 關(guān)系數(shù)據(jù)理論關(guān)系數(shù)據(jù)理論(lln)7.3 若XY，XF+YF+ 證明：取任意(rny)AXF+，則有XA成立；因為XY，由自反率可知YX成立；由傳遞率可知，YA成立，所以AYF+，所以XF+YF+成立。第5頁/共10頁第4頁/共10頁第五頁，共11頁。第五章第五章 關(guān)系數(shù)據(jù)理論關(guān)系數(shù)據(jù)理論(lln)7.4 UF+=U 證明：只要(zhyo)證明(1) UF+ U 和

3、(2) U UF+成立即可。(1)自反率： YU， 則由UY推得的Y仍然屬于U; 增廣率： UY，有ZU，使得UZYZ，這里，也必然有YZ屬于U； 傳遞率： UY，YZ為F所蘊(yùn)含，則有UZ成立；這里，也必然有YZ屬于U成立。 所以，U由F根據(jù)Armstrong公理推出的屬性集，仍然屬于U，即UF+ U 成立。第6頁/共10頁第5頁/共10頁第六頁，共11頁。第五章第五章 關(guān)系數(shù)據(jù)理論關(guān)系數(shù)據(jù)理論(lln)1。判斷下列模式(msh)屬于哪個范式(最高)1）R(A,B,C,D), F=ABCD,BC2）R(A,B,C), F=ABC,BC3) R(A,B,C), F=ABC, CB4) R(A,B

4、), F=AB5) R(A,B), F=第7頁/共10頁第6頁/共10頁第七頁，共11頁。1）求AF+， DF+， EF+， GCF+ AF+ =ABEGCD DF+ =D EF+ =EGC GCF+ =GC已知關(guān)系模式已知關(guān)系模式(msh)R,其中其中U=A,B,C,D,E,G, F=ACB, BD, ABE, EGC第8頁/共10頁第7頁/共10頁第八頁，共11頁。2）求關(guān)系(gun x)R的候選碼？已知關(guān)系模式已知關(guān)系模式(msh)R,其中其中U=A,B,C,D,E,G, F=ACB, BD, ABE, EGC第9頁/共10頁第8頁/共10頁第九頁，共11頁。3）求F的最小覆蓋第1步： F=ACB, BD, AB,AE, EG,EC第2步： F=F-AB=ACB, BD, AE, EG,EC第3步： 由于(yuy)CAF+，所以Fmin= AB, BD, AE, EG,EC已知關(guān)系已知關(guān)系(gun x)模式模式R,其中其中U=A,B,C,D,E,G, F=ACB, BD, ABE