當(dāng)t1[X]=t2[X]為假時(shí),說(shuō)明任意兩個(gè)元組的X(X可能包含多個(gè)字段)都不相等,也就是說(shuō)X是唯一的,即X能唯一地標(biāo)識(shí)該模式中的元組,所以X就是R的主鍵.故不管t1[Y]=t2[Y]為真或?yàn)榧?都有X→Y成立.
可以找一個(gè)實(shí)例來(lái)理比如R(編號(hào),姓名,年齡,學(xué)院,班級(jí)),X（編號(hào)）,Y（年齡,班級(jí)）,r是某一個(gè)班級(jí)的學(xué)生信息,t1（0001,小明,20,工學(xué)院,土木本一班）,t2（0002,小馬,19,工學(xué)院,土木本一班）,若t1[X]=t2[X]為假,那說(shuō)明在r中,任意兩個(gè)學(xué)號(hào)都不相等,那X就可以作為R的主鍵,由主鍵可以確定該關(guān)系模式的所有字段,不管其他字段是否相等.
特別要注意函數(shù)依賴中“任意”兩個(gè)字.
PS：好久沒(méi)看過(guò)數(shù)據(jù)庫(kù)理論的書(shū)了,如果答的不對(duì),請(qǐng)多指教,函數(shù)依賴部分是讓人比較頭疼的地方.這兩句話意思是一樣的，你仔細(xì)琢磨下。1.屬性（或?qū)傩越M）A和B 對(duì)應(yīng) X和Y為{A1,A2,…,An}的子集。X、Y是R的子集，不就是說(shuō)X、Y里包含R的一個(gè)或多個(gè)屬性，也就是X、Y也是R的屬性（或?qū)傩越M）。2.如果R中B的每個(gè)值都與A的唯一確定值對(duì)應(yīng) 對(duì)應(yīng) 則對(duì)于關(guān)系R中的任意一個(gè)X值，都只有一個(gè)Y值與之對(duì)應(yīng)。（1）如果R中B的每個(gè)值都與A的唯一確定值對(duì)應(yīng)。那么A—>B，A是R的超鍵。（2）則對(duì)于關(guān)系R中的任意一個(gè)X值，都只有一個(gè)Y值與之對(duì)應(yīng)。還是舉上面那個(gè)例子吧，X（編號(hào)），Y（年齡，班級(jí)，學(xué)院），如果對(duì)于任意一個(gè)編號(hào)，都有唯一一個(gè)（年齡，班級(jí)，學(xué)院）與之對(duì)應(yīng)，那X就可以作為X的超鍵，X—>Y。