[工學(xué)]第6章數(shù)據(jù)庫-在線瀏覽
2024-12-06 00:24本頁面
【正文】 一個(gè) 關(guān)系 An Introduction to Database System 三、什么是數(shù)據(jù)依賴 ? 是通過一個(gè)關(guān)系中屬性間值的相等與否體現(xiàn)出來的數(shù)據(jù)間的相互關(guān)系，是現(xiàn)實(shí)世界屬性間相互聯(lián)系的抽象，是數(shù)據(jù)內(nèi)在的性質(zhì)，是 語義 的體現(xiàn)。 An Introduction to Database System 一個(gè)實(shí)例 （續(xù)） 屬性組 U上的一組函數(shù)依賴 F： F ＝ ｛ Sno → Sdept, Sdept → Mname, (Sno, Cno) → Grade ｝ Sno Cno Sdept Mname Grade An Introduction to Database System 一個(gè)實(shí)例 （續(xù)） ? 如果只考慮函數(shù)依賴這一種數(shù)據(jù)依賴，就會(huì)得到描述該數(shù)據(jù)庫單一的關(guān)系模式 ： s U、 F An Introduction to Database System 關(guān)系模式 sU, F中存在的問題 ⒈ 數(shù)據(jù)冗余太大 ? 浪費(fèi)大量的存儲(chǔ)空間 例：學(xué)生所在的系和系主任的姓名重復(fù)出現(xiàn) ? 數(shù)據(jù)冗余 ， 更新數(shù)據(jù)時(shí)，維護(hù)數(shù)據(jù)完整性代價(jià)大，容易造成數(shù)據(jù)不一致。 如果一個(gè)學(xué)生沒有選修任何一門課程，則學(xué)生的信息無法插入。 如果一個(gè)學(xué)生就選了一門課，現(xiàn)在這門課也不選了，在刪除選課信息的同時(shí)這個(gè)學(xué)生的信息就會(huì)被刪除。 ? 怎樣的模式才是“好”的模式： 不會(huì)發(fā)生插入異常、刪除異常，數(shù)據(jù)冗余應(yīng)盡可能少。 An Introduction to Database System 規(guī)范化 規(guī)范化理論 正是用來改造關(guān)系模式，通過分解關(guān)系模式來消除其中不合適的數(shù)據(jù)依賴，以解決插入異常、刪除異常和數(shù)據(jù)冗余等問題。 若對(duì)于 R(U)的 任意 一個(gè)可能的關(guān)系 r， r中不可能存在兩個(gè)元組在 X上的屬性值相等，而在 Y上的屬性值不等， 則稱 “ X函數(shù)確定 Y” 或 “ Y函數(shù)依賴于 X”，記作 X→Y 。 2. 函數(shù)依賴是 語義范疇 的概念。 例如 “ 姓名 → 年齡 ” 這個(gè)函數(shù)依賴只有在不允許有同名人的條件下成立 3. 數(shù)據(jù)庫設(shè)計(jì)者可以對(duì)現(xiàn)實(shí)世界作強(qiáng)制的規(guī)定。所插入的元組必須滿足規(guī)定的函數(shù)依賴，若發(fā)現(xiàn)有同名人存在， 則拒絕插入該元組。 若 Y不函數(shù)依賴于 X, 則記為 X─→ Y。 An Introduction to Database System 三、完全函數(shù)依賴與部分函數(shù)依賴 定義 在關(guān)系模式 R(U)中，如果 X→Y ，并且對(duì)于 X的任何一個(gè)真子集 X`，都有 X` Y, 則稱 Y完全函數(shù)依賴于 X，記作 X ｆ Y。 An Introduction to Database System 完全函數(shù)依賴與部分函數(shù)依賴（續(xù)） 例 : SC(Sno, Cno, Grade)中， 由于： Sno →Grade ， Cno → Grade ， 因此： (Sno, Cno) ｆ Grade S(Sno, Sname, Ssex, Sage, Sdept)中 由于 Sno →Ssex 因此 (Sno,Sname) P Ssex An Introduction to Database System 四、傳遞函數(shù)依賴 定義 在關(guān)系模式 R(U)中，如果 X→Y ， Y→Z ，且 Y?X， Y→X ，則稱 Z傳遞函數(shù)依賴 于 X。 例 : 在關(guān)系 Std(Sno, Sdept, Mname)中，有： Sno → Sdept ， Sdept → Mname Mname傳遞函數(shù)依賴于 Sno An Introduction to Database System 碼 定義 設(shè) K為關(guān)系模式 RU,F中的屬性或?qū)傩越M合。若關(guān)系模式 R有多個(gè)候選碼，則選定其中的一個(gè)做為 主碼 （ Primary key）。 ? 非主屬性：不包含在任何碼中的屬性稱為非主屬性。 Sno Sname Ssex Sage sdept 95001 李明 男 21 信息 95002 張華 女 18 信息 95003 王小茜 女 19 信息 95004 張華 男 2
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1