前端開發(fā)關(guān)系數(shù)據(jù)庫

關(guān)系數(shù)據(jù)庫

版本管理修改記錄

審核記錄版本號.作者描述修改日期V01歐湘平FirstDraft20121121版本號.職務(wù)簽名修改日期學(xué)習(xí)目標掌握關(guān)系、關(guān)系模式、關(guān)系數(shù)據(jù)庫等基本概念掌握關(guān)系的三類完整性的含義掌握關(guān)系代數(shù)運算主要內(nèi)容

關(guān)系模型的基本概念RDBS的數(shù)據(jù)操縱語言：關(guān)系代數(shù)RDBS的數(shù)據(jù)操縱語言：關(guān)系演算語言關(guān)系模型的基本概念關(guān)系數(shù)據(jù)模型組成3要素1.關(guān)系數(shù)據(jù)結(jié)構(gòu)

一張邏輯結(jié)構(gòu)單一的二維表。2.關(guān)系操作集合

操作的對象和結(jié)果都是集合。3.關(guān)系完整性約束

數(shù)據(jù)庫中數(shù)據(jù)與現(xiàn)實中應(yīng)用需求的相容性和正確性。

數(shù)據(jù)庫內(nèi)數(shù)據(jù)之間的相容性和正確性。層次、網(wǎng)狀數(shù)據(jù)庫是面向?qū)I(yè)人員的，使用很不方便。程序員必須經(jīng)過良好的培訓(xùn)，對所使用的系統(tǒng)有深入的了解才能用好系統(tǒng)。關(guān)系數(shù)據(jù)庫就是要解決這一問題，使它成為面向用戶的系統(tǒng)。關(guān)系數(shù)據(jù)庫是應(yīng)用數(shù)學(xué)方法來處理數(shù)據(jù)的。它具有結(jié)構(gòu)簡單、理論基礎(chǔ)堅實、數(shù)據(jù)獨立性高以及提供非過程性語言等優(yōu)點。關(guān)系模型的基本概念關(guān)系的數(shù)學(xué)定義

域（Domain）:值的集合。它們具有相同的數(shù)據(jù)類型，語義上通常指某一對象的取值范圍。例如：全體整數(shù)，

0到100之間的整數(shù)，長度不超過10的字符串集合

笛卡爾積（CartesianProduct）：設(shè)D1、D2、…、Dn是n個域,則它們的笛卡爾積為 D1

D2

…

Dn={(d1，d2，…，dn)|diDi，i=1,2,…,n}

其中每一個元素稱為一個n元組(n-tuple),簡稱元組;

元組中的每個值di稱為一個分量(component).關(guān)系模型的基本概念笛卡爾積可以寫成一個二維表例如：設(shè)D1={張三，李四}，

D2={數(shù)學(xué)，語文}，

D3={優(yōu)，良}則D1×D2×D3可用二維表表示為：張三數(shù)學(xué)優(yōu)張三數(shù)學(xué)良張三語文優(yōu)張三語文良李四數(shù)學(xué)優(yōu)李四數(shù)學(xué)良李四語文優(yōu)李四語文良

關(guān)系（Relation）笛卡爾積D1

D2

…

Dn的子集合，記作

R（D1，D2，…，Dn）關(guān)系名n為關(guān)系的目或度關(guān)系模型的基本概念

說明關(guān)系是一個二維表。每行對應(yīng)一個元組。每列可起一個名字，稱為屬性。屬性的取值范圍為一個域，元組中的一個屬性值是一個分量。

關(guān)系的性質(zhì)

列是同質(zhì)的，即每列中的數(shù)據(jù)必須來自同一個域每一列必須是不可再分的數(shù)據(jù)項（不允許表中套表，即滿足第一范式）不能有相同的行行、列次序無關(guān)關(guān)系模型的基本概念關(guān)系模型三部分：關(guān)系數(shù)據(jù)結(jié)構(gòu)、關(guān)系操作集合、關(guān)系的完整性數(shù)據(jù)結(jié)構(gòu)單一的數(shù)據(jù)結(jié)構(gòu)：關(guān)系（二維表）

