關(guān)系數(shù)據(jù)庫邏輯設(shè)計(jì)
5.1 關(guān)系數(shù)據(jù)庫:按照二維表格組織和存儲(chǔ)的相互關(guān)聯(lián)的關(guān)系(表)的集合。
關(guān)系數(shù)據(jù)庫采用關(guān)系模型在計(jì)算機(jī)中組織、存儲(chǔ)、處理和管理數(shù)據(jù)。
5.2 主碼約束:惟一性;最小性,不能取空值,并且取值要唯一
外碼約束:如果兩個(gè)關(guān)系R和S,X是R的屬性或?qū)傩越M,且X不是R的碼,但X是S的碼,則稱X是R的外碼;蛘呷】罩,或者等于S中某個(gè)元組的主碼的值。
5.3 邏輯設(shè)計(jì)的內(nèi)容:定義和描述數(shù)據(jù)庫的全局邏輯結(jié)構(gòu)、數(shù)據(jù)之間的關(guān)系、數(shù)據(jù)的完整性等
目的:得到實(shí)際數(shù)據(jù)庫管理系統(tǒng)可以處理的數(shù)據(jù)庫模式。
步聚: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ù)庫所含實(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ù)庫邏輯設(shè)計(jì)的指南,也是衡量關(guān)系模式設(shè)計(jì)優(yōu)劣的標(biāo)準(zhǔn)。目的:消除數(shù)據(jù)冗余及避免操作異常,基本過程:對(duì)關(guān)系進(jìn)行分解。一個(gè)低級(jí)范式的關(guān)系模式通過分解(投影)方法可轉(zhuǎn)換成多個(gè)高一級(jí)范式的關(guān)系模式的集合,這個(gè)過程叫規(guī)范化。
5.8 1NF:R的每一屬性均不可再分;
2NF:是1NF且每個(gè)非主屬性完全依賴于主碼。在1上消除非主屬性對(duì)主碼的部分函數(shù)依賴;
3NF:是1NF且每個(gè)非主屬性只依賴于主碼。在2上消除非主屬對(duì)主碼的傳遞函數(shù)依賴。
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)系。
北京 | 天津 | 上海 | 江蘇 | 山東 |
安徽 | 浙江 | 江西 | 福建 | 深圳 |
廣東 | 河北 | 湖南 | 廣西 | 河南 |
海南 | 湖北 | 四川 | 重慶 | 云南 |
貴州 | 西藏 | 新疆 | 陜西 | 山西 |
寧夏 | 甘肅 | 青海 | 遼寧 | 吉林 |
黑龍江 | 內(nèi)蒙古 |