06 | 關係資料理論

LALAAYANG發表於2020-12-03

06 | 關係資料理論

規範化

函式依賴

  • 函式依賴
    非平凡的函式依賴
    平凡的函式依賴
    決定因素
    完全函式依賴
    部分函式依賴
    傳遞函式依賴

候選碼 主碼
超碼
主屬性
非主屬性(非碼屬性)
全碼
外碼

正規化

規範化:一個低一級正規化的關係模式通過模式分解可以轉換為若干個高一級正規化的關係模式的集合

  • 1NF:每個分量必須是不可分的資料項
  • 2NF:若R∈1NF,且每一個非主屬性完全依賴於任何一個候選碼,則R∈2NF
    一個關係模式不滿足2NF,就會產生下列問題:

(1)插入異常
(2)刪除異常
(3)修改複雜

  • 3NF:
  • BCNF:

相關文章