數(shù)據(jù)庫(kù)系統(tǒng)概論課件2

教據(jù)庫(kù)系統(tǒng)概論AnIntroductiontoDatabaseSystem第六章關(guān)系數(shù)據(jù)理論AnIntroductiontoDatabaseSystem第六章關(guān)系數(shù)據(jù)理論6.1問(wèn)題的提出62規(guī)范化6.3數(shù)據(jù)依賴的公理系統(tǒng)*6.4模式的分解65小結(jié)AnIntroductiontoDatabaseSystem6.1問(wèn)題的提出關(guān)系數(shù)據(jù)庫(kù)邏輯設(shè)計(jì)■針對(duì)具體問(wèn)題,如何構(gòu)造一個(gè)適合于它的數(shù)據(jù)模式■數(shù)據(jù)庫(kù)邏輯設(shè)計(jì)的工具——關(guān)系數(shù)據(jù)庫(kù)的規(guī)范化理論AnIntroductiontoDatabaseSystem問(wèn)題的提出概念回顧關(guān)系模式的形式化定義、什么是數(shù)據(jù)依賴四、關(guān)系模式的簡(jiǎn)化定義五、數(shù)據(jù)依賴對(duì)關(guān)系模式影響AnIntroductiontoDatabaseSystem、概念回顧關(guān)系關(guān)系模式心關(guān)系數(shù)據(jù)庫(kù)關(guān)系數(shù)據(jù)庫(kù)的模式AnIntroductiontoDatabaseSystem、關(guān)系模式的形式化定義關(guān)系模式由五部分組成,即它是一個(gè)五元組:R(U,D,DOM,F)關(guān)系名RUD組成該關(guān)系的屬性名集合屬性組∪中屬性所來(lái)自的域DOM:屬性向域的映象集合F:屬性間數(shù)據(jù)的依賴關(guān)系集合AnIntroductiontoDatabaseSystem三、什么是數(shù)據(jù)依賴1.完整性約束的表現(xiàn)形式◆限定屬性取值范圍:例如學(xué)生成績(jī)必須在0-100之間◆定義屬性值間的相互關(guān)連(主要體現(xiàn)于值的相等與否),這就是數(shù)據(jù)依賴,它是數(shù)據(jù)庫(kù)模式設(shè)計(jì)的關(guān)鍵AnIntroductiontoDatabaseSystem什么是數(shù)據(jù)依賴(續(xù))2.數(shù)據(jù)依賴一個(gè)關(guān)系內(nèi)部屬性與屬性之間的約束關(guān)系現(xiàn)實(shí)世界屬性間相互聯(lián)系的抽象心數(shù)據(jù)內(nèi)在的性質(zhì)今語(yǔ)義的體現(xiàn)AnIntroductiontoDatabaseSystem什么是數(shù)據(jù)依賴(續(xù))3.數(shù)據(jù)依賴的類型☆函數(shù)依賴(FunctionalDependency,簡(jiǎn)記為FD)令多值依賴(MultivaluedDependency,簡(jiǎn)記為MVD)其他AnIntroductiontoDatabaseSystem四、關(guān)系模式的簡(jiǎn)化表示關(guān)系模式R(U,D,DOM,F)簡(jiǎn)化為一個(gè)三元組R(UF)☆當(dāng)且僅當(dāng)U上的一個(gè)關(guān)系『滿足F時(shí),「