关系代数分析和总结.docxVIP

关系代数 概 述 运算符含义运算符含义表 运算符 含义 运算符 含义 集合 ∪ 并 比 较＞ 大于 运算 - 差 运 算≥ 大于等于 符 ∩ 交 符 ＜ 小于 × 笛卡尔积 ≤ 小于等于 ＝ 等于 不等于 表 2.4 关系代数运算符（续） 运算符 含义 运算符 含义 专门的关系运算符 σ π 选择投影 逻辑运算符 ? ∧ 非与 连接 ∨ 或 ÷ 除 传统的集合运算 并（Union） R 和 S 具有相同的目 n（即两个关系都有 n 个属性） 相应的属性取自同一个域 R∪S 仍为 n 目关系，由属于 R 或属于 S 的元组组成 R∪S = { t|t ? R∨t ?S } 差（Difference） R 和 S 具有相同的目 n 相应的属性取自同一个域 R - S 仍为 n 目关系，由属于 R 而不属于 S 的所有元组组成R -S = { t|t?R∧t?S } 交（Intersection） R 和 S 具有相同的目 n 相应的属性取自同一个域 R∩S 仍为 n 目关系，由既属于 R 又属于 S 的元组组成 R∩S = { t|t ? R∧t ?S } R∩S = R –(R-S） 笛卡尔积（Cartesian Product） 严格地讲应该是广义的笛卡尔积（Extended Cartesian Product） R: n 目关系，k1 个元组 S: m 目关系，k2 个元组 R×S 列：（n+m）列元组的集合 元组的前 n 列是关系 R 的一个元组 后 m 列是关系 S 的一个元组 行：k1×k2 个元组 R×S = {tr ts |tr ?R ∧ ts?S } 专门的关系运算 象集 Zx 给定一个关系 R（X，Z），X 和 Z 为属性组。 当 t[X]=x 时，x 在 R 中的象集（Images Set）为： Zx={t[Z]|t ?R，t[X]=x} 它表示 R 中属性组 X 上值为 x 的诸元组在 Z 上分量的集合 选择（Selection） 1) 选择又称为限制（Restriction） 2) 选择运算符的含义 在关系 R 中选择满足给定条件的诸元组 o F(R) = {t|t?R∧F(t)= 真} F：选择条件，是一个逻辑表达式，基本形式为： X1θ Y1 3) 选择运算是从关系 R 中选取使逻辑表达式 F 为真的元组，是从行的角度进行的运算 投影（Projection） 2）投影操作主要是从列的角度进行运算 π 但投影之后不仅取消了原关系中的某些列，而且还可能取消某些元组（避免重复行） 连接（Join） 1）连接也称为θ 连接 2）连接运算的含义 从两个关系的笛卡尔积中选取属性间满足一定条件的元组 R S = { | tr ? R∧ts ?S∧tr[A]θ ts[B] } A 和 B：分别为 R 和 S 上度数相等且可比的属性组 θ ：比较运算符 连接运算从 R 和 S 的广义笛卡尔积 R×S 中选取（R 关系）在A 属性组上的值与（S 关系）在 B 属性组上值满足比较关系θ 的元组 自然连接（Natural join） 自然连接是一种特殊的等值连接 两个关系中进行比较的分量必须是相同的属性组 在结果中把重复的属性列去掉自然连接的含义 R 和 S 具有相同的属性组 B R S = { | tr ?R∧ts ?S∧tr[B] = ts[B] } 4）一般的连接操作是从行的角度进行运算。 R S A θ B 自然连接还需要取消重复列，所以是同时从行和列的角度进行运算。 2）除操作是同时从行和列角度进行运算 R ÷ ÷ S 小结 关系代数运算 关系代数运算 并、差、交、笛卡尔积、投影、选择、连接、除 基本运算 并、差、笛卡尔积、投影、选择 交、连接、除 可以用 5 种基本运算来表达 引进它们并不增加语言的能力，但可以简化表达