第2章--关系模型和关系代数.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * ⑵ 专门的关系运算符 不仅涉及行而且涉及列。 ⑶ 算术比较符：辅助专门的关系运算符进行操作。 ⑷ 逻辑运算符：辅助专门的关系运算符进行操作。 相应的各类运算符如下表2.2所示。 运算符 含义 运算符 含义 集合 运算符 ∪ 并 比较 运算符 大于 - 差 ≥ 大于等于 ∩ 交 小于 × 广义笛卡尔集 ≤ 小于等于 = 等于 ≠ 不等于 专门的关系运算符 σ 选择 逻辑 运算符 ? 非 π 投影 ∧ 与 ? 连接 ∨ 或 ÷ 除 表2.2 关系代数运算符 2.2.1 传统的集合运算 设有两个关系R和S，具有相同的目n(即两个关系都有n个属性)，相应的属性取自同一个域。 1 并(Union) 仍为n目关系，由属于R或属于S的元组构成的集合。 R∪S = { t|t ? R∨t ?S } R、S、R∪S是同类关系。 A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 R A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 S A B C a1 b1 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 R∪S 2 交(Intersection) 仍为n目关系，由同时属于R和S的元组构成的集合。 R∩S = { t|t ? R∧t ?S } R、S、R∩S是同类关系。 A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 R A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 S A B C a1 b2 c2 a2 b2 c1 R∩S 3 差(Difference) 为n目关系，由属于R但不属于S的元组构成的集合。 R-S = { t|t ? R∧t?S } R、S、R-S是同类关系。 A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 R A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 S A B C a1 b1 c1 R-S 4 广义笛卡尔积(Extended Cartesian Product) 设关系R是n目关系，有k1个元组，S是m目关系，k2个元组，则R和S的广义笛卡尔积R×S是一个n+m目关系，有k1×k2个元组的集合。每个元组的前n个分量(列)是关系R的一个元组，后m个分量(列)是关系S的一个元组。 ⌒ R×S = {tr ts |tr ?R ∧ ts?S } A B C a1 b1 c1 a1 b1 c1 a1 b1 c1 a1 b2 c2 a1 b2 c2 a1 b2 c2 a2 b2 c1 a2 b2 c1 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 R×S A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S 2.2.2 专门的关系运算 ■ 表示记号 ⑴ 设关系模式为R(A1，A2，…，An) ，该模式的一个关系设为R。t?R表示t是R的一个元组，t[Ai] 则表示元组t中对应于属性Ai的一个分量。 ⑵ 若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或域列。t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元组t在属性列A上诸分量的集合。 则表示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组。 A ⑶ R为n目关系，S为m目关系。tr?R，ts?S， 称为元组的连接。它是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。 ⑷ 象集Zx 给定一个关系R（X，Z），X和Z为属性组。当t[X]=x时，x在R中的象集(Images Set)为： Zx={t[Z]|t ?R，t[X]=x} 它表示R中属性组X上值为x的诸元组在属性组