1.函式依賴的推導
首先通過乙個樣例來說明如何由乙個fd（函式依賴）推導出其它fd。
例：若關係r（a,b,c）滿足fd：a->b和b->c，那麼就可以推斷出r也滿足fd：a->c。
若要證明a->c必須要先考慮r中a分量值相同的兩個元組，證明它們的c分量值也相同。
假設兩個在a上取值相同的元組為（a,b1,c1）和（a,b2,c2）。因為r滿足a->b，又已知兩個元組在a上取值相同，故它們在b上的取值相同，即b1=b2，這兩個元組實際上就是（a,b,c1）和（a,b,c2），其中b既是b1也是b2。同理，因為r滿足b->c，得出c1=c2。由此證明出存在fd：a->c。
2.分解/結合規則
3.平凡函式依賴
4.計算屬性的閉包
5.閉包演算法為何有效
6.傳遞規則
7.函式依賴的閉包集合
8.投影函式的依賴
更新中…
關聯式資料庫設計理論 函式依賴和正規化
表裡的一列就是乙個值，只講一件事，不可分。比如說 你寫手機號，號，寫兩個就不行。官話 屬性不可分，具有原子性 表不是有乙個主鍵嘛，這個唯一識別符號用於確定每一行，乙個值確定乙個行，這個屬性稱為碼，它是主屬性，碼可能是由多個主屬性組成的。2nf就是確保其他的屬性，都由這個碼來確定，比如碼是 學生學號,...
關聯式資料庫設計理論
關聯式資料庫的模式設計 本章的理論性較強，學習時有無從下手的感覺，在學習時應多加思考，從概念出發去理解理論，前後的理論有較強的聯絡，因此要逐個理解，但對於理論的證明等內容則不必深究，本章重點是函式依賴，無損聯接 保持依賴和正規化的概念。一 關係模式的設計問題 識記 關聯式資料庫 是以關係模型為基礎的...
關聯式資料庫設計理論
資料依賴是通過乙個關係中屬性間值的相等與否體現出來的資料間的相互關係，是現實世界屬性間相互聯絡的抽象，是資料內在的性質，是語義的體現。現在人們已經提出了很多種型別的資料依賴，其中最重要的是函式依賴 fd 和多值依賴 mvd 規範化理論致力於解決關係模式中不適合的資料依賴問題。而函式依賴和多值依賴是最...