關(guān)系數(shù)據(jù)庫(kù)理論-展示頁(yè)
2024-08-02 10:33本頁(yè)面
【正文】 立，并且對(duì) X的任何真子集 X?, X?不能函數(shù)決定 Y（ X? ?Y）， 則稱 Y對(duì) X是完全函數(shù)依賴，用符號(hào)表示。Y, 稱 X函數(shù)決定 Y， 或者稱 Y函數(shù)依賴于 X。X（ 表示元組 u在屬性 X上的值等于元組 v在屬性 X上的值），則有 u ?函數(shù)依賴 設(shè) R(A1, A2, …, An) 為 一關(guān)系模式，X、 Y為屬性全集 U＝ {A1, A2, …, An}的子集，從關(guān)系 R中任取兩個(gè)元組 u、 v， 若有 u 關(guān)系數(shù)據(jù)庫(kù)理論 ?關(guān)系代數(shù) ?關(guān)系數(shù)據(jù)庫(kù)規(guī)范化理論 關(guān)系數(shù)據(jù)庫(kù)設(shè)計(jì)理論 是數(shù)據(jù)庫(kù)設(shè)計(jì)的指南，用來解決關(guān)系模型的優(yōu)化問題。 01 Radio Bejing 01 Radio Bejing 基礎(chǔ) : 函數(shù)依賴?yán)碚摵鸵?guī)范化理論。X=vY=v 用符號(hào)： X? Y 表示。 在關(guān)系模式 R(U)中， X?Y成立，如果 X存在真子集 X?， 而且 X? ?Y成立，則稱 Y對(duì) X是部分函數(shù)依賴，用符號(hào)表示。包含在后選碼的屬性稱為主屬性，而不含在候選碼中的屬性稱為非主屬性。 A2： 增廣律 若 X?Y為 F所蘊(yùn)含，且 Z?U， 則 XZ為 F所蘊(yùn)含。 求碼 ? 根據(jù)碼的定義 , 由已知函數(shù)依賴 ,導(dǎo)出R(U,F)的全部函數(shù)依賴 K A Af? ?? ? ? ?1 2 A n?. 從上述 Armstrong公理還可得出下面三條推理規(guī)則： A4： 合并規(guī)則 若 X?Y、 X?Z成立，則 X?YZ也成立。 A6： 分解規(guī)則 如果 X?Y和 Z?Y成立，則 X?Z也成立。A2…An 成立的充分必要條件是 X?Ai成立， i=1, 2, … n 屬性集團(tuán)包定義 設(shè) F為屬性集 U上的 一組 函數(shù)依賴 , X ? U, X＋ ={A |X ? A能由 F根據(jù)Armstrong公理理導(dǎo)出 }，稱 X＋ 為屬性集 X關(guān)于函數(shù)依賴
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1