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