【導(dǎo)讀】函數(shù)依賴的概念及函數(shù)依賴公理。函數(shù)依賴集的等價(jià)和覆蓋。是通過一個(gè)關(guān)系中屬性間值的相等與否體現(xiàn)出來。是現(xiàn)實(shí)世界屬性間相互聯(lián)系的抽象。是數(shù)據(jù)內(nèi)在的性質(zhì)。r,如果t1[X]=t2[X]有t1[Y]=t2[Y],稱X. 元組,則有X→Y。都不成立,則稱X→Y是完全函數(shù)依賴;若對(duì)X的真子集X?→Y成立,則稱FDX→Y是部分函數(shù)依賴,即Y函。數(shù)依賴于X的一部分。⒉一個(gè)系只有一名主任;⒋每個(gè)學(xué)生所學(xué)的每門課程都有一個(gè)成績(jī)。X→Y邏輯蘊(yùn)涵于F。證明:A1.自反律:若Y?證明:A2.增廣律:若X→Y且Z?ΠY至多有一個(gè)元組,r必滿足XZ→Y。推論1若X→Y,X→Z,則X→YZ。推論3若X→Y,YZ→W,則XZ→W。An成立的充要條件是:。依賴組成的序列稱F上的一個(gè)推理序列。的閉包,記作F+。,ABC→AB,AC→AC,ABC→AC,BC→BC,ABC→BC,X+={Ai|用公理推出的X→Ai且Ai?定理2Armstrong公理是完備的。為此,構(gòu)造一個(gè)關(guān)系r。An,關(guān)系r中僅有二個(gè)元組t和t'。F,W在r中有兩種情況: