數(shù)據(jù)庫系統(tǒng)原理教案(編輯修改稿)
2025-07-04 19:46 本頁面
【文章內(nèi)容簡(jiǎn)介】 式是型，關(guān)系（表）是模式的值 關(guān)系數(shù)據(jù)庫含義：在一個(gè)給定的現(xiàn)實(shí)世界的領(lǐng)域中，相應(yīng)于所有實(shí)體及實(shí)體之間的聯(lián)系的關(guān)系的集合構(gòu)成一個(gè)關(guān)系數(shù)據(jù)庫。關(guān)系數(shù)據(jù)庫的型和值：型即關(guān)系數(shù)據(jù)庫模式，是對(duì)關(guān)系數(shù)據(jù)庫的描述，它包括若干域的定義以及在這些域上定義的若干關(guān)系模式。關(guān)系模式的值也稱為關(guān)系數(shù)據(jù)庫，是這些關(guān)系模式在某一時(shí)刻對(duì)應(yīng)的關(guān)系的集合。關(guān)系數(shù)據(jù)庫模式與關(guān)系數(shù)據(jù)庫通常稱為關(guān)系數(shù)據(jù)庫。2．3關(guān)系完整性 實(shí)體完整性要點(diǎn)：主屬性不能取空值?，F(xiàn)實(shí)世界的語義要求：一個(gè)基本關(guān)系通常對(duì)應(yīng)現(xiàn)實(shí)世界的一個(gè)實(shí)體集，現(xiàn)實(shí)世界的實(shí)體是可以區(qū)分的，即它們具有某種唯一標(biāo)識(shí)，在關(guān)系模型中以主碼作為唯一標(biāo)識(shí)。 參照完整性*關(guān)系與關(guān)系之間存在著引用關(guān)系：因?yàn)楝F(xiàn)實(shí)世界的實(shí)體之間存在某種聯(lián)系，而關(guān)系模型中實(shí)體及實(shí)體間的聯(lián)系都是用關(guān)系來描述的。*舉例：* 要點(diǎn)：*外碼——基本關(guān)系R的非碼屬性（組）F與基本關(guān)系S的主碼Ks相對(duì)應(yīng)，則屬性（組）F為R的外碼。*參照關(guān)系——R*被參照關(guān)系——S*參照完整性規(guī)則——基本關(guān)系R的外碼F與基本關(guān)系S的主碼Ks相對(duì)應(yīng)，則R上的每個(gè)元組在F上的取值要求：或者取空值；或者等于S中的某個(gè)元組的主碼值。 用戶自定義完整性 *反映某一具體應(yīng)用所涉及的數(shù)據(jù)必須滿足的語義要求。 *通常有三類：非空約束（not null）、唯一約束(unique)、檢查約束(check)*2．4如何實(shí)現(xiàn)完整性約束規(guī)則（作問題處理） 在表中定義完整性規(guī)則 在對(duì)表中的數(shù)據(jù)進(jìn)行更新操作時(shí)，數(shù)據(jù)庫管理系統(tǒng)自動(dòng)的檢查完整性規(guī)則，將表中的數(shù)據(jù)約束在用戶期望的范圍中。*PB提供了一定的前端約束檢查功能**在前端定義約束規(guī)則（相當(dāng)check功能），在前端進(jìn)行合法性檢查。即在輸入數(shù)據(jù)時(shí)一定程度上過濾了不合法的數(shù)據(jù)。相同的檢查在數(shù)據(jù)庫表中可以不需要再定義。**在前端一已經(jīng)實(shí)現(xiàn)的完整性約束，在數(shù)據(jù)庫表中是否可以不需要再定義？回答否，因?yàn)椋绮煌ㄟ^應(yīng)用程序直接通過工具操作數(shù)據(jù)庫表時(shí)，就沒有了相應(yīng)的完整性檢查。2．4 關(guān)系代數(shù) 何為關(guān)系代數(shù)：是抽象的查詢語言，它用關(guān)系運(yùn)算來表達(dá)查詢。主要研究關(guān)系（表）運(yùn)算，運(yùn)算對(duì)象是關(guān)系，運(yùn)算結(jié)果也是關(guān)系。 關(guān)系運(yùn)算分兩類：1） 傳統(tǒng)的集合運(yùn)算：并、交、差、廣義笛卡爾積。運(yùn)算只涉及行，將關(guān)系看成是行（元組）的集合。2） 專門的關(guān)系運(yùn)算：選擇、投影、連接、除。運(yùn)算既涉及行也涉及列。 傳統(tǒng)的集合運(yùn)算（著重掌握語義）設(shè)關(guān)系R、SRABa1b1a1b2 SABa1b2a2b21） 并（U）R ∪ S={ t | t∈R ∨ t∈S } 并由屬于R或?qū)儆赟的元組組成。兩集合元組并
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號(hào)-1