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