關係內部屬性與屬性之間的一種約束關係，通過屬性間值的相等與否體現。
好的模式應
避免插入、刪除、更新異常，資料冗餘盡量少。
r(u)是屬性集u上的關係模式，x、y是u的子集，在r中任意乙個可能的關係r中，不可能存在兩個元組，其在x上的屬性值相等，而在y上的屬性值不等，
則稱函式x確定y 或y函式依賴於x記作x→y
平凡函式依賴：x→y 且x包含y
非平凡函式依賴：x→y 且x不包含y
完全函式依賴：x→y，且對於x的任何乙個真子集x´,都不能得到x´→y
部分函式依賴：x→y，但y不完全依賴於x
傳遞函式依賴：若x→y(x不包含y)，且無法得到y→x，且y→z(y不包含z)，則稱z對x傳遞函式依賴
滿足最低的要求：每個分量必須是不可分的資料量
在1nf的基礎上，每個非主屬性完全依賴於任何乙個候選碼，否則應將其投影分解。
每乙個非主屬性既不傳遞依賴於碼，也不部分依賴於碼。
屬於3nf必屬於2nf,反之未必成立
在2nf,3nf的基礎上，沒有任何屬性完全函式依賴於非碼的任何一組屬性。
例：（s,j,p）s為學生，j為課程，p為教師。每個教師只教一門課，每門課若干教師，學生選某門課就固定了教師。
得到（s,j）→t （s,t）→j t→j 其中（s,j）（s,t）是候選碼，而t是決定因素，但它不包含碼，所以不是bcnf
u為屬性集總體，f是u上的一組函式依賴，於是又關係模式r,有以下推理規則
自反律：u包含x，x包含y，則有f蘊含依賴x→y
曾廣律：若f蘊含x→y，且u包含z，則f也蘊含xz→yz
傳遞律：若f蘊含x→y和y→z ，則f也蘊含x→z
合併規則：由x→y和x→z，有x→yz
偽傳遞規則：由x→y和wy→z，有xw→yz
分解規則：由x→y和y包含z ，有x→z
由原始依賴關係可推導出的全部依賴的集合
資料庫之關係資料理論
常用正規化 關聯式資料庫知道了，再來理解正規化。正規化是關聯式資料庫關係模式規範化的標準，從規範化的寬鬆到嚴格，分為不同的正規化，通常使用的有第一正規化。第二正規化 第三正規化及bc正規化。正規化是建立在函式依賴基礎上的。函式依賴 如果乙個表中某乙個欄位y的值是由另外乙個欄位或一組欄位x的值來確定的...
資料庫六（關係資料理論）
一 資料依賴 乙個關係內部屬性與屬性之間的約束關係 型別 函式依賴 fd 和多值依賴 mvd 資料依賴對關係模式的影響 資料冗餘太大 更新異常 插入異常 刪除異常 二 規範化 乙個低一級正規化的關係模式可以通過模式分解轉為若干高階正規化的模式集合。函式依賴 乙個關係表中屬性之間的聯絡 設有乙個關係模...
關係資料理論
關係資料模式可能存在的問題是 1.資料冗餘 2.更新異常 3.插入異常 4.刪除異常乙個好的關係模式應當不會發生插入異常 刪除異常和更新異常，資料冗餘應該盡可能的少。函式依賴和別的資料依賴一樣是語義範疇的概念，只能根據語義來確定乙個函式依賴。若r屬於1nf，且每乙個非主屬性完全函式依賴於任何乙個候選...