不論是實體還是實體間的聯(lián)系都用關(guān)系表示。實體值關(guān)系的元組，在關(guān)系數(shù)據(jù)庫中通常稱為記錄屬性值元組的分量，在關(guān)系數(shù)據(jù)庫中通常稱為字段關(guān)鍵字（碼）：唯一標識一個元組的屬性組

關(guān)鍵字可以有多個，統(tǒng)稱候選關(guān)鍵字。在使用時，通常選定一個作為主關(guān)鍵字。主關(guān)鍵字的諸屬性稱為主屬性，其它為非主屬性。關(guān)系模型的基本概念關(guān)系數(shù)據(jù)庫模式：對關(guān)系數(shù)據(jù)庫的描述，包括域的定義及在域上定義的所有關(guān)系模式。關(guān)系數(shù)據(jù)庫：所有實體及實體間聯(lián)系的關(guān)系的集合。是某時刻所有關(guān)系模式對應(yīng)的關(guān)系的集合。關(guān)系模式：關(guān)系的描述。包括關(guān)系名、諸屬性名、屬性向域的映象、屬性間的依賴。關(guān)系的型一個元組為關(guān)系的一個值表示：R（U，D，dom，F(xiàn)）屬性的類型、長度等值型關(guān)系模型的基本概念關(guān)系的三種類型基本關(guān)系：客觀存在的基本表查詢表：由基本表按一定條件檢索得到的結(jié)果視圖（View）：從一個或多個基本關(guān)系上導(dǎo)出的關(guān)系。它不對應(yīng)實際的存儲數(shù)據(jù)，是一個虛關(guān)系，然而可永久存在。相當(dāng)于關(guān)系模型的外模式。

由于二維表的存儲策略非常簡單，關(guān)于數(shù)據(jù)庫的物理存儲完全由DBMS自動完成。因此，在關(guān)系模型中不需要與內(nèi)模式相應(yīng)的概念。關(guān)系簡單嗎？關(guān)系模型的基本概念關(guān)系操作種類：選擇、投影、連接、除、并、交、差增加、刪除、修改查詢操作維護操作一次一集合（關(guān)系型）一次一記錄（非關(guān)系型）2、非過程化語言：用戶只需告訴做什么（What）不需告訴怎么做（How）

3、數(shù)據(jù)定義、數(shù)據(jù)操縱、數(shù)據(jù)控制語言集成在一起DDLDMLDCL：權(quán)限控制、完整性控制等特點：

1、集合操作，一次操作可存取多個元組關(guān)系模型的基本概念關(guān)系模型的三類完整性

實體完整性（EntityIntegrity）

基本關(guān)系的所有主屬性不能取空值原因：基本關(guān)系

實體集實體必可區(qū)分（標識符）主關(guān)鍵字是唯一性標識，故不能空

參照完整性（ReferentialIntegrity），也叫引用完整性

若基本關(guān)系R含有與另一個基本關(guān)系S的主關(guān)鍵字相對應(yīng)的屬性組F（F稱為R的外鍵或外部碼），則R中每個元組在F上的值或為空值，或等于S中某個元組的主關(guān)鍵字值。關(guān)系模型的基本概念例：職工關(guān)系EMP（ENO，ENAME，DNO）部門關(guān)系DEPT（DNO，DNAME）DEPT的主鍵EMP的外鍵，只能取空值或DEPT中某關(guān)鍵字的值又如：學(xué)生關(guān)系（SNO，SNAME，AGE，SEX）課程關(guān)系（CNO，CNAME）選課關(guān)系（SNO，CNO，G）

用戶定義的完整性

用戶定義的某一屬性值必須滿足的語義要求。一經(jīng)定義，DBMS會自動檢查，從而不必在應(yīng)用程序中作檢查。關(guān)系模型的基本概念差（Difference）：R

S={t|t∈R∧t∈S}傳統(tǒng)的集合運算

并（Union）：R

S={t|t∈R∨t∈S}

交（Intersection）：R

S={t|t∈R∧t∈S}

關(guān)系代數(shù)的運算對象是關(guān)系，運算結(jié)果也為關(guān)系。其運算按運算符的不同可分為兩類。笛卡爾積（廣義）：R

