數(shù)據(jù)庫系統(tǒng)概論復(fù)習(xí)重點(diǎn)(編輯修改稿)
2025-05-14 01:46 本頁面
【文章內(nèi)容簡介】 。 檢查主碼的各個屬性是否為空，只要有一個為空就拒絕插入或修改。關(guān)系模型的參照完整性在CREATE TABLE中用FOREIGN KEY短語定義哪些列為外碼，用REFERENCES短語指明這些外碼參照哪些表的主碼。一個參照完整性將兩個表中的相應(yīng)元組聯(lián)系起來了。因此，對被參照表和參照表進(jìn)行增刪改操作時(shí)可能破壞參照完整性，必須進(jìn)行檢查。被參照表 參照表 違約處理可能破壞參照完整性 插入元組 拒絕可能破壞參照完整性 修改外碼值 拒絕刪除元組 可能破壞參照完整性 拒絕/級連刪除/設(shè)置為空值修改主碼值 可能破壞參照完整性 拒絕/級連刪除/設(shè)置為空值拒絕：不允許該操作執(zhí)行級連操作：當(dāng)刪除或修改被參照表（SC）的一個元組造成了與參照表的不一致，則刪除或修改參照表中的所有造成不一致的元組設(shè)置為空值：當(dāng)刪除或修改被參照表的一個元組時(shí)造成了不一致，則將參照表中的所有造成不一致的元組的對應(yīng)屬性設(shè)置為空值。在CREATE TABLE中定義屬性的同時(shí)可以根據(jù)應(yīng)用要求，定義屬性上的約束條件，即屬性值限制，包括：列值非空（NOT NULL短語） 列值唯一（UNIQUE短語） 檢查列值是否滿足一個布爾表達(dá)式（CHECK短語）數(shù)據(jù)依賴是一個關(guān)系內(nèi)部屬性與屬性之間的一種約束關(guān)系。這種約束關(guān)系是通過屬性間值的相等與否體現(xiàn)出來的數(shù)據(jù)間相關(guān)聯(lián)系。它是現(xiàn)實(shí)世界屬性間相互聯(lián)系的抽象，是數(shù)據(jù)內(nèi)在的性質(zhì)，是語義的體現(xiàn)。數(shù)據(jù)依賴中最重要的是函數(shù)依賴和多值依賴。設(shè)R(U)是屬性集U上的關(guān)系模式。X，Y是U得子集。若對于R（U）的任意一個可能的關(guān)系r，r中不可能存在兩個元組在X上的屬性值相等，而在Y上的屬性值不等，則稱X函數(shù)確定Y或Y函數(shù)依賴于X，記作X→Y。關(guān)系數(shù)據(jù)庫中的關(guān)系是要滿足一定要求的，滿足不同程度要求的為不同范式。滿足最低要求的叫第一范式，簡稱1NF。在第一范式中滿足進(jìn)一步要求的為第二范式，其余以此類推。一個低一級范式的關(guān)系模式，通過模式分解可以轉(zhuǎn)換為若干個高一級范式的關(guān)系模式的集合，這種過程就叫規(guī)范化。給一個關(guān)系模式，寫出函數(shù)依賴，候選碼，判斷第幾范式，然后將一種范式分解為另一種范式。模式分解算法數(shù)據(jù)字典，數(shù)據(jù)流圖表達(dá)了數(shù)據(jù)和處理的關(guān)系，數(shù)據(jù)字典則是系統(tǒng)中給類數(shù)據(jù)描述的集合，是進(jìn)行詳細(xì)的數(shù)據(jù)收集和數(shù)據(jù)分析所獲得的主要成果。數(shù)據(jù)字典通常包括數(shù)據(jù)項(xiàng)、數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)流、數(shù)據(jù)存儲
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號-1