数据库——元组关系演算

元组关系演算

概述

• 元组：表示关系表中的记录
• 元组变量：关系表中的某一条记录。
• 元组关系演算公式: 表示的关系表。

在元组关系演算系统中，称 {t|Φ(t)} 为元组演算表达式。其中 t 是元组变量， Φ(t) 为元组关系演算公式，简称公式。
它由原子公式和运算符组成。

种类

这是一张user表

第一种R(t)

用元组演算表达式表示出来，是这样 {t|user(t)}，用t表示某条记录，用user(t)表示t是关系表user表中的一条记录。

这里的{t|user(t)}用于描述元组是属于哪张关系表（数据表）。

第二种t[i] θ u[j]

t 和 u 是元组变量， θ 是算术比较运算符。 t[i] θ u[j] 表示断言 “ 元组 t 的第 i 个分量与元组 u 的第 j 个分量满足比较关系 θ ” 。例如， t[2] < u[3] 表示元组 t 的第 2 个分量小于元组 u 的第 3 个分量。

两个元组中分量的比较（我们已经知道元组是关系表的一条记录，元组中分量是记录中的一个属性的值），也就是比较两个记录中某个属性。

第三种t[i] θ c 或 c θ t[i]

    这里 c 是常量，该公式表示 “t 的第 i 个分量与常量 C 满足比较关系 θ” 。例如： t[4]=3 表示元组 t 的第 4 个分量等于 3 。