【正文】 R2冗余可以修改。三、關(guān)系模式的規(guī)范化1．第一范式（1NF）① 定義：若關(guān)系R的所有屬性不能再分，則R∈1NF② 存在問題③ 原因：存在非主屬性對(duì)主碼的部分依賴。② 什么叫關(guān)系規(guī)范化？指一個(gè)關(guān)系從低級(jí)范式向高級(jí)范式的轉(zhuǎn)換過(guò)程。結(jié)論：一個(gè)好的關(guān)系模式應(yīng)滿足：① 冗余應(yīng)盡可能少；② 應(yīng)盡可能避免插入、刪除異常；③ 消去關(guān)系中不合適的屬性依賴關(guān)系。④ 刪除異常：不應(yīng)該刪除的數(shù)據(jù)被刪掉。 關(guān)系模式的規(guī)范化一、問題提出R表XHKHKMXMDZCJ961C1OS高明D170962C2DBS高飛D272962C4AI高飛D280962C1OS高明D175963C1OS高明D190答：存在問題① 數(shù)據(jù)冗余大；② 修改麻煩；③ 插入異常：應(yīng)該插入到DB中的數(shù)據(jù)插不進(jìn)去。④合并律：若x→y，x→z,則x→yz。③傳遞律：若x→y，y→z，則x→z。三、函數(shù)依賴的推理規(guī)則設(shè)有關(guān)系R，x、y、z為R的一個(gè)屬性集，則有：①自反律：若，則x→y。如：Sno,sname→sno 如果y中至少有一個(gè)屬性不在x中，則該依賴是非平凡的。記為：。例1：(XH,KH) →CJ但 XH →CJ KH →CJ故 例2：KH→KM則 結(jié)論：若x→y，且x只包含一個(gè)屬性，則。例：KH→KMXM→DZ(XH,KH) →CJKH→(KM,XM)2. 完全函數(shù)依賴：若x→y，且對(duì)于x的所有真子集x′,都有x′ y，則稱x完全決定y，或y完全函數(shù)依賴于x。④ 查詢涉及“至少”時(shí)，一般用 關(guān)系數(shù)據(jù)庫(kù)規(guī)范化理論 函數(shù)依賴一、有關(guān)概念：R表XHKHKMXMDZCJ961C1OS高明D170962C2DBS高飛D272962C4AI高飛D280962C1OS高明D175963C1OS高明D1901．函數(shù)依賴：任給R（U），U為屬性集，x、y為U的子集，如果對(duì)于x的每個(gè)值，y有唯一確定的值與之對(duì)應(yīng)，則稱x決定y，或y函數(shù)依賴于x。② 查詢涉及“否定”時(shí)，一般用差運(yùn)算。a1的象集為{（b1，c2），（b2，c3），（b2，c1）}a2的象集為{（b3，c7），（b2，c3）}a3的象集為{（b4，c6）}a4的象集為{（b6，c6）}S在（B，C）上的投影K為{（b1，c2），（b2，c3），（b2，c1）}顯然只有a1的象集包含K，故R247。S。③ 檢查每個(gè)象集是否包含K注：除不是一個(gè)必須的運(yùn)算，可以由其它運(yùn)算符代替。求解過(guò)程：① 求R中x可以取哪些值，并求各值的象集。 5．除：給定關(guān)系R（x，y）和S（y，z），則R247。記為： 說(shuō)明：① 自然連接：兩關(guān)系至少有一個(gè)公共屬性。記為： 3．條件連接：將兩關(guān)系按一定條件連接成一個(gè)新關(guān)系，記為： 說(shuō)明：條件連接：兩關(guān)系可以沒有公共屬性，若有公共屬性，則新關(guān)系含有重復(fù)屬性。二、專門的關(guān)系運(yùn)算1．選擇：從關(guān)系R中選擇滿足條件的元組。R－S：由屬于R而不屬于S的元組組成。 關(guān)系代數(shù)一、傳統(tǒng)的集合運(yùn)算設(shè)關(guān)系R、S的結(jié)構(gòu)完全相同，則：R∪S：由屬于R或?qū)儆赟的元組組成。2．參照完整性：指一個(gè)關(guān)系外碼的取值必須是相關(guān)關(guān)系中主碼的有效值或空值。四、關(guān)系的完整性1．實(shí)體完整性：指關(guān)系的所有主屬性都不能取空值。2．關(guān)系的目（或度）：一個(gè)關(guān)系所含屬性的個(gè)數(shù)。2．笛卡爾積D1D2D3對(duì)應(yīng)一個(gè)二維表，所含元組的個(gè)數(shù)等于各個(gè)域的基數(shù)之積。2．域的基數(shù)：域中所含數(shù)據(jù)的個(gè)數(shù)。6．外碼：設(shè)F是關(guān)系R的一個(gè)屬性，不是R的主碼，但卻是另一個(gè)關(guān)系S的主碼，則稱F是關(guān)系R的外碼。4．主屬性：主碼中包含的各個(gè)屬性。2．候選碼：一個(gè)屬性集既能唯一標(biāo)識(shí)元組，且又不含有多余屬性，一個(gè)關(guān)系模式可以有多個(gè)候選碼。③ 數(shù)據(jù)控制：包括安全性控制、完整性控制、并發(fā)控制、數(shù)據(jù)庫(kù)恢復(fù)。 數(shù)據(jù)庫(kù)管理系統(tǒng)1． DBMS的功能：負(fù)責(zé)對(duì)數(shù)據(jù)庫(kù)進(jìn)行統(tǒng)一的管理與控制。2．兩級(jí)映象① 外模式/模式映象：保證數(shù)據(jù)庫(kù)的邏輯獨(dú)立性；② 模式/內(nèi)模式映象：保證數(shù)據(jù)庫(kù)的物理獨(dú)立性；3．兩級(jí)映象的意義① 使數(shù)據(jù)庫(kù)與應(yīng)用系統(tǒng)完全分開，數(shù)據(jù)庫(kù)改變時(shí)，應(yīng)用系統(tǒng)不必改變。特點(diǎn)：一個(gè)應(yīng)用程序只能使用一個(gè)外模式，但同一個(gè)外模式可為多個(gè)應(yīng)用程序使用。 模式只涉及數(shù)據(jù)庫(kù)的結(jié)構(gòu)；220。② C/S結(jié)構(gòu)：局域網(wǎng)結(jié)構(gòu)客戶機(jī)：裝開發(fā)工具、應(yīng)用系統(tǒng)服務(wù)器：裝DBMS、數(shù)據(jù)庫(kù)③ B/S結(jié)構(gòu)：Internet 結(jié)構(gòu)服務(wù)器：裝DBMS、數(shù)據(jù)庫(kù)、開發(fā)工具、應(yīng)用系統(tǒng)客戶機(jī)：裝IE即可三、 數(shù)據(jù)庫(kù)系統(tǒng)的模式結(jié)構(gòu)1．三級(jí)模式① 模式：是數(shù)據(jù)庫(kù)中全體數(shù)據(jù)的邏輯結(jié)構(gòu)和特征的描述。小結(jié)：數(shù)據(jù)有三種類型，DBMS就有三種類型，DB亦有三種類型。關(guān)系模型：指一個(gè)數(shù)據(jù)庫(kù)中全部二維表結(jié)構(gòu)的集合。三、關(guān)系模型：用二維表表示實(shí)體之間的聯(lián)系。② 可以處理多對(duì)多的實(shí)體關(guān)系。二、網(wǎng)狀模型：用圖結(jié)構(gòu)表示實(shí)體之間的聯(lián)系。② 只能直接處理一對(duì)多（含一對(duì)一）的實(shí)體關(guān)系。 數(shù)據(jù)模型一、層次模型：用樹型結(jié)構(gòu)表示實(shí)體之間的聯(lián)系。每個(gè)班有若干學(xué)生，每個(gè)學(xué)生選修若干課程，每門課程有若干學(xué)生選修。② ER圖可以等價(jià)轉(zhuǎn)換為層次、網(wǎng)狀、關(guān)系模型。例：借書表（學(xué)號(hào)，姓名，書號(hào)，書名，作者，定價(jià)，借期，還期）規(guī)定：學(xué)生一次可以借多本書，同一種書只能借一本，但可以多次續(xù)借。2．屬性：3．關(guān)鍵詞（碼、key）：能唯一標(biāo)識(shí)每個(gè)實(shí)體又不含多余屬性的屬性組合。3．機(jī)器世界：將ER圖轉(zhuǎn)換為某一種數(shù)據(jù)模型，數(shù)據(jù)模型與DBMS相關(guān)。共享性高數(shù)據(jù)的獨(dú)立性不獨(dú)立，它是應(yīng)用程序的一部分。 數(shù)據(jù)庫(kù)系統(tǒng)概述 一、有關(guān)概念1．?dāng)?shù)據(jù)2．?dāng)?shù)據(jù)庫(kù)（DB）3．?dāng)?shù)據(jù)庫(kù)管理系統(tǒng)（DBMS） Access桌面DBMS VFP SQL Server Oracle客戶機(jī)/服務(wù)器型DBMS MySQL DB24．?dāng)?shù)據(jù)庫(kù)系統(tǒng)（DBS） 數(shù)據(jù)庫(kù)（DB） 數(shù)據(jù)庫(kù)管理系統(tǒng)（DBMS） 開發(fā)工具 應(yīng)用系統(tǒng)二、數(shù)據(jù)管理技術(shù)的發(fā)展1．?dāng)?shù)據(jù)管理的三個(gè)階段人工管理文件系統(tǒng)數(shù)據(jù)庫(kù)系統(tǒng)數(shù)據(jù)能否保存不能保存可以保存可以保存數(shù)據(jù)面向的對(duì)象某一應(yīng)用程序某一應(yīng)用程序整個(gè)應(yīng)用系統(tǒng)數(shù)據(jù)的共享程度無(wú)共享，一組數(shù)據(jù)只能對(duì)應(yīng)一個(gè)應(yīng)用程序。共享性差，一個(gè)數(shù)據(jù)文件只能對(duì)應(yīng)一個(gè)應(yīng)用程序。獨(dú)立性差數(shù)據(jù)庫(kù)與應(yīng)用系統(tǒng)完全分開 概念模型一、模型的三個(gè)世界1．現(xiàn)實(shí)世界2．信息世界：即根據(jù)需求分析畫概念模型（即ER圖），ER圖與DBMS無(wú)關(guān)。注意：信息世界又稱概念模型，機(jī)器世界又稱數(shù)據(jù)模型二、實(shí)體及屬性1．實(shí)體：客觀存在并可相互區(qū)別的事物。一個(gè)表的碼可以有多個(gè)，但主碼只能有一個(gè)。4．實(shí)體型：即二維表的結(jié)構(gòu)例 student(no，name，sex，age，dept)5．實(shí)體集：即整個(gè)二維表三、實(shí)體間的聯(lián)系：1．兩實(shí)體集間實(shí)體之間的聯(lián)系 1：1聯(lián)系 1：n聯(lián)系 m：n聯(lián)系2．同一實(shí)體集內(nèi)實(shí)體之間的聯(lián)系1：1聯(lián)系 1：n聯(lián)系 m：n聯(lián)系四、概念模型（常用ER圖表示）實(shí)體型：屬性：聯(lián)系：說(shuō)明：① ER圖作為用戶與開發(fā)人員的中間語(yǔ)言。舉例：學(xué)校有若干個(gè)系，每個(gè)系有若干班級(jí)和教研室，每個(gè)教研室有若干教員，其中有的教授和副教授每人各帶若干研究生。用ER圖畫出概念模型。① 每個(gè)結(jié)點(diǎn)代表一個(gè)實(shí)體型。③ 查找層次數(shù)據(jù)庫(kù)中的記錄，速度較慢。① 每個(gè)結(jié)點(diǎn)代表一個(gè)實(shí)體型。③ 查找網(wǎng)狀數(shù)據(jù)庫(kù)中的記錄，速度最快。1．重要術(shù)語(yǔ)：關(guān)系：一個(gè)關(guān)系就是一個(gè)二維表；元組：二維表的一行，即實(shí)體；關(guān)系模式：在實(shí)體型的基礎(chǔ)上，注明主碼。2．特點(diǎn)：① 關(guān)系模型是建立在嚴(yán)格的數(shù)學(xué)理論的基礎(chǔ)上的；② 關(guān)系模型的存取路徑對(duì)用戶透明；③ 查找關(guān)系數(shù)據(jù)庫(kù)中的記錄，速度最慢。 數(shù)據(jù)庫(kù)系統(tǒng)結(jié)構(gòu)一、數(shù)據(jù)庫(kù)系統(tǒng)的體系結(jié)構(gòu)① 單機(jī)結(jié)構(gòu)：DBMS、數(shù)據(jù)庫(kù)、開發(fā)工具、應(yīng)用系統(tǒng)安裝在一臺(tái)計(jì)算機(jī)上。220。 模式既不涉及應(yīng)用程序，又不涉及數(shù)據(jù)庫(kù)結(jié)構(gòu)的存儲(chǔ)；② 外模式：是模式的一個(gè)子集，是與某一個(gè)應(yīng)用程序有關(guān)的邏輯表示。③ 內(nèi)模式：描述數(shù)據(jù)庫(kù)結(jié)構(gòu)的存儲(chǔ)，但不涉及物理記錄。② 數(shù)據(jù)的存取完全由DBMS管理，用戶不必考慮存取路徑。① 數(shù)據(jù)定義：即定義數(shù)據(jù)庫(kù)中各對(duì)象的結(jié)構(gòu)② 數(shù)據(jù)操縱：包括對(duì)數(shù)據(jù)庫(kù)進(jìn)行查詢、插入、刪除、修改等操作。2．DBMS的組成：DDL語(yǔ)言 DML語(yǔ)言DCL語(yǔ)言實(shí)用程序注意：① SQL集DDL，DML，DCL功能于一體；② 所有應(yīng)用程序通過(guò)SQL語(yǔ)句才能訪問數(shù)據(jù)庫(kù)一、 基本概念1．碼：能唯一標(biāo)識(shí)元組的屬性集。3．主碼：任選候選碼中的一個(gè)。5．非主屬性：不包含在主碼中的各個(gè)屬性。例：student ( sno, sname, ssex, sage, sdept) Sc ( sno, o, grade)Sc的主碼為：（sno,o）；外碼為：sno關(guān)系的數(shù)學(xué)定義一、域( domain)1．定義：域是一組具有相同類型的值的集合。二、笛卡爾積1．定義：給定一組域D1,D2,D3，則D1D2D3稱為笛卡爾積。三、關(guān)系1．定義：笛卡兒積的一部分元組稱為關(guān)系。3．關(guān)系的性質(zhì)任意兩個(gè)元組不能完全相同，但屬性名允許重復(fù)。注意：實(shí)體完整性不僅僅是主碼整體不能取空值。例：班級(jí)( 班名,人數(shù))學(xué)生(學(xué)號(hào),姓名,性別,密碼,班名)在學(xué)生表中，班名的取值必須是班級(jí)表[班名]的值或空值。R∩S：由既屬于R又屬于S的元組組成。思考：（R∩S）∪（R－S）=？RS：設(shè)R有m個(gè)屬性，K1個(gè)元組；S有n個(gè)屬性，K2個(gè)元組，則RS含有(m+n)個(gè)屬性，(K1K2)個(gè)元組。記為： 2．投影：從關(guān)系R中選擇若干屬性組成新的關(guān)系，并把新關(guān)系的重復(fù)元組去掉。4．自然連接：將兩關(guān)系按公共屬性連接成一個(gè)新的關(guān)系，并把新關(guān)系的重復(fù)屬性去掉。 ② 對(duì)于R的每個(gè)元組，S都從第一個(gè)元組開始判斷，若兩元組的公共屬性值相同，則產(chǎn)生一個(gè)新元組添加到新關(guān)系中，最后把新關(guān)系中的重復(fù)屬性去掉。S=P（x），其中x，y，z為屬性組。② 求S在屬性組y上的投影K。例：設(shè)有關(guān)系R，S如下圖，求R247。RABCSBCDa1b1c2b1c2d1a2b3c7b2c1d1a3b4c6b2c3d2a1b2c3a4b6c6a2b2c3a1b2c1