一、資料依賴：
乙個關係內部屬性與屬性之間的約束關係
型別：函式依賴（fd)和多值依賴（mvd）
資料依賴對關係模式的影響：
資料冗餘太大；更新異常；插入異常；刪除異常
二、規範化:乙個低一級正規化的關係模式可以通過模式分解轉為若干高階正規化的模式集合。
函式依賴：乙個關係表中屬性之間的聯絡
設有乙個關係模式r(u)，xy均屬於u,ts是兩個元組，若t[x]=s[x]時有t[y]=s[y]，則y函式依賴x.
平凡的函式依賴：屬性集對其子集的函式依賴
非平凡的函式依賴：屬性集對另乙個非其子集的屬性集的函式依賴
完全函式依賴：x->y,而x的任何乙個真子集都不決定y.
部分函式依賴：
傳遞函式依賴：x->y，y不是x的子集，y不決定x,y->z,則x傳遞函式依賴z
正規化：符合某一級別的關係模式的集合
1nf>2nf>3nf>bcnf>4nf>5nf
1nf:乙個關係模式中所有屬性都是不可分基本資料項
2nf:在1nf是·基礎上，每個非主屬性完全函式依賴於碼
3nf:每個非主屬性既不部分依賴於碼，也不傳遞以依賴於碼
bcnf:在乙個關係模式中，每個決定因素都包含碼
所有的非主屬性對每個碼都完全函式依賴；所有的主屬性對每個不包含它的碼也是完全函式依賴。
多值依賴：
設r(u)是乙個關係模式，x/y/z是u的子集，z = u-x-y,當僅當對r(u)的任一關係r,給定乙個（x,z)有一組y值對應，這組值僅決定於x,則x->->y
平凡的多值依賴：z為空集
非平凡的多值依賴：z不為空集
性質：對稱性，傳遞性，函式依賴是多值依賴的特殊情況
4nf:對於每個非平凡的多值依賴x->->y，x都含有碼
規範化可能帶來的負面作用：
可能增加查詢的複雜度
目的：盡量消除插入、刪除異常，修改複雜、資料冗餘
基本思想：逐步消除資料依賴中不合適的部分
三、資料依賴的公理系統：
邏輯蘊涵：
乙個關係模式中可有多個函式依賴形成函式依賴集，現在有乙個新的函式依賴不存在於該函式依賴集，但能從集合中推導出來，那這個集合邏輯蘊涵這個新的函式依賴。
對於關係模式r(u,f):
自反律：若y包含於x包含於u,則x->y為f所蘊含
增廣律：若x->y為f所蘊含，z包含於u,則x∪z->y∪z
傳遞律：x->y,y->z,則x->z
合併規則：x->y,x->z，則x->y∪z
偽傳遞規則：x->y,y∪w->z,則x∪w->z
分解規則：x->y,z包含於y,則，x->z
在關係模式r(u,f)中，f為蘊含的函式依賴的全體叫做f的閉包f+
有效性；完備性
函式依賴集等價：若g+=f+，則g與f等價
極小函式依賴集：任意函式依賴右部只有乙個屬性，且f中任何乙個函式依賴都不能由其他函式依賴推導出來；
四、模式的分解：
無損連線性；保持函式依賴；
資料庫習題（六） 關係資料理論
關係資料理論知識習題 一 理解並給出下列術語的定義 二 有關係模式r a,b,c,d,e 回答下面各個問題 三 考慮關係模式r a,b,c,d 寫出滿足下列函式依賴時r的碼，並給出r屬於哪種正規化 1nf 2nf 3nf或bcnf 函式依賴 部分函式依賴 完全函式依賴 傳遞依賴 候選碼 主碼 外碼 ...
資料庫 四 關係資料理論
關係內部屬性與屬性之間的一種約束關係，通過屬性間值的相等與否體現。好的模式應 避免插入 刪除 更新異常，資料冗餘盡量少。r u 是屬性集u上的關係模式，x y是u的子集，在r中任意乙個可能的關係r中，不可能存在兩個元組，其在x上的屬性值相等，而在y上的屬性值不等，則稱函式x確定y 或y函式依賴於x記...
資料庫之關係資料理論
常用正規化 關聯式資料庫知道了，再來理解正規化。正規化是關聯式資料庫關係模式規範化的標準，從規範化的寬鬆到嚴格，分為不同的正規化，通常使用的有第一正規化。第二正規化 第三正規化及bc正規化。正規化是建立在函式依賴基礎上的。函式依賴 如果乙個表中某乙個欄位y的值是由另外乙個欄位或一組欄位x的值來確定的...