數(shù)據(jù)庫原理與系統(tǒng)開發(fā)教程關(guān)系數(shù)據(jù)庫設(shè)計規(guī)范化理論

數(shù)據(jù)庫原理第四章關(guān)系數(shù)據(jù)庫設(shè)計規(guī)范化理論"數(shù)據(jù)庫原理與系統(tǒng)開發(fā)"第四章關(guān)系數(shù)據(jù)庫設(shè)計規(guī)范化理論四.一規(guī)范化問題地提出四.二函數(shù)依賴四.三碼（鍵）地概念四.四關(guān)系模式地范式四.五小結(jié)2024年4月18日

四.一規(guī)范化問題地提出銀行存款借貸系統(tǒng)有一張表如下。Lend（Branch_name,Branch_city,Assets,Customer_no,Customer_name,Loan_no,Amount）貸款表（銀行機(jī)構(gòu)名稱,機(jī)構(gòu)所在城市,資產(chǎn),用戶代碼,用戶名字,貸款號碼,貸款金額）2024年4月18日稍加分析,就會發(fā)現(xiàn)這個關(guān)系模式存在問題。四.一規(guī)范化問題地提出（一）數(shù)據(jù)冗余由于要在一個支行地每一筆貸款信息重復(fù)存儲該支行地資產(chǎn)值與所在城市名稱等信息,所以造成了大量地數(shù)據(jù)冗余。（二）插入異常如果新成立了一個支行,由于該支行還沒有客戶與貸款,這時就無法把該支行地基本信息（branch_name,branch_city,assets）加入Lend表。（三）刪除異常當(dāng)某一支行所有地貸款都償還后,在刪除貸款信息地同時也刪除了該支行地基本信息。2024年4月18日四.一規(guī)范化問題地提出（四）更新異常因為可能有很多向該支行貸款,所以表會有很多條Assets記錄。如果某支行地資產(chǎn)發(fā)生變化,Lend表所有有關(guān)該支行地元組都要修改。這就有可能出現(xiàn)一部分?jǐn)?shù)據(jù)被修改,而另一部分沒有被修改地情況,從而出現(xiàn)一致問題。以上地這些問題統(tǒng)稱為存儲異常,在數(shù)據(jù)庫模式地設(shè)計應(yīng)該盡量避免。之所以會出現(xiàn)上面地種種問題,是因為這個關(guān)系模式?jīng)]有設(shè)計好,在它地一些屬之間存在不良函數(shù)依賴關(guān)系。規(guī)范化理論就是用來改造關(guān)系模式,通過分解關(guān)系模式來消除其不合適地數(shù)據(jù)依賴,以解決上面出現(xiàn)地數(shù)據(jù)冗余,插入異常,刪除異常,更新異常等問題。2024年4月18日第四章關(guān)系數(shù)據(jù)庫設(shè)計規(guī)范化理論四.一規(guī)范化問題地提出四.二函數(shù)依賴四.三碼（鍵）地概念四.四關(guān)系模式地范式四.五小結(jié)2024年4月18日四.二函數(shù)依賴四.二.一函數(shù)依賴地定義四.二.二凡函數(shù)依賴與非凡函數(shù)依賴四.二.三完全函數(shù)依賴與部分函數(shù)依賴四.二.四傳遞函數(shù)依賴2024年4月18日

四.二.一函數(shù)依賴地定義函數(shù)依賴通俗地說就是:某個屬集決定另一個屬集時,稱另一屬集依賴于該屬集。舉個簡單例子,知道了一個地學(xué)號,就能知道它地姓名,這就是學(xué)號屬決定姓名屬。下面給出函數(shù)依賴地定義。若對于R(U),U是R地屬集合,X,Y是U地子集,則對于R（U）任意一個可能地關(guān)系r,不可能存在兩個元組在X上地屬值相等,而在Y上地屬值不同,則稱X決定Y或者Y依賴于X,記作X→Y。2024年4月18日

四.二.一函數(shù)依賴地定義（一）函數(shù)依賴不是指關(guān)系模式R地某個或某些關(guān)系實例滿足地約束條件,而是指R地所有關(guān)系實例均要滿足地約束條件。（二）函數(shù)依賴是語義范疇地概念,只能根據(jù)數(shù)據(jù)地語義來確定函數(shù)依賴。例如,"姓名→年齡"這個函數(shù)依賴只有在不允許有同名地條件下成立。2024年4月18日

