關系數(shù)據(jù)庫邏輯設計
5.1 關系數(shù)據(jù)庫：按照二維表格組織和存儲的相互關聯(lián)的關系（表）的集合。
關系數(shù)據(jù)庫采用關系模型在計算機中組織、存儲、處理和管理數(shù)據(jù)。
5.2 主碼約束：惟一性；最小性，不能取空值，并且取值要
外碼約束：如果兩個關系R和S，X是R的屬性或屬性組，且X不是R的碼，但X是S的碼，則稱X是R的外碼?；蛘呷】罩?，或者等于S中某個元組的主碼的值。
5.3 邏輯設計的內容：定義和描述數(shù)據(jù)庫的全局邏輯結構、數(shù)據(jù)之間的關系、數(shù)據(jù)的完整性等
目的：得到實際數(shù)據(jù)庫管理系統(tǒng)可以處理的數(shù)據(jù)庫模式。
步聚：ER圖轉化關系模式；優(yōu)化關系模式；數(shù)據(jù)完整性設計；外模式設計
5.4 關系模式描述關系的靜態(tài)結構，由模式名、屬性、完整性約束組成，關系是一個表中記錄的集合，關注和強調的是值（模式實例）的集合，也是關系模式在某一時刻狀態(tài)的反映。
5.5 關系的完整性（完整性約束）：對關系所滿足條件的定義。作用：限定和檢查數(shù)據(jù)庫所含實例的合法性和正確性。靜態(tài)：主碼、外碼、域（用戶定義）；動態(tài)：基于業(yè)務規(guī)則
5.6 偽傳遞規(guī)則：X－Y，YW－Z，則XW－Z成立。
5.7 規(guī)范化設計理論的主要內容是范式，即關系模式滿足的條件，它是數(shù)據(jù)庫邏輯設計的指南，也是衡量關系模式設計優(yōu)劣的標準。目的：消除數(shù)據(jù)冗余及避免操作異常，基本過程：對關系進行分解。一個低級范式的關系模式通過分解（投影）方法可轉換成多個高一級范式的關系模式的集合，這個過程叫規(guī)范化。
5.8 1NF：R的每一屬性均不可再分；
2NF：是1NF且每個非主屬性完全依賴于主碼。在1上消除非主屬性對主碼的部分函數(shù)依賴；
3NF：是1NF且每個非主屬性只依賴于主碼。在2上消除非主屬對主碼的傳遞函數(shù)依賴。
5.9 ER模型轉換關系模型：實體集轉為同名關系；聯(lián)系轉為一個關系，各實體集的碼及聯(lián)系的屬性轉為關系的屬性（1：1均可、1：n取n、m：n取集）；合并具有相同碼的關系。