S={trts|tr∈

R∧ts∈

S}關(guān)系代數(shù)專門的關(guān)系運算

選擇（Selection），又稱限制（Restriction）

(R)：F在關(guān)系R中選出滿足條件F的諸元組形成一個新關(guān)系。條件表達式

投影（Projection）（R）A：在R中選出若干屬性列組成一個新關(guān)系。屬性組投影后若有重復(fù)行，則自動保留一個從行的角度的運算從列的角度的運算關(guān)系代數(shù)當(dāng)為等號且A、B兩屬性相同時，稱為自然連接，記作連接（Join）RSAB：從兩個關(guān)系的笛卡爾積中選取屬性間滿足條件AB的元組。R中屬性S中屬性比較運算符說明：RSAB=

（RS）ABRS自然連接將去掉重復(fù)屬性連接是同時處理多個關(guān)系的重要運算若僅有為等號的條件,稱為等值連接關(guān)系代數(shù)1、3、2、？

除（Division）

R（X，Y）

S（Y，Z）：把R按X的值分組，若某

一組中屬性組Y的值包含S在 Y上投影的全部元組，則該X的值作

為商關(guān)系的一個元組屬性組例：求至少選修C1、C3課程的學(xué)生號碼設(shè)一臨時關(guān)系K：C#C1C3關(guān)系代數(shù)表達式（SC）K=S#，C#{S1，…}S#C#GS1C1AS1C2AS1C3AS1C5BS2C1BS2C2CS2C4CS3C2BS3C3CS3C4BS4C1BS4C3ASC：按S1分組關(guān)系代數(shù)？

除（Division）

R（X，Y）

S（Y，Z）：把R按X的值分組，若某

一組中屬性組Y的值包含S在 Y上投影的全部元組，則該X的值作

為商關(guān)系的一個元組屬性組例：求至少選修C1、C3課程的學(xué)生號碼設(shè)一臨時關(guān)系K：C#C1C3關(guān)系代數(shù)表達式（SC）K=S#，C#{S1，…}S#C#GS1C1AS1C2AS1C3AS1C5BS2C1BS2C2CS2C4CS3C2BS3C3CS3C4BS4C1BS4C3ASC：按S2分組關(guān)系代數(shù)？

除（Division）

R（X，Y）

S（Y，Z）：把R按X的值分組，若某

一組中屬性組Y的值包含S在 Y上投影的全部元組，則該X的值作

為商關(guān)系的一個元組屬性組例：求至少選修C1、C3課程的學(xué)生號碼設(shè)一臨時關(guān)系K：C#C1C3關(guān)系代數(shù)表達式（SC）K=S#，C#{S1，…}S#C#GS1C1AS1C2AS1C3AS1C5BS2C1BS2C2CS2C4CS3C2BS3C3CS3C4BS4C1BS4C3ASC：按S3分組關(guān)系代數(shù)

除（Division）

R（X，Y）

S（Y，Z）：把R按X的值分組，若某

一組中屬性組Y的值包含S在 Y上投影的全部元組，則該X的值作

為商關(guān)系的一個元組屬性組例：求至少選修C1、C3課程的學(xué)生號碼設(shè)一臨時關(guān)系K：C#C1C3關(guān)系代數(shù)表達式（SC）K=S#，C#{S1，S4}S#C#GS1C1AS1C2AS1C3AS1C5BS2C1BS2C2CS2C4CS3C2BS3C3CS3C4BS4C1BS4C3ASC：按S4分組關(guān)系代數(shù)關(guān)系代數(shù)運算舉例S：

S#SNSDSAS1ACS20S2BCS21S3CMA19S4DCI19S5EMA20S6FCS22C：

C#CNPC#C1GC2HC1C3IC2C4JC2C5KC4SC：S#C#GS1C1AS1C2AS1C3AS1C5BS2C1BS2C2CS2C4CS3C2BS3C3CS3C4BS4C2BS4C5DS5C2CS5C3BS5C5B求至少選修這樣一門課的學(xué)生姓名，這門課的直接先行課是C21、先找出先行課為C2的課程號：

