关系模型之关系演算
- 关系元组演算公式
- 关系域演算
501 关系元组演算
SQL语言继承了关系代数和关系演算各自的优点所形成的
谓词变量（操作）:分为关系元组演算（元组变量）和关系域演算（域变量）
关系元组演算公式的完整定义
优先级：且运算>或运算
实际操作
公式简单，但是表达的查询语义要清楚！
503 存在量词和全称量词公式
理解运用
F(t)为条件
复杂关系的理解
元组演算的等价性变换
theta和非的等价
元组演算的思维：遍历整个关系，找到满足条件的元组
<>不等于符号
四个典型实例
域演算
定义
关系域演算和关系元组演算的比较
QBE:query by example域演算语言，高度非过程化的查询语言，适合终端用户的使用
示例元素
关系运算的安全性
关系代数是一个集合运算，是安全的。
关系演算不一定是安全的。
关系演算施加约束条件，保证其安全性
安全约束有限集合DOM
安全元组演算表达式
总结
- 关系运算
- 三种运算之间是等价的
- 设计数据库语言
