【導(dǎo)讀】為什么要討論函數(shù)依賴?如果有一個(gè)關(guān)系模式R(A1,A2,…,An}的子集,那么對(duì)于關(guān)系R中的任意。決定Y,或Y函數(shù)依賴于X,并用X→Y表示。如不特別說明,我們。則記作性別學(xué)號(hào)。如果X→Y,則X稱作決定因素。字,X是任一屬性或?qū)傩约绻鸛?稱為主屬性;否則稱為非主屬性。為什么會(huì)出現(xiàn)以上種種操作異?,F(xiàn)象呢?克服以上種種問題,模式分解不能破壞原來的語義;任意兩個(gè)元組t和s,如果t[X]=s[X],U,r、t、s的含義同上。由定義XZ→YZ成立,增廣律得證。的三個(gè)推論是正確的。又根據(jù)傳遞律有X→YZ,合并規(guī)則得證。又根據(jù)傳遞律分別有X→Y和X→Z,An的充分必要條件。是X→Ak成立(k=1,2,…函數(shù)依賴邏輯蘊(yùn)涵所要研究的內(nèi)容。F={A→B,B→C},問A→C是否也成立?