04 关系代数-zff.ppt

* 数据库原理与技术 数据库原理及应用 朱辉生(jssyzhs@) 数据库原理及应用 Principle and Technology of Database 关系代数 关系代数 关系代数是一种抽象的查询语言，用对关系的运算来表达查询。运算对象、运算结果和运算符是关系代数运算的三大要素。常用的关系代数运算符有： 集合运算符：将关系看成元组的集合，运算是从关系的“水平”方向即行的角度来进行，有并、差、交、广义笛卡尔积四种运算符。 专门的关系运算符：不仅涉及行而且涉及列，有选择、投影、连接、除四种运算符。 算术比较符：辅助专门的关系运算符进行操作，有等于、不等于、大于、小于、不大于、不小于六种运算符。 逻辑运算符：辅助专门的关系运算符进行操作，有逻辑与、非、或三种。 传统的集合运算 并(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） 广义笛卡尔积(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 } A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 a1 b3 c2 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R∪S A B C a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 R－S R∩S A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 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 R S R × S 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 2.4 关系代数 传统的集合运算 专门的关系运算 掌握选择、投影、连接、除等专门的关系运算 专门的关系运算 常用符号 R,t?R,t[Ai] ：设关系模式R(A1,A2,…,An)的一个关系为R。t?R表示t是R的一个元组，t[Ai]则表示元组t中相应于属性Ai的一个分量。 A,t[A],A ：若A={Ai1,Ai2,…,Aik}，Ai1,Ai2,…,Aik是A1,A2,…,An中的一部分，则A称为属性列或域列。t[A]=(t[Ai1],,…,t[Aik])表示元组t在属性列A上诸分量的集合。 A则表示{A1,A2,…,An}中去掉{Ai1,Ai2,…,Aik}后剩余的属性组。 tr ts:：R为n目关系，S为m目关系。tr ?R，ts?S， tr ts称为元组的连接。它是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。 象集(Images Set) Zx：给定一个关系R(X,Z)，X和Z为属性组。当t[X]=x时，x在R中的象集为：Zx={t[Z]|t ?R，t[X]=x} ，它表示R中属性组X上值为x的诸元组在Z上分量的集合。 选择(Selection)：是从行的角度进行的运算，在关系R中选择满足给定条件的诸元组，记为σF(R) = {t|t?R∧F(t)= ‘真’}，其中F是选择运算符，是一个逻辑表达式。 设学生-课程数据库包括关系Student、Course和SC [例1]查询信息系（IS系）全体学生。 σSdept = ‘IS’ (Student) 或 σ5 =IS (Student) [例2]查询年龄小于20岁的学生。 σSage 20(Student) 或 σ4 20(Student) Sno Sname Ssex Sage Sdept 95002 刘晨 女 19 IS 95