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

第3章關(guān)系數(shù)據(jù)庫3.1關(guān)系模型概述基本數(shù)據(jù)模型的組成要素關(guān)系的數(shù)據(jù)結(jié)構(gòu):關(guān)系關(guān)系操作包括:選擇（select）、投影（project）、連接（join）等等關(guān)系的三類完整性約束:實體完整性、參照完整性、用戶定義完整性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ù)庫模式與關(guān)系數(shù)據(jù)庫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)表達方式，它是用對關(guān)系的運算來表達查詢的。

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

專門的關(guā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中選取若干個元組，組成一個新關(guān)系.F為選擇的條件，是一個邏輯表達式，結(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ǔ)按謂詞變元不同進行分類1.元組關(guān)系演算：以元組變量作為謂詞變元的基本對象元組關(guān)系演算語言ALPHA2.域關(guān)系演算：以域變量作為謂詞變元的基本對象域關(guān)系演算語言QBE3.6關(guān)系演算1.元組關(guān)系演算

在元組演算系統(tǒng)中稱{t|φ(t)}為元組演算表達式，其中t為元組變量，且為自由變元，φ(t)為元組關(guā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īng)的域變量來描述，域演算的謂詞變元是域變量，域演算表達式的一般形式為：