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