第六章 關係資料理論
6.2 規範化
規範化理論：解決插入異常，刪除異常，更新異常，資料冗餘的問題
函式依賴
理解 ：在我們的二維表中 我有兩個屬性組 x y 屬性組
屬性組x上 如果有兩行 x的屬性值相同 y一定相同
x 具有唯一性
定義：兩者不可能存在兩個元組在x上的屬性值相等，而y上的屬性值不等
非平凡函式依賴：x 為學號課程號 y 為成績 x->y 但是反之不行
平凡函式依賴： x 為學號 課程號 y為學號 x->y y->x
完全函式依賴 : x函式決定了y x中沒有冗餘的部分 x-f>y
部分函式依賴 : x函式決定了y x中有冗餘的部分 x-p> y
傳遞函式依賴：x->y y->z
x-傳遞》z
滿足條件：x->y y 不能是x的子集
x->y y不能函式決定x 即二者不能等價
失敗案例：x學號 y身份證號 z學院
成功案例：x學號 y學院 z院長姓名
6.2.2 碼
候選碼：k 為r中的屬性或者屬性組合 若k-f>u 完全的決定！
k具有最小性，沒有乙個屬性是冗餘的。
主屬性：包含在任何乙個候選碼中的屬性
理解 ：為其中的乙個碼的組成部分
非主屬性：不包含在任何候選碼中的屬性
全碼：整個屬性組是碼
外碼：理解：x的取值和另外乙個關係模式的碼相對應，那麼稱為此表的外碼
（可能是同乙個表）
tip：外碼一定是相對於某個表而言！
6.2.3 正規化
正規化：符合某一種級別的關係模式的集合
bcnf 擴充的第三正規化
定義:關係模式 r中，若每乙個決定因素都包含碼，則r符合bcnf
乙個滿足bcnf的關係模式條件：
1: 所有非主屬性對每乙個碼都是完全函式依賴
2.所有主屬性對每乙個不包含它的碼也是完全函式依賴
3.沒有任何屬性完全函式依賴於非碼的任何一組屬性
資料庫第六章
一 關係模式由五部分組成，是乙個五元組 r u,d,dom,f 關係名r是符號化的元組語義 u為一組屬性 d為屬性組u中的屬性所來自的域 dom為屬性到域的對映 f為屬性組u上的一組資料依賴 二 一對一聯絡 設x，y為關係中的屬性或屬性組，它們的所有可能取值組成兩個集合。如果對於x中的任一具體值y中...
資料庫第六章
1.一對一聯絡 2.一對多聯絡 3.多對多聯絡 是乙個關係內部屬性與屬性之間的一種約束關係 是現實世界屬性間相互聯絡的抽象 是資料內在的性質 是語義的體現 1.函式依賴 2.多值依賴 例 描述乙個學生關係，可以有學號 姓名 系名等屬性。乙個學號只對應乙個學生，乙個學生只在乙個系中學習 學號 值確定後...
第六章 學習筆記
1.引數分為位置引數和關鍵字引數。def func positional para x,y,z passdef func keyword para kwd1 1,kwd2 4,kwd3 9 pass2.1 當有多個位置引數時，可以用乙個星號來收集引數，函式內使用這些位置引數時可以通過for 迴圈依次...