第六讲关系代数理论.pptVIP

* * * * * * * * * 连接(续) 等值连接 R S R.B=S.B A R.B C S.B E a1 b1 5 b1 3 a1 b2 6 b2 7 a2 b3 8 b3 10 a2 b3 8 b3 2 连接(续) 自然连接 R S A B C E a1 b1 5 3 a1 b2 6 7 a2 b3 8 10 a2 b3 8 2 4. 除（Division） 给定关系R (X，Y) 和S (Y，Z)，其中X，Y，Z为属性组。 R中的Y与S中的Y可以有不同的属性名，但必须出自相同 的域集。R与S的除运算得到一个新的关系P(X)，P是R中 满足下列条件的元组在X属性列上的投影：元组在X上分 量值x的象集Yx包含S在Y上投影的集合。 R÷S = {tr [X] | tr ? R∧πY (S) ? Yx } Yx：x在R中的象集，x = tr[X] 除(续) 2）除操作是同时从行和列角度进行运算 ? ÷ R S 除(续) A B C a1 b1 c2 a2 b3 c7 a3 b4 c6 a1 b2 c3 a4 b6 c6 a2 b2 c3 a1 b2 c1 B C D b1 c2 d1 b2 c1 d1 b2 c3 d2 R÷S A a1 R S 小结 l?关系代数运算 关系代数运算 并、差、交、笛卡尔积、投影、选择、连接、除 基本运算 并、差、笛卡尔积、投影、选择 交、连接、除 可以用5种基本运算来表达 引进它们并不增加语言的能力，但可以简化表达 * * * * * * * * * * * * * * * * * * * * * * * * * * 第六讲 关系代数理论 关系数据库模型（3） 关系数据操作 关系数据模型的操作 查询 选择、投影、连接、除、并、交、差 数据更新 插入、删除、修改 关系代数 概述 传统的集合运算 专门的关系运算 概述 1.关系代数 一种抽象的查询语言 用对关系的运算来表达查询 概述(续) 2．关系代数运算的三个要素 运算对象：关系 运算结果：关系 运算符：四类 概述(续) 集合运算符 将关系看成元组的集合 运算是从关系的“水平”方向即行的角度来进行 专门的关系运算符 不仅涉及行而且涉及列 算术比较符 辅助专门的关系运算符进行操作 逻辑运算符 辅助专门的关系运算符进行操作 集合 运算 符 ∪ - ∩ × 并 差 交 广义笛卡尔积 比较运算符 ＞ ≥ ＜ ≤ ＝ ≠ 大于 大于等于 小于 小于等于 等于 不等于 运算符 含义 运算符 含义 表1 关系代数运算符 概述(续) 专门的关系 运算符 σ π ? ÷ 选择 投影 连接 除 逻辑运算符 ? ∧ ∨ 非 与 或 运算符 含义 运算符 含义 表 关系代数运算符（续） 概述(续) 概述(续) 4．关系代数运算的分类 传统的集合运算 并、差、交、广义笛卡尔积 专门的关系运算 选择、投影、连接、除 传统的集合运算 并 差 交 广义笛卡尔积 1. 并（Union） R和S 具有相同的目n（即两个关系都有n个属性） 相应的属性取自同一个域 R∪S 仍为n目关系，由属于R或属于S的元组组成 R∪S = { t|t ? R∨t ?S } 并(续) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R∪S 2. 差（Difference） R和S 具有相同的目n 相应的属性取自同一个域 R - S 仍为n目关系，由属于R而不属于S的所有元组组成 ?R -S = { t|t?R∧t?S } 差(续) A B C a1 B1 c1 a1 B2 c2 a2 B2 c1 A B C a1 b1 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R-S 3. 交（Intersection） R和S 具有相同的目n 相应的属性取自同一个域 R∩S 仍为n目关系，由既属于R又属于S的元组组成 R∩S = { t|t ? R∧t ?S } R∩S = R –(R-S） 交 (续) A B