數(shù)據(jù)庫(kù)第3章關(guān)系數(shù)據(jù)庫(kù)

第3章關(guān)系數(shù)據(jù)庫(kù)3.1關(guān)系模型概述基本數(shù)據(jù)模型的組成要素關(guān)系的數(shù)據(jù)結(jié)構(gòu):關(guān)系關(guān)系操作包括:選擇（select）、投影（project）、連接（join）等等關(guān)系的三類完整性約束:實(shí)體完整性、參照完整性、用戶定義完整性3.1關(guān)系模型概述3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)

3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)

6）外部關(guān)系鍵3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)關(guān)系數(shù)據(jù)庫(kù)模式與關(guān)系數(shù)據(jù)庫(kù)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.2關(guān)系數(shù)據(jù)結(jié)構(gòu)3.3關(guān)系的完整性3.3關(guān)系的完整性3.3關(guān)系的完整性3.3關(guān)系的完整性3.3關(guān)系的完整性3.4關(guān)系操作3.5關(guān)系代數(shù)關(guān)系代數(shù)是一種抽象的查詢語言，是關(guān)系數(shù)據(jù)操縱語言的一種傳統(tǒng)表達(dá)方式，它是用對(duì)關(guān)系的運(yùn)算來表達(dá)查詢的。

關(guān)系代數(shù)的運(yùn)算對(duì)象是關(guān)系，運(yùn)算結(jié)果也是關(guān)系。關(guān)系代數(shù)的運(yùn)算有：集合運(yùn)算符、專門的關(guān)系運(yùn)算符、比較運(yùn)算符和邏輯運(yùn)算符。3.5關(guān)系代數(shù)集合運(yùn)算符：∪(并運(yùn)算)，-(差運(yùn)算)，∩(交運(yùn)算)，×(廣義笛卡兒積)。專門的關(guān)系運(yùn)算符：σ(選擇)，π(投影)，(連接)，÷(除)。比較運(yùn)算符：>(大于)，≥(大于等于)，<(小于)，≤(小于等于)，=(等于)，≠(不等于)。邏輯運(yùn)算符：￢(非)，∧(與)，∨(或)。3.5關(guān)系代數(shù)傳統(tǒng)的集合運(yùn)算3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)專門的關(guān)系運(yùn)算

專門的關(guān)系運(yùn)算包括選擇、投影、連接和除法運(yùn)算。3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)含義:根據(jù)一定的條件在給定的關(guān)系R中選取若干個(gè)元組，組成一個(gè)新關(guān)系.F為選擇的條件，是一個(gè)邏輯表達(dá)式，結(jié)果為邏輯值“真”或“假”3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)投影之后不僅取消了原關(guān)系中的某些列，而且還可能取消某些元組（避免重復(fù)行）3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.5關(guān)系代數(shù)3.6關(guān)系演算關(guān)系演算以數(shù)理邏輯中的謂詞演算為基礎(chǔ)按謂詞變?cè)煌M(jìn)行分類1.元組關(guān)系演算：以元組變量作為謂詞變?cè)幕緦?duì)象元組關(guān)系演算語言ALPHA2.域關(guān)系演算：以域變量作為謂詞變?cè)幕緦?duì)象域關(guān)系演算語言QBE3.6關(guān)系演算1.元組關(guān)系演算

在元組演算系統(tǒng)中稱{t|φ(t)}為元組演算表達(dá)式，其中t為元組變量，且為自由變?cè)?，?t)為元組關(guān)系演算公式，簡(jiǎn)稱公式，它由原子公式和運(yùn)算符組成

3.6關(guān)系演算3.6關(guān)系演算3.6關(guān)系演算3.6關(guān)系演算3.6關(guān)系演算2.域關(guān)系演算類似于元組運(yùn)算，只不過公式中的變量用元組各分量對(duì)應(yīng)的域變量來描述，域演算的謂詞變?cè)怯蜃兞?，域演算表達(dá)式的一般形式為：