設r(u)是乙個屬性集u上的關係模式，x 和y是u的子集。若對於r(u)的任意乙個可能的關係r，r 中不可能存在兩個元組在x上的屬性值相 等， 而在y上的屬性值不等， 則稱x函式確定 y或y函式依賴於x，記作x→y
x→y，但y⊈x則稱x→y是非平凡的函式依賴
x→y，但y⊆x 則稱x→y是平凡的函式依賴
在r(u)中，如果x→y(y⊈x)，y↛x， y→z，z⊈y, 則稱z對x傳遞函式依賴(transitive functional dependency)。記為：x → z
「正規化是符合某一種級別的關係模式的集合。關聯式資料庫中的關係必須滿足一定的要求。滿足不同程度要求的為不同正規化如果y→x, 即x←→y，則z直接依賴於x，而不是傳遞函式依賴
」
正規化的種類：
乙個低一級正規化的關係模式，通過模式分解可以轉換為若干個高一級正規化的關係模式的集合，這個過程就叫規範化
若關係模式r∈1nf，並且每乙個非主屬性都完全函式依賴於任何乙個候選碼，則r∈2nf。即屬性中沒有部分依賴。
如果關係模式r屬於第二正規化，且不存在傳遞函式依賴時，r∈3nf
boyce-codd正規化：如果乙個關係存在函式依賴，被依賴的屬性一定是候選鍵
「一般而言，因為實際應用錯綜複雜的關係，4nf和5nf很難應用，求到第三正規化就可以了。這裡簡單介紹一下第四和第五正規化：
」
二目關係屬於4nf 資料庫關係模型之關係代數
關係代數是一種抽象的查詢語言，它用對關係的運算來表達查詢。任何一種運算都是將一定的運算子作用於一定的運算物件上，得到預期的結果。所以運算物件 運算子 運算結果是運算的三大要素。按運算子的不同分為傳統的集合運算和專門的關係運算兩類 傳統的集合運算包括 並 差 交 笛卡爾積 專門的關係運算包括 選擇 投...
關係資料 規範化的理解
原則 規範化的目的是乙份資料只儲存在乙個地方。根據上面的原則來理解3種正規化 第一正規化 列的原子性 保證行的唯一性 乙份資料只儲存在乙個地方。第二正規化 非屬性鍵與主鍵的關係 1.滿足第一正規化 2.非鍵屬性依賴於整體主鍵，而不是非鍵屬性僅僅依賴於主鍵中的某個部分。即 無部分依賴 違反第二正規化就...
關聯式資料庫的規範化
文章分類 資料庫 一 函式依賴 在資料庫中，函式依賴是最基本 最重要的一種依賴。在資料庫中，屬性值之間會發生聯絡，這類聯絡稱為函式依賴。設有屬性集u上的關係模式r u x,y是u的子集，若對於任乙個關係r中的任一元組在x中的屬性值確定後，則在y中的屬性值必確定，則稱y依賴於x。二 正規化和規範化方法...