關(guān)系數(shù)據(jù)庫理論-文庫吧資料
2024-07-31 10:33本頁面
【正文】 ?EG外，還有 BE?C。 所以 X(1)＝ BD ? EG＝ BDEG。 求 X＋ 的迭代算法，計算步驟如下： 計算步驟： 設(shè) X(O)＝ BD 且 F中存在一函數(shù)依賴 Y?Z， 而 A?Z， 因為 U是有窮的 ， 所以上述過程經(jīng)過有限步后會達到X(i) ＝ X(i+1)， 此時 X(i)為所求的 X＋ 。 于是判斷 X?Y能否由 F根據(jù)Armstrong公理導(dǎo)出的問題，就轉(zhuǎn)化為求 X＋ ..， 即判斷 Y是否為 X＋ ..的子集的問題。 從合并規(guī)則和分解規(guī)則可得到一個重要的結(jié)論： 引理 1： X?A1 A5： 偽傳遞規(guī)則 若 X?Y和 WY?Z成立，則 WX?Z也成立。 A3： 傳遞律 若 X?Y， Y?Z為 F所蘊含，則 X?Z為 F所蘊含。Z?Y ?Armstrong公理 設(shè) U為屬性總體集， F為 U上的 一組函數(shù)依賴，對于關(guān)系模式 R（ U， F） 有下列推理規(guī)則： A1： 自反律 若 Y?X?U， 則 X ?Y為 F蘊含。 例如： SC (SNO, CNO, SCORE) SNO,CNO ?SCORE SC(SNO, CNO, SCORE, SNAME) SNO,CNO ? SCORE, SNO,CNO ?SNAME, X Yf? ??X YP? ??Sno Sname K A Af? ?? ? ? ?1 2 A n?. 碼的定義 在關(guān)系模式 R(U)中， K為 R的屬性或?qū)傩越M，若滿足 ，則 K為關(guān)系模式 R的候選碼。 例如： DEPT(deptno,dname,loc) 例如： u,v = = 完全函數(shù)依賴 在關(guān)系模式 R(U)中，如果 X ?Y成
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1