4.4关系代数.ppt

4.4 关系代数; (1) 传统的集合运算： 并、 差、 交和广义笛卡尔积,其运算符号分别为∪、 －、 ∩和×。 (2) 特殊的关系运算： 投影,选择,连接和除,其运算符分别为π、 σ、 和÷。 ? 在两类集合运算中,还将用到两类辅助操作符： (1) 比较运算符： ＞、 ≥、 ＜、 ≤、 ＝、 ≠。 (2) 逻辑运算符： ∨（或）、 ∧（与）、 （非）。 ; 4.4.1 传统的集合运算 传统的集合运算是二目运算。 设关系R和S的目都是n（都有n个属性）,且相应属性取自同一域,则 (1) 关系R和S的并（Union）为 R∪S =｛t|t∈R∨t∈S｝ 其含义为： 任取元组t,当且仅当t属于R或t属于S时,t属于R∪S。 R∪S是一个n目关系。 ; (2) R和S的差（Difference）为 R-S =｛t|t∈R∧tS｝ 其含义为： 当且仅当t属于R并且不属于S时,t属于R-S。 R-S也是一个n目关系。 (3) R和S的交（Intersection）为 R∩S=｛t|t∈R∧t∈S｝ 其含义为： 当且仅当t既属于R又属于S时,t∈R∩S。 ; (4) 广义笛卡尔积（Extended Cartesian Product） 广义笛卡尔积不要求参加运算的两个关系具有相同的目（自然也就不要求来自同样的域）。  设R为n目关系,S为m目关系,则R和S的广义笛卡尔积为 R×S =｛tr ts |tr∈R∧ts∈S｝  tr ts表示由两个元组tr和ts前后有序连接而成的一个元组。 任取元组tr和ts,当且仅当tr属于R且ts属于S时,tr和ts的有序连接即为R×S的一个元组。 ; R和S的广义笛卡尔积是一个（n+m）目的关系。 其中任何一个元组的前n列是关系R的一个元组,后m列是关系S的一个元组。 若R有K1个元组,S有K2个元组,则R×S有K1×K2个元组。 实际操作时,可从R的第一个元组开始,依次与S的每一个元组组合,然后,对R的下一个元组进行同样的操作,直至R的最后一个元组也进行完同样的操作为止,即可得到R×S的全部元组。 ; 例 4.2 表 4 ― 2 给出了两个关系R和S,以及它们进行并、差、 交和笛卡尔积后的结果关系。 ; 4.4.2 专门的关系运算 专门的关系运算包括投影、 选择、 连接、 自然连接和除等。 投影和选择是一元操作,其他是二元操作。 一、 投影（Projection） 设属性名表中的所有属性都是关系R的属性,则R在属性名表上的投影为R中各元组只保留在属性名表上的诸分量后形成的新关系（但重复元组只能保留一个）,记为 ∏属性名表（R） ; 投影的实际操作方法为： 从R中逐次取出一个元组,首先,去掉不在属性名表上的诸属性值,接着,按属性名表的次序重新排列剩下各分量后,作为一个新元组送入投影结果（但若投影结果关系中已有此元组,则必须舍弃之）。 投影不仅仅取消了原关系中的某些列,还可能会去掉某些元组（有重复时）,还可以改变属性列的排列次序,例如： ∏Dno, Title（Employee） 即表 2 ― 1 中表(一)所示的职工表在部门号和职称两属性列上的投影,结果见表 4 ― 3。;表 4 ― 3 职工表在部门号和职称上的投影 ; 投影表达式中,可用属性在原关系中的序号代替属性名。 如上述投影表达式等价于 ∏7, 6（Employee） 二、 选择（Selection） 选择运算是在一个关系中,选取符合某给定条件的全体元组,生成的新关系,记为 σ条件（关系名） 条件是个布尔表达式,例如：