數(shù)據(jù)庫基礎(chǔ)知識(shí)個(gè)人整理版強(qiáng)烈推薦-資料下載頁
2025-06-26 06:07本頁面
【正文】 GRANT 角色1 [ ,角色2]… TO 角色 [,用戶] [ WITH ADMIN OPTION] WITH ADMIN OPTION 表示獲得某權(quán)限的角色或用戶還可以把這種權(quán)限再授予其他角色或用戶 例如：GRANT R1 TO wang。 4 角色權(quán)限回收 REVOKE 權(quán)限 [, 權(quán)限]… ON 對(duì)象類型 對(duì)象名[,對(duì)象名對(duì)象名]… FROM 角色 [, 角色]。 例如：REVOKE R1 FROM wang。六 完整性約束命名子句完整性約束條件可以在CREATE TABLE語句中定義。SQL還在CREATE TABLE語句中提供了完整性約束命名子句CONSTRAINT,用來對(duì)完整性約束條件命名。1 創(chuàng)建完整性約束CONSTRAINT完整性約束條件名[PRIMARY KEY 短語 | FOREIGN KEY短語| CHECK短語]例如：CREATE TEBLE Student （Sno NUMERIC(6) CONSTRAINT C1 CHECK(Sno BETWEEN 90000 AND 999999)Sname CHAR(20) CONSTRAINT C2 NOT NULL, Sage NUMERIC(3) CONSTRAINT C3 CHECK(Sage30), Ssex CHAR(2) CONSTRAINT C4 CHECK (Ssex IN(‘男’ , ’女’)), CONSTRAINT StudentKey PRIMARY KEY (Sno) ）；2 修改完整性約束 例如：ALTER TABLE Student DROP CONSTRAINT C4。 ALTER TABLE Student ADD CONSTRAINT C5 CHECK (Sage40)。七 觸發(fā)器 CREATE TRIGGER觸發(fā)器名 {BEFORE | AFTER} 觸發(fā)事件ON表名 FOR EACH { ROW| STATEMENT} [WHEN觸發(fā)條件] 觸發(fā)動(dòng)作體 第三章 關(guān)系數(shù)據(jù)庫理論一 關(guān)系模式（回顧）一個(gè)關(guān)系模式應(yīng)當(dāng)是一個(gè)五元組。 R（U，D，DOM，F(xiàn)） R 為關(guān)系名 U為組成該關(guān)系的屬性名集合 D為屬性組U中屬性所來自的域 DOM為屬性向域的映像集合 F為屬性間數(shù)據(jù)的依賴關(guān)系集合由于D和DOM對(duì)模式設(shè)計(jì)關(guān)系不大,因此我們?cè)诒菊轮邪殃P(guān)系模式看作是一個(gè)三元組：RU,F 當(dāng)且僅當(dāng)U上的一個(gè)關(guān)系r滿足F時(shí)，稱r為關(guān)系模式RU,F的一個(gè)關(guān)系。 二 數(shù)據(jù)依賴數(shù)據(jù)依賴是一個(gè)關(guān)系內(nèi)部屬性與屬性之間的一種約束關(guān)系。這種關(guān)系是通過學(xué)習(xí)屬性間值的相等與否體現(xiàn)出來的數(shù)據(jù)間相關(guān)聯(lián)系。最重要的數(shù)據(jù)依賴其中最重要的是函數(shù)依賴和多值依賴。三 規(guī)范化 （一）函數(shù)依賴?yán)碚? 函數(shù)依賴：設(shè)R(U)是屬性集U上的關(guān)系模式。X,Y是U的子集。若對(duì)于R(U)的任意一個(gè)可能的關(guān)系r，r中不可能存在兩個(gè)元組在X上的屬性值相等，而在Y上的屬性值不等，則稱X函數(shù)確定Y或Y函數(shù)依賴于X，記作X→Y。下面介紹一些術(shù)語和記號(hào)：X→Y，但Y205。X，則稱X→Y為平凡的函數(shù)依賴。否則，稱X→Y為非平凡的函數(shù)依賴。今后，若不特別聲明，我們總是討論非平凡的函數(shù)依賴。若X→Y，則稱X為決定因素(Determinant)。 若X→Y，Y→X，則記作X←→Y。 若Y不函數(shù)依賴于X，則記作X Y。 2 完全函數(shù)依賴和部分函數(shù)依賴：在R(U)中,如果X→Y，并且對(duì)于X的任何一個(gè)真子集X39。 ,都有X39。 Y,則稱Y對(duì)X完全函數(shù)依賴,記作:XY 。 若X→Y,但Y不完全函數(shù)依賴于X,則稱Y對(duì)X部分函數(shù)依賴,記作XY。 3 傳遞函數(shù)依賴：在R(U)中,如果X→Y,(YX)，YX,Y→Z,則稱Z對(duì)X傳遞函數(shù)依賴。 加上條件YX,是因?yàn)槿绻鸜→X,則X←→Y,實(shí)際上是 , 是直接函數(shù)依賴而不是傳遞函數(shù)依賴。 4 多值依賴：設(shè)R(U)是屬性集U上的一個(gè)關(guān)系模式。X，Y，Z是的U的子集,并且Z=UXY。關(guān)系模式R(U)中多值依賴X→→Y成立，當(dāng)且僅當(dāng)對(duì)R(U)的任一關(guān)系r,給定的一對(duì)(x，z)值有一組Y的值，這組值僅僅決定于x值而與z值無關(guān)。 多值依賴的例子例： 學(xué)校中某一門課程由多個(gè)教員講授，他們使用相同的一套參考書。每個(gè)教員可以講授多門課程，每種參考書可以供多門課程使用。我們可以用一個(gè)非規(guī)范化的關(guān)系來表示教員T,課程C和參考書B之間的關(guān)系： 課程C 教員T 參考書B 物理 李 勇 普通物理學(xué) 王 軍 光學(xué)原理 物理習(xí)題集 數(shù)學(xué) 李 勇 數(shù)學(xué)分析 張 平 微分方程 高等代數(shù) 把這張表變成一張規(guī)范化的二維表,就成為:Teaching課程C 教員T 參考書B 物 理 李 勇 普通物理學(xué) 物 理 李 勇 光學(xué)原理 物 理 李 勇 物理習(xí)題集 物 理 王 軍 普通物理學(xué) 物 理 王 軍 光學(xué)原理 物 理 王 軍 物理習(xí)題集 數(shù) 學(xué) 李 勇 數(shù)學(xué)分析 數(shù) 學(xué) 李 勇 微分方程 數(shù) 學(xué) 李 勇 高等代數(shù) 數(shù) 學(xué) 張 平 數(shù)學(xué)分析 數(shù) 學(xué) 張 平 微分方程 數(shù) 學(xué) 張 平 高等代數(shù) 例如，在關(guān)系模式TEACHING中，對(duì)于一個(gè)(物理，光學(xué)原理)有一組T值{李勇，王軍}，這組值僅僅決定于課程C上的值(物理)。也就是說對(duì)于另一個(gè)(物理,普通物理學(xué))它對(duì)應(yīng)的一組T值仍是{李勇,王軍}，盡管這時(shí)參考書B的值已經(jīng)改變了。因此T多值依賴于C，即C→→T。四 范式 （一）范式關(guān)系數(shù)據(jù)庫中的關(guān)系模式要滿足一定的規(guī)范化要求，滿足不同程度規(guī)范化要求的關(guān)系模式的類稱為不同的范式。滿足最低要求的關(guān)系模式稱為第一范式,簡(jiǎn)稱lNF。在第一范式中滿足進(jìn)一步要求的為第二范式，其余以此類推。R為第幾范式就可以寫成R∈xNF。按屬性間依賴情況來區(qū)分，關(guān)系規(guī)范化的程度為1NF,2NF,3NF,BCNF,4NF和5NF等。 對(duì)于各種范式之間的關(guān)系有 5NF4NFBCNF 3NF2NFlNF 成立。 （二）規(guī)范化 一個(gè)低一級(jí)范式的關(guān)系模式，通過模式分解可以轉(zhuǎn)換為若干個(gè)高一級(jí)范式的關(guān)系模式的集合，這一過程稱為規(guī)范化。 （三）范式定義 1 1NF：作為一張二維表，對(duì)它有一個(gè)最起碼的要求，每一個(gè)分量必須是不可公的數(shù)據(jù)項(xiàng)，滿足了這個(gè)條件的關(guān)系模式就屬于第一范式 2 2NF：若R1NF ，且每個(gè)非空主屬性完全依賴于碼，則R2NF3 3NF： 關(guān)系模式R U,F中若不存在這樣的碼X，屬性組Y及非主屬性Z（ZY）使得X→Y ，Y→Z 成立，Y X，則稱R U,F3NF（不存在傳遞依賴）4 BCNF：關(guān)系模式RU,F∈1NF，若對(duì)R中任何非平凡的函數(shù)依賴X→Y(Y X)， X必含有鍵，則稱RBCNF 5 4NF：關(guān)系模式RU,F∈1NF，如果對(duì)于R的每個(gè)非平凡多值依賴X→→Y（YX），X都含有碼，則RU,F 4NF （四）關(guān)于范式的說明1 若一個(gè)關(guān)系模式R不是3NF，就會(huì)產(chǎn)生插入異常、刪除異常、更新異常和數(shù)據(jù)冗余度等問題。所以一般情況下，關(guān)系模式應(yīng)至少達(dá)到3NF 2 范式總結(jié)消除決定因素非碼的非平凡函數(shù)依賴 1NF ↓ 消除非主屬性對(duì)碼的部分依賴 2NF ↓ 消除非主屬性對(duì)碼的傳遞函數(shù)依賴 3NF ↓ 消除主屬性對(duì)碼的部分和傳遞函數(shù)依賴 BCNF ↓ 消除非平凡且非函數(shù)依賴的多值依賴 5NF20
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1