标签：关系 演算 数据库 基础 元组 公式 连接

“关系代数是基于集合的查询” “关系演算是基于逻辑的查询” 他们共同构成了数据库结构化查询语言SQL的基础

关系演算概述

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

关系元组演算

1.公式的递归构造

sitar：比较运算（>、<、>=、<=、!=、==） 只有这几条之内的，属于【公式】 所有公式都是由以上基本公式构成的  

2.元组演算公式的运用

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

应用示例

还是用一个元组t的集合来表示“查询” 使用与&&连接的公式 使用或||连接的公式 需要注意逻辑运算符的优先级顺序

3.存在量词与全称量词

模拟一种【遍历验证】的操作 然后再用与&&把所有验证连接在一起就好了（笑） 使用这样【号码相同验证】来连接两个表 整体逻辑表达思路与计算机编程语言完全相同  

4.演算的等价变换公式

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

 

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

与的非 = 非的或 或的非 = 非的与  

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

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

标签：关系,演算,数据库,基础,元组,公式,连接
From： https://www.cnblogs.com/jk-2048/p/18030598