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 关系运算比较
小结