（C），記為PCPC#=‘C2’2、找選修該類課程的學(xué)生學(xué)號：

記為PCSPC

（SC）S#，C#3、找出學(xué)生姓名：PCS

（S）S#，SN（）SN關(guān)系代數(shù)最終的關(guān)系代數(shù)表達式:

（）SN

（S）S#，SN

（C）PC#=‘C2’（SCS#，C#PCPCS說明：用關(guān)系代數(shù)表示查詢時，若查詢涉及多個關(guān)系，需用連接操作實現(xiàn)；若查詢諸如“選修了全部課程”的學(xué)生、“使用了全部零件”的工程等，需用除法操作實現(xiàn)。關(guān)系代數(shù)元組關(guān)系演算元組關(guān)系演算表達式：關(guān)系演算：基于謂詞演算面向元組：謂詞變量的獲得值是關(guān)系中的元組（元組變量）面向域：謂詞變量的獲得值是關(guān)系中某屬性的值（域變量）按謂詞變量的特征劃分{t|(t)}公式t為元組變量運算的結(jié)果還是一個關(guān)系關(guān)系演算語言原子公式R(t):表示t是關(guān)系R中的一個元組

t[i]

u[j]:表示t的第i個分量和u的第j個分量滿足比較關(guān)系

t[i]

C或C

t[i]

:含義同上,只不過C為常量

公式的遞歸定義每個原子公式是一個公式；設(shè)

1、2是公式，則

1、

12、

12也是公式；設(shè)

是公式，t是元組變量，則(t)、(t)也是公式；除此之外沒有其它形式的公式。關(guān)系演算語言S：

S#SNSDSA用關(guān)系演算來表達查詢

例1，求年齡大于或等于20的學(xué)生：S1ACS20S2BCS21S3CMA19S4DCI19S5EMA20S6FCS22S20={t|S(t)

t[4]

20}例2，求學(xué)生姓名及所在的系：S1={t(2)|(u)(S(u)t[1]=u[2]t[2]=u[3])}S1ACS20S2BCS21S3CMA19S4DCI19S5EMA20S6FCS22關(guān)系演算語言安全表達式：

不產(chǎn)生無限關(guān)系和無窮驗證的關(guān)系演算表達式。措施；進行安全限制。即規(guī)定一個有限的符號集（通常取關(guān)系的各屬性列中所有值的匯集）安全演算表達式的充分條件：設(shè)DOM(

)是適當(dāng)選定的一個有限集合,當(dāng)滿足下述條件時,元組演算表達式{t|(t)}是安全的:(1)如果t使(t)為真,則t的每個分量是DOM(

)中的元素;限定自由變量,保證結(jié)果的有限性關(guān)系演算語言

(2)對于(t)中每一個形如(u)(W(u))的子表達式,若u使W(u)為真,則u的每個分量是DOM(

)中的元素;(3)對于(t)中每一個形如(u)(W(u))的子表達式,若u使W(u)為假,則u的每個分量是DOM(

)中的元素;

換言之,若u的某一分量不屬于DOM(

),則W(u)為真限定約束變量,保證計算過程的有窮驗證性關(guān)系演算語言域關(guān)系演算語言——QBE

QBE是QueryByExample

的縮寫，1978年在IBM370上實現(xiàn)。特點用戶通過表格形式提出查詢，查詢結(jié)果也通過表格顯示出來用戶容易掌握，易學(xué)易用域關(guān)系演算與元組關(guān)系演算類似，只不過這里的變量取值范圍是屬性值，其謂詞變元稱作欲變量，關(guān)系的屬性名可視作欲變量。

關(guān)系代數(shù)、元組關(guān)系演算、域關(guān)系演算的表達能力是等價的。關(guān)系演算語言使用方法

（1）用戶提出使用要求（如鍵入某一命令）（2）機器顯示空白表格（3）用戶輸入關(guān)系名如學(xué)生關(guān)系SS（4）機器自動顯示屬性名S#SNSDSA關(guān)系演算語言使用方法（1）用戶提出使用要求（如鍵入某一命令）（2）機器顯示空白表格（3）用戶輸入關(guān)系名