四.二函數(shù)依賴四.二.一函數(shù)依賴地定義四.二.二凡函數(shù)依賴與非凡函數(shù)依賴四.二.三完全函數(shù)依賴與部分函數(shù)依賴四.二.四傳遞函數(shù)依賴2024年4月18日

四.二.二凡函數(shù)依賴與非凡函數(shù)依賴當(dāng)關(guān)系地屬集合Y是屬集合X地子集(YX)時,存在函數(shù)依賴X→Y,即一組屬函數(shù)決定它地所有子集,這種函數(shù)依賴稱為凡函數(shù)依賴。當(dāng)關(guān)系地屬集合Y不是屬集合X地子集時,存在函數(shù)依賴X→Y,則稱這種函數(shù)依賴為非凡函數(shù)依賴。2024年4月18日

四.二函數(shù)依賴四.二.一函數(shù)依賴地定義四.二.二凡函數(shù)依賴與非凡函數(shù)依賴四.二.三完全函數(shù)依賴與部分函數(shù)依賴四.二.四傳遞函數(shù)依賴2024年4月18日

四.二.三完全函數(shù)依賴與部分函數(shù)依賴設(shè)X,Y是關(guān)系R地兩個屬集合,X'是X地真子集,存在X→Y,但對于每一個X'都有X'!→Y,則稱Y完全函數(shù)依賴于X。即只要X這個屬集合少一個屬,Y就不依賴于X。設(shè)X,Y是關(guān)系R地兩個屬集合,存在X→Y,若X'是X地真子集,存在X'→Y,則稱Y部分函數(shù)依賴于X。2024年4月18日

四.二函數(shù)依賴四.二.一函數(shù)依賴地定義四.二.二凡函數(shù)依賴與非凡函數(shù)依賴四.二.三完全函數(shù)依賴與部分函數(shù)依賴四.二.四傳遞函數(shù)依賴2024年4月18日

四.二.四完全函數(shù)依賴與部分函數(shù)依賴設(shè)X,Y,Z是關(guān)系R互不相同地屬集合,存在X→Y(Y!→X),Y→Z,有X→Z,則稱Z傳遞函數(shù)依賴于X。2024年4月18日

第四章關(guān)系數(shù)據(jù)庫設(shè)計規(guī)范化理論四.一規(guī)范化問題地提出四.二函數(shù)依賴四.三碼（鍵）地概念四.四關(guān)系模式地范式四.五小結(jié)2024年4月18日

四.三碼（鍵）地概念碼通俗地說就是能夠唯一標(biāo)識關(guān)系每個元組地屬或?qū)偌?。候選碼是碼地集合。下面給出碼地定義。在關(guān)系模式R（U,F）,K是U地屬或?qū)偌?若K完全決定U,則稱K為R地一個候選碼（CandidateKey）。若關(guān)系模式R有多個候選碼,則選定其地一個作為主碼（PrimaryKey）。主屬是指在任一候選鍵出現(xiàn)地屬。2024年4月18日

第四章關(guān)系數(shù)據(jù)庫設(shè)計規(guī)范化理論四.一規(guī)范化問題地提出四.二函數(shù)依賴四.三碼（鍵）地概念四.四關(guān)系模式地范式四.五小結(jié)2024年4月18日

四.四關(guān)系模式地范式2024年4月18日

圖四.一范式關(guān)系圖四.四關(guān)系模式地范式關(guān)系模式:2024年4月18日

SLC(Sno,Sdepartment,Slocation,o,Result)學(xué)生-宿舍-課程（學(xué)號,院系,宿舍,課程編號,成績）主碼為:Sno,o其地函數(shù)依賴如下。（一）Sno,o完全決定Result,部分決定Sdepartment,部分決定Slocation。（二）Sno決定Sdepartment。（三）Sno決定Slocation。（四）Sdepartment決定Slocation（同一個系地學(xué)生住在一起）。有沒有問題？四.四關(guān)系模式地范式一．插入異常（一）假如新生剛剛?cè)雽W(xué),沒有選課,沒有課程編號,又因為碼不能為空,所以新生信息不能插入。（二）假如一個學(xué)院剛剛成立沒有學(xué)生,這么院系地信息也無法插入。二．刪除異常（一）假如選修同一門課程地學(xué)生全部畢業(yè),刪除所有畢業(yè)學(xué)生信息地同時,也把選課信息一并刪除了,導(dǎo)致刪除異常。（二）同樣地,所有地學(xué)生都畢業(yè)后,院系地信息也被刪除了。三．?dāng)?shù)據(jù)冗余大四．修改復(fù)雜2024年4月18日

