5.1 關係元組演算
1、概述
例如：R∪S = { r | r∈R ∨ r∈S}
R - S = { r | r∈R ∧ r∈S}
- 關係演算是以數理邏輯中的謂詞演算爲基礎的
- 關係演算是描述關係運算的另一種思維方式
- SQL語言是繼承了關係代數和關係演算各自的優點所形成
按照謂詞變量的不同，可分爲關係元組演算和關係域演算
- 關係元組演算是以元組變量作爲謂詞變量的基本對象
- 關係域演算是以域變量作爲謂詞變量的基本對象
2、關係元組演算公式的形式
3、關係元組演算的完整定義
5.2 原子公式及與、或、非
1、原子公式
P(t)可以是如下三種形式之一的原子公式
2、之與、或、非運算符
3、運算符的次序及語義正確性
5.3 存在量詞與全稱量詞
5.4 語義正確性與等價性變換
1、元組演算的等價性變換
5.5 四個典型示例
元組演算公式與關係代數對比應用的例子
1、“全都學過”
2、“全沒學過”
3、“至少有一學過”
4、“至少有一沒學過”
5.6 將關係代數轉換爲元組演算
1、元組演算公式與關係代數的等價性
2、元組演算公式總結
5.7 關係域演算
1、關係域演算公式
2、關係域演算公式構造示例
3、關係域演算與關係元組演算的比較
5.8 基於關係域演算的QBE語言
1、關係域演算語言QBE
2、QBE的基本形式
3、QBE的操作命令
4、QBE的簡單條件書寫
5.9 QBE應用訓練
1、用QBE進行“查詢”的構造
2、用QBE實現關係代數
關係代數的並、差、乘積、選擇和投影運算可以用QBE來實現
5.10 關係演算的安全性
1、關係運算的安全性
2、關係演算的約束
3、安全元組演算表達式
4、安全域演算表達式
5.11 關係運算比較
小結
