6.2 規範化
多值依賴（mvd）碼正規化
2nf3nf
bcnf
4nf可能出現的題型
6.3 資料依賴的公理系統
beeri,fagin,howard提出的推理規則
函式依賴集的閉包（語義上的概念）
屬性集的閉包（語法上的概念）
極小函式依賴集
6.4 模式分解
模式分解的保持函式依賴性
外延：關係模型的值，即關係模型中的資料。是動態的
內涵：是對關係、屬性、域的定義和說明，即關係模型的型的定義。
r(u,d,dom(),f)
關係的內涵稱為關係模式，是靜態的，通常簡記為r等
規範化是指定義關係模式應該符合的條件，確保關係模式不出現某些操作異常，並減少資料冗餘
定義：設r(u)是乙個屬性集u上的關係模式，x和y是u的子集。若對r(u)的任意乙個可能的例項r，r中不可能存在兩個元組在x上的屬性值相等，而在y上的屬性值不等，則稱x函式決定y或者y函式依賴於x，記作x→y。x稱為這個函式依賴的決定因素
1.函式依賴是指r的所有關係例項均要滿足的約束條件
2.函式依賴由語義決定，如果語義規定不允許有同名學生，則函式依賴「姓名→年齡」成立，如果允許同名則不成立
平凡的函式依賴/非平凡的函式依賴
x→y1.y是x的子集，?平凡的函式依賴
2.y不是x的子集，?非平凡的函式依賴
完全函式依賴/部分函式依賴
x→y1.對於x的任意乙個真子集x1，都有x1不決定y，則y完全函式依賴於x （f）
2.不滿足上述條件，部分函式依賴 （p）
直接依賴/傳遞函式依賴
在關係模式r(u)中，如果存在非平凡的函式依賴x→y（y不決定x），和y→z，則x→z一定成立。z傳遞函式依賴於x （t）
如果y→x，則z直接依賴於x，而非傳遞依賴（可能會有判斷）
定義：設r(u)是乙個屬性集u上的關係模式，x和y是u的子集。如果對r(u)的任一關係r，r中任意在x上值相同的元組s，t，交換s，t在y上的分量而得到的元組仍在關係r中，則稱y多值依賴於x，或x多值決定y，記為x→→y
平凡：xuy=u，x→→y必然成立
非平凡：xuy != u
1.對稱性
2.傳遞性
3.xuy=u，x→→y必然成立
4.（放圖）
1.有效性
2.包含性
定義：設k為關係模式r中的屬性或屬性組。若k完全函式依賴於u，則稱k為r的乙個候選碼。若關係模式r有多個候選碼，則選定其中的乙個作為主碼。候選碼常簡稱為碼
對於乙個具體的關係模式，每個候選碼都要檢視是否是完全函式依賴
碼的2個性質
1.決定性
2.極小型
候選碼：碼
主碼：候選碼的乙個
主屬性：所有候選碼**現的屬性
非主屬性：不出現在任何候選碼中的屬性
全碼：由關係模式的所有屬性構成碼
外部碼：關係模式r中屬性或屬性組x並非r的碼，x參照了乙個關係模式的碼
所有屬性滿足原子性，不可再分
定義：乙個關係模式r的所有屬性都是不可分的基本資料項
1nf+不存在非主屬性對碼的部分函式依賴
定義：關係模式r屬於1nf，每乙個非主屬性都完全函式依賴於r的碼（候選碼，主屬性）
不存在非主屬性對主屬性的部分函式依賴
可能存在非主屬性對主屬性的傳遞函式依賴，a→b，b→c，a→c，a、b是主屬性，c是非主屬性
2nf+ 不存在非主屬性對碼的傳遞函式依賴
定義：關係模式r屬於1nf，若r中不存在這樣的碼（主屬性）x，屬性組y，非主屬性a（a不屬於y），有x→y（y不決定x），y→a成立。
不存在非主屬性對主屬性的傳遞函式依賴
定義中沒有提及y與x的關係，
當y是x的子集的時候，x→y，y→a，則a部分函式依賴於x（2nf中已排除）
當y不是x的子集的時候，x→y，y→a，a傳遞函式依賴於x
3nf + 不存在主屬性對碼的部分或傳遞函式依賴
定義：關係模式r屬於1nf，如果對於r的每個非平凡的函式依賴x→y，x必包含碼
即：每個非平凡函式依賴的決定因素都包含碼
定理1.r中所有非主屬性對每乙個碼都完全函式依賴
2.所有主屬性對每個不包含它的碼都完全函式依賴
3.bcnf屬於3nf
4.r中無傳遞函式依賴
bcnf消除了主屬性對碼的部分依賴和傳遞依賴
4nf消除了非平凡且非函式依賴的多值依賴
定義：系模式r屬於1nf，如果對於r的每個非平凡多值依賴x→→y（y不是x的子集），x都包含碼
證明題（可考慮反證法）
判斷某一關係最高是幾正規化一種形式化方法，根據一組公理（公式）和推理規則，進行形式化的公式推導和證明。
公理、推理規則都是語法上的概念，公式的推導僅僅是按照推理規則做形式化的符號變換，不涉及語義。形式推導
公理系統配備有一定的語義，定義公式的含義。語義上主要概念為邏輯蘊含
公理系統具有有效性（可靠性）、完備性：在推理時，可以根據需要在語法推導和語義推導間進行轉化
可能考證明題
三條基本的推理規則
1.自反律
2.增廣律
3.傳遞律
使用方法：形式推導
匯出規則
1.合併規則
2.分解規則
3.偽傳遞規則
4.廣義分解/合併規則
（圖）定義：
（圖）如果關係模式中僅有函式依賴，分解到bcnf最佳，如果存在多值依賴，則分解到4nf最佳。
定義：（圖）
q：如何判斷分解p是否保持函式依賴
等我找到例題再來補充各演算法
資料庫系統概論 第六章 關聯式資料庫理論
關係型資料庫中已經講到，乙個關係模型應當是乙個五元組。r u,d,dom,f 這裡 資料依賴是乙個關係內部屬性和屬性之間的一種約束關係。這種約束關係是通過屬性間值的相等與否體現出來的資料間相關的聯絡。資料依賴其中最重要的是函式依賴 fd 和多值依賴 mvd 完全函式依賴和部分函式依賴 傳遞函式依賴 ...
資料庫第六章
一 關係模式由五部分組成，是乙個五元組 r u,d,dom,f 關係名r是符號化的元組語義 u為一組屬性 d為屬性組u中的屬性所來自的域 dom為屬性到域的對映 f為屬性組u上的一組資料依賴 二 一對一聯絡 設x，y為關係中的屬性或屬性組，它們的所有可能取值組成兩個集合。如果對於x中的任一具體值y中...
資料庫第六章
1.一對一聯絡 2.一對多聯絡 3.多對多聯絡 是乙個關係內部屬性與屬性之間的一種約束關係 是現實世界屬性間相互聯絡的抽象 是資料內在的性質 是語義的體現 1.函式依賴 2.多值依賴 例 描述乙個學生關係，可以有學號 姓名 系名等屬性。乙個學號只對應乙個學生，乙個學生只在乙個系中學習 學號 值確定後...