設r(u)是乙個屬性集上的關係模式，x,y是u的子集。
函式依賴：如果x-->y,則稱y函式依賴於x。
平凡函式依賴：如果x-->y，且y是x的子集。
非平凡函式依賴：如果x--->，且y不是x的子集。
完全函式依賴：如果x-->y，且x的任何乙個真子集都不能推出y，則y完全函式依賴於x。
部分函式依賴：如果x-->y，且x的至少存在乙個真子集能推出y，則y部分函式依賴於x。
傳遞函式依賴：如果x-->y，且y-/->x,y-->z，則稱z傳遞函式依賴於x。
第一正規化(1nf)：每個屬性值都是乙個不可分解的資料項。
第二正規化(2nf)：滿足第一正規化的前提下，所有非主屬性完全函式依賴於任何候選碼。
第三正規化(3nf)：滿足第二正規化的前提下，所有非主屬性不傳遞函式依賴於任何候選碼。
關聯式資料庫的規範化
文章分類 資料庫 一 函式依賴 在資料庫中，函式依賴是最基本 最重要的一種依賴。在資料庫中，屬性值之間會發生聯絡，這類聯絡稱為函式依賴。設有屬性集u上的關係模式r u x,y是u的子集，若對於任乙個關係r中的任一元組在x中的屬性值確定後，則在y中的屬性值必確定，則稱y依賴於x。二 正規化和規範化方法...
關聯式資料庫規範化總結
最近本人在準備軟考，所以不得不拿起大一大二時的書本，再次複習一遍。在做軟考的試題中遇到了幾個常遇到的問題，在這裡就討論一下關係型資料庫規範化的問題。關係型資料庫設計的理論核心是資料間的函式依賴問題，衡量的標準是關係規範化的程度及分解的無損連線和保持函式的依賴性。函式依賴是最重要的資料依賴。函式依賴又...
關聯式資料庫規範化總結
最近本人在準備軟考，所以不得不拿起大一大二時的書本，再次複習一遍。在做軟考的試題中遇到了幾個常遇到的問題，在這裡就討論一下關係型 資料庫規範化的問題。關係型資料庫設計的理論核心是資料間的函式依賴問題，衡量的標準是關係規範化的程度及分解的無損連線和保持函式的依賴性。函式依賴是最重要的資料依賴。函式依賴...