《政務(wù)數(shù)據(jù)庫(kù)系統(tǒng)》第5章：政務(wù)數(shù)據(jù)庫(kù)系統(tǒng)

第5章：政務(wù)數(shù)據(jù)庫(kù)系統(tǒng)關(guān)系數(shù)據(jù)庫(kù)規(guī)范化技術(shù)關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)的衡量5.1關(guān)系數(shù)據(jù)庫(kù)規(guī)范化技術(shù)函數(shù)依賴?yán)碚撽P(guān)系模型范式理論5.1.1函數(shù)依賴?yán)碚摱x設(shè)關(guān)系模式R的屬性集是U，X和Y是U的子集，r為關(guān)系模式R的任意一個(gè)實(shí)例，對(duì)r中的任意元組t和s，如果t[X]=s[X]，則t[Y]=s[Y]，那么X→Y在關(guān)系模式R中成立。我們稱“X函數(shù)確定Y”，或者“Y函數(shù)依賴于X”，記作X→Y。其中，t[X]表示元組t在X屬性上的取值。表達(dá)如果關(guān)系R的任意兩個(gè)元組在屬性X上的取值一致，那么在另一個(gè)屬性Y上的取值也一致，則X和Y之間存在函數(shù)依賴關(guān)系。平凡函數(shù)依賴和非平凡函數(shù)依賴設(shè)關(guān)系模式R的屬性集是U，X和Y是U的子集，如果X→Y，并且Y不完全包含于X，則稱X→Y是非平凡函數(shù)依賴，否則是平凡函數(shù)依賴。供應(yīng)商產(chǎn)品號(hào)供應(yīng)商產(chǎn)品號(hào)產(chǎn)品數(shù)量完全函數(shù)依賴和部分函數(shù)依賴設(shè)關(guān)系模式R的屬性集是U，X和Y是U的子集，X→Y，如果對(duì)于任何X的真子集X’，X’都不能函數(shù)確定Y，則稱Y完全函數(shù)依賴于X，否則稱Y部分函數(shù)依賴于X。供應(yīng)商產(chǎn)品號(hào)產(chǎn)品價(jià)格供應(yīng)商產(chǎn)品號(hào)產(chǎn)品價(jià)格傳遞函數(shù)依賴在關(guān)系模式R中，如果X→Y，Y→Z，則X→Z。換言之，函數(shù)依賴具有傳遞關(guān)系。職工號(hào)姓名職稱基本工資部門部門領(lǐng)導(dǎo)5.1.2關(guān)系模型范式理論問(wèn)題的提出范式理論問(wèn)題----冗余數(shù)據(jù)人員編號(hào)姓名工作部門部門電話性別職務(wù)文件編號(hào)借閱時(shí)間42001馬國(guó)秋辦公室4355男科員00742005張雄人事科4322男科長(zhǎng)00342001馬國(guó)秋辦公室4355男科員00242005張雄人事科4322男科長(zhǎng)01042015王麗信訪辦4311女副科00942001馬國(guó)秋辦公室4355男科員03942003陳立強(qiáng)信息中心4366男處長(zhǎng)02042010楊洪濤辦公室4355男處長(zhǎng)089問(wèn)題----數(shù)據(jù)不一致人員編號(hào)姓名工作部門部門電話性別職務(wù)文件編號(hào)借閱時(shí)間42001馬國(guó)秋辦公室4355男科員00742005張雄人事科4344男科長(zhǎng)00342001馬國(guó)秋辦公室4355男科員00242005張雄人事處4322男科長(zhǎng)01042015王麗信訪辦4311女副科00942001馬國(guó)秋辦公室4355男科員03942003陳立強(qiáng)信息中心4366男處長(zhǎng)02042010楊洪濤辦公室4355男處長(zhǎng)089問(wèn)題----操作異常更新異常插入異常刪除異常范式理論第一范式原始數(shù)據(jù)庫(kù)第二范式第三范式BCNF第四范式第五范式第一范式如果關(guān)系R的每一字段值為單一的，則R屬于第一范式（FirstNormalForm，簡(jiǎn)稱1NF）含義：無(wú)重復(fù)的屬性第二范式如果關(guān)系R屬于1NF，且所有非主屬性的字段都完全依賴于主鍵，則R屬于第二范式人員編號(hào)文件編號(hào)姓名工作部門性別文件名稱借閱時(shí)間部門電話職稱存在不完全函數(shù)依賴的關(guān)系姓名性別人員編號(hào)工作部門部門電話人員編號(hào)文件編號(hào)借閱時(shí)間文件編號(hào)文件名稱人員借閱文件職稱經(jīng)過(guò)2NF分解后得到3個(gè)新關(guān)系第三范式若關(guān)系R屬于2NF，且所有的非主屬性與主屬性之間不存在傳遞依賴關(guān)系，則該關(guān)系屬于第三范式。第三范式將關(guān)系模式中的屬性分為兩類，一類是非主屬性集，另一類是主屬性集，其中非主屬性集中的每個(gè)屬性都完全、不傳遞依賴于主屬性集中的關(guān)鍵字非主屬性集主屬性集人員編號(hào)姓名工作部門性別部門電話職稱工作部門部門電話姓名性別人員編號(hào)職稱工作部門BCNF范式在函數(shù)依賴中的決定因素不一定都是主屬性，Boyce和Codd提出只有當(dāng)關(guān)系中所有的決定因素都是主屬性時(shí)，才能認(rèn)為該關(guān)系滿足BCNF范式。主屬性集StudentCourseTeacher非主屬性中存在決定屬性的函數(shù)依賴數(shù)據(jù)庫(kù)規(guī)范化討論優(yōu)點(diǎn)非規(guī)范化性能