“关系代数是基于集合的查询”
“关系演算是基于逻辑的查询”
他们共同构成了数据库结构化查询语言SQL的基础
关系演算概述
关系演算是以谓词演算为基础的
关系元组演算
1.公式的递归构造
sitar:比较运算(>、<、>=、<=、!=、==)
只有这几条之内的,属于【公式】
所有公式都是由以上基本公式构成的
2.元组演算公式的运用
使用基本原子公式来构造公式
应用示例
还是用一个元组t的集合来表示“查询”
使用与&&连接的公式
使用或||连接的公式
需要注意逻辑运算符的优先级顺序
3.存在量词与全称量词
模拟一种【遍历验证】的操作
然后再用与&&把所有验证连接在一起就好了(笑)
使用这样【号码相同验证】来连接两个表
整体逻辑表达思路与计算机编程语言完全相同
4.演算的等价变换公式
(1)非可以转化为不等于!=
(2)德摩根律(对偶律):
与的非 = 非的或
或的非 = 非的与
(3)存在与全称的等价变换
存在满足 = 非(全部不满足)
全部满足 = 非(存在不满足)