關系數據庫邏輯設計

　　5.1 關系數據庫：按照二維表格組織和存儲的相互關聯的關系(表)的集合。

　　關系數據庫采用關系模型在計算機中組織、存儲、處理和管理數據。

　　5.2 主碼約束：惟一性;最小性，不能取空值，并且取值要唯一

　　外碼約束：如果兩個關系R和S，X是R的屬性或屬性組，且X不是R的碼，但X是S的碼，則稱X是R的外碼。或者取空值，或者等于S中某個元組的主碼的值。

　　5.3 邏輯設計的內容：定義和描述數據庫的全局邏輯結構、數據之間的關系、數據的完整性等

　　目的：得到實際數據庫管理系統可以處理的數據庫模式。

　　步聚：ER圖轉化關系模式;優化關系模式;數據完整性設計;外模式設計

　　5.4 關系模式描述關系的靜態結構，由模式名、屬性、完整性約束組成，關系是一個表中記錄的集合，關注和強調的是值(模式實例)的集合，也是關系模式在某一時刻狀態的反映。

　　5.5 關系的完整性(完整性約束)：對關系所滿足條件的定義。作用：限定和檢查數據庫所含實例的合法性和正確性。靜態：主碼、外碼、域(用戶定義);動態：基于業務規則

　　5.6 偽傳遞規則：X-Y，YW-Z，則XW-Z成立。

　　5.7 規范化設計理論的主要內容是范式，即關系模式滿足的條件，它是數據庫邏輯設計的指南，也是衡量關系模式設計優劣的標準。目的：消除數據冗余及避免操作異常，基本過程：對關系進行分解。一個低級范式的關系模式通過分解(投影)方法可轉換成多個高一級范式的關系模式的集合，這個過程叫規范化。

　　5.8 1NF：R的每一屬性均不可再分;

　　2NF：是1NF且每個非主屬性完全依賴于主碼。在1上消除非主屬性對主碼的部分函數依賴;

　　3NF：是1NF且每個非主屬性只依賴于主碼。在2上消除非主屬對主碼的傳遞函數依賴。

　　5.9 ER模型轉換關系模型：實體集轉為同名關系;聯系轉為一個關系，各實體集的碼及聯系的屬性轉為關系的屬性(1：1均可、1：n取n、m：n取集);合并具有相同碼的關系。