关系元组演算
(1)概述
前面出现过关系演算形式 如，并运算定义中：RS = { r | rRrS} 再如，差运算定义中：RS = { r | rRr S } 关系演算是以数理逻辑中的谓词演算为基础的 关系演算是描述关系运算的另一种思维方式 SQL语言是继承了关系代数和关系演算各自的优点所形成的 按照谓词变量的不同，可分为关系元组演算和关系域演算 关系元组演算是以元组变量作为谓词变量的基本对象 关系域演算是以域变量作为谓词变量的基本对象。
(2)关系元组演算公式的形式
关系元组演算公式的基本形式：
{t | P(t) }
上式表示：所有使谓词P 为真的元组t 的集合 t 是元组变量 t r 表示元组t 在关系r 中 t [A] 表示元组t 的分量，即t 在属性A 上的值 P 是与谓词逻辑相似的公式, P(t)表示以元组t 为变量的公式 P(t)可以如下递归地进行定义
(3)关系元组演算公式的完整定义
关系元组演算公式的基本形式：{ t | P(t) } 其中公式P(t)可以递归地进行构造：
三种形式的原子公式是公式

image.png

image.png

也是公式

image.png

image.png

image.png

image.png

公式只限于以上形式