關(guān)系數(shù)據(jù)庫邏輯設(shè)計

　　5.1 關(guān)系數(shù)據(jù)庫：按照二維表格組織和存儲的相互關(guān)聯(lián)的關(guān)系(表)的集合。

　　關(guān)系數(shù)據(jù)庫采用關(guān)系模型在計算機中組織、存儲、處理和管理數(shù)據(jù)。

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

　　外碼約束：如果兩個關(guān)系R和S，X是R的屬性或?qū)傩越M，且X不是R的碼，但X是S的碼，則稱X是R的外碼。或者取空值，或者等于S中某個元組的主碼的值。

　　5.3 邏輯設(shè)計的內(nèi)容：定義和描述數(shù)據(jù)庫的全局邏輯結(jié)構(gòu)、數(shù)據(jù)之間的關(guān)系、數(shù)據(jù)的完整性等

　　目的：得到實際數(shù)據(jù)庫管理系統(tǒng)可以處理的數(shù)據(jù)庫模式。

　　步聚：ER圖轉(zhuǎn)化關(guān)系模式;優(yōu)化關(guān)系模式;數(shù)據(jù)完整性設(shè)計;外模式設(shè)計

　　5.4 關(guān)系模式描述關(guān)系的靜態(tài)結(jié)構(gòu)，由模式名、屬性、完整性約束組成，關(guān)系是一個表中記錄的集合，關(guān)注和強調(diào)的是值(模式實例)的集合，也是關(guān)系模式在某一時刻狀態(tài)的反映。

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

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

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

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

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

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

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