Ⅰ.关系元组演算
1.基本公式: { t | P(t) }
①三种原子公式
s∈R
s[A] θ c // θ 比较运算符
s[A] θ u[B]
②若p为公式,非p也是公式
③若p1,p2是公式,则p1与p2,p1或p2也是公式
2.应用
3.存在量词和全称量词
验证
4.等价性变换
![image image](https://img2018.cnblogs.com/blog/1666206/201904/1666206-20190421120711923-559970036.png)
![image image](https://img2018.cnblogs.com/blog/1666206/201904/1666206-20190421120713131-1385434302.png)
5.四种典型例子
①全都学过
②全没学过
③至少学过一门
④至少有一门没学过
Ⅱ.关系域演算
2.域演算语言QBE(Query By Example)
②操作命令
Print(P.) 输出
Delete(D.) 删除
Insert(I.) 插入
Update(U.)更新
3.查询条件--简单条件
①可以直接在查询条件区中书写,形式为θ参量
②θ可以是<><=>=<>;如果省略θ,则为=
③θ参量中的参量可以是 常量,直接书写
④不同属性的与条件可以写在同一行
⑤示例元素 实现 与 和 或 运算
⑥相当于括号的表示
⑦用示例元素实现多个表的链接
3.应用
实现关系代数操作