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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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