關係型資料庫中已經講到，乙個關係模型應當是乙個五元組。
r(u,d,dom,f)
這裡：
資料依賴是乙個關係內部屬性和屬性之間的一種約束關係。這種約束關係是通過屬性間值的相等與否體現出來的資料間相關的聯絡。
資料依賴其中最重要的是函式依賴（fd）和多值依賴（mvd）。
完全函式依賴和部分函式依賴：
傳遞函式依賴：
定義6.5：關係模式r中屬性或屬性x並非r的碼，但x是另乙個關係模式的碼，則稱x是r的外部碼，也成為外碼。
評價關聯式資料庫好壞的標準，通常情況下，正規化越高越好
規範化：乙個低一級的關係模式通過模式分解可以轉換為若干個高一級正規化的關係模式的集合。
作為乙個二維表，關係要符合乙個最基本的條件：每乙個分量必須是不可分的資料項，滿足了這個條件的關係模式就屬於第一正規化1nf。
規範化的基本思想是逐步消除資料依賴中不合適的部分，使模式中的各個關係模式達到某種程度的「分離」，即「一事一地」的模式設計原則。讓乙個關係描述乙個概念、乙個實體或則乙個實體之間的聯絡。若多於乙個概念就把它」分離「出去。因此所謂規範化實質上是概念的單一化。
資料庫概論 第六章 關聯式資料庫理論
6.2 規範化 多值依賴 mvd 碼正規化 2nf3nf bcnf 4nf可能出現的題型 6.3 資料依賴的公理系統 beeri,fagin,howard提出的推理規則 函式依賴集的閉包 語義上的概念 屬性集的閉包 語法上的概念 極小函式依賴集 6.4 模式分解 模式分解的保持函式依賴性 外延 關係...
資料庫系統概論筆記（第六章）
第六章.關係資料理論 1.第一正規化 1nf 每乙個分量必須是不可分的資料項 2.資料依賴 乙個關係內部屬性和屬性之間的約束關係 最重要的是函式依賴和多值依賴 3.乙個好的模式應當不會發生插入異常 刪除異常 更新異常。同時資料冗餘盡可能少。4.函式依賴 某個屬性集決定另乙個屬性集時，稱另一屬性集依賴...
資料庫第六章
一 關係模式由五部分組成，是乙個五元組 r u,d,dom,f 關係名r是符號化的元組語義 u為一組屬性 d為屬性組u中的屬性所來自的域 dom為屬性到域的對映 f為屬性組u上的一組資料依賴 二 一對一聯絡 設x，y為關係中的屬性或屬性組，它們的所有可能取值組成兩個集合。如果對於x中的任一具體值y中...