四.四關(guān)系模式地范式2024年4月18日

圖四.二范式解決問題圖四.四.一第一范式（一NF）如果一個關(guān)系模式R地所有屬都是不可分地基本數(shù)據(jù)項,則R∈一NF。即一NF規(guī)范化地就是消除關(guān)系模式地非原子屬。在任何一個關(guān)系數(shù)據(jù)庫系統(tǒng),一NF是最起碼地要求,不滿足一NF地數(shù)據(jù)庫就不能稱作關(guān)系數(shù)據(jù)庫。2024年4月18日

四.四.二第二范式（二NF）雖然關(guān)系模式示例SLC滿足一NF能稱其為關(guān)系數(shù)據(jù)庫了,但是會存在上述地種種問題。將SLC分解成如下幾個關(guān)系模式。（一）SC（Sno,o,Result）主碼為Sno,o。函數(shù)依賴關(guān)系為:Sno,o決定Result。（二）SL（Sno,Sdepartment,Slocation）主碼為Sno。函數(shù)依賴關(guān)系為:Sno決定Sdepartment,Slocation;Sdepartment決定Slocation。上述（一）地問題有所解決,是因為取消了關(guān)系模式地部分函數(shù)依賴關(guān)系。二NF地定義如下。若關(guān)系模式R∈一NF,并且每一個非主屬都完全依賴于R地碼,則R∈二NF。2024年4月18日

四.四.三第三范式（三NF）關(guān)系模式示例SLC經(jīng)過分解成SL與SC解決了（一）地問題,但是依舊存在（二）地問題。一步將SL分解成:（一）SD（Sno,Sdepartment）主碼為Sno函數(shù)依賴關(guān)系為:Sno決定Sdepartment。（二）DL（Sdepartment,Slocation）主碼為Sdepartment。函數(shù)依賴關(guān)系為:Sdepartment決定Slocation。上述（二）地問題有所解決,是因為消除了SLocation依賴于Sdepartment依賴于Sno地這種傳遞依賴關(guān)系。三NF地定義如下。如果關(guān)系模式R（U,F）,不存在候選碼X,屬組Y以及非主屬組Z（Z不屬于Y）,使得X決定Y,Y決定Z與Y不決定X成立,則R∈三NF。簡單來說就是在R∈二NF地基礎(chǔ)上,非主屬都不傳遞依賴于任何候選碼。2024年4月18日

四.四.四BC范式（BF）設(shè)關(guān)系模式R（U,F）屬于一NF,對于R地每個函數(shù)依賴X→Y,若Y不屬于X,則X必含有候選碼,那么R屬于BF。簡單來說,就是比三NF更一步,所有地屬包括主屬與非主屬都不能傳遞依賴于候選碼。如果一個關(guān)系數(shù)據(jù)庫地所有關(guān)系模式都屬于BF,那么在函數(shù)依賴范疇,這個關(guān)系數(shù)據(jù)庫已實現(xiàn)了模式地徹底分解,達(dá)到了最高地規(guī)范化程度,消除了插入異常與刪除異常地問題。2024年4月18日

第四章關(guān)系數(shù)據(jù)庫設(shè)計規(guī)范化理論四.一規(guī)范化問題地提出四.二函數(shù)依賴四.三碼（鍵）地概念四.四關(guān)系模式地范式四.五小結(jié)2024年4月18日

四.五小結(jié)（一）第一范式（一NF）如果一個關(guān)系模式R地所有屬地域都是原子地,則稱R是屬于一NF地關(guān)系模式。（二）第二范式（二NF）因為我們沒有理由設(shè)計一個屬于二NF但不屬于三NF或更高范式地數(shù)據(jù)庫模式,所以這里就不再討論它了。（三）第三范式（三NF）如果關(guān)系模式R（U,F）地所有非主屬都不傳遞依賴于R地任何候選碼,則稱R是屬于三NF地關(guān)系模式。（四）Boyce-Codd范式（BF）如果關(guān)系模式R（U,F）地所有屬（包括主屬與非主屬）都不傳遞依賴于R地任何候選鍵,則稱R是屬于BF地關(guān)系模式。2024年4月18日

四.五小結(jié)規(guī)范化地優(yōu)點是明顯地,它避免了大量地數(shù)據(jù)冗余,節(jié)省了空間,保持了數(shù)據(jù)地一致,在行插,刪,改時減少了