数据库基础5 关系演算

“关系代数是基于集合的查询”

“关系演算是基于逻辑的查询”

他们共同构成了数据库结构化查询语言SQL的基础

关系演算概述

关系演算是以谓词演算为基础的

 

关系元组演算

1.公式的递归构造

sitar：比较运算（>、<、>=、<=、!=、==）

只有这几条之内的，属于【公式】

所有公式都是由以上基本公式构成的

 

2.元组演算公式的运用

使用基本原子公式来构造公式

应用示例

还是用一个元组t的集合来表示“查询”

使用与&&连接的公式

使用或||连接的公式

需要注意逻辑运算符的优先级顺序

3.存在量词与全称量词

模拟一种【遍历验证】的操作

然后再用与&&把所有验证连接在一起就好了（笑）

使用这样【号码相同验证】来连接两个表

整体逻辑表达思路与计算机编程语言完全相同

 

4.演算的等价变换公式

(1)非可以转化为不等于!=

 

(2)德摩根律（对偶律）：

与的非 = 非的或

或的非 = 非的与

 

(3)存在与全称的等价变换

存在满足 = 非（全部不满足）

全部满足 = 非（存在不满足）