第三章 关系代数及关系运算.doc

第三章 关系代数与关系运算 关系数据语言有三类： 1．关系代数语言 2．关系演算语言（元组关系演算语言、域关系演算语言） 3．具有关系代数和关系演算双重特点的语言 如SQL 一．关系代数 关系代数：一种抽象的查询语言，是关系数据操纵语言的一种传统表达方式。用对关系的运算来表达查询。 运算：将一定的运算符作用于一定的运算对象上，得到预期的运算结果 运算三要素：运算符、运算对象、运算结果 关系代数的运算对象和结果都是：关系 关系代数运算符（四类）：集合运算符、专门的关系运算符、算术比较符和逻辑运算符 集合运算符：并（U）、差（—）、交（∩） 传统的集合运算符——从关系的“水平“方向即行的角度来进行 专门的关系运算符：广义笛卡尔积（ⅹ）、选择（σ）、投影（π）、连接、除 专门关系运算符不仅涉及行而且涉及列 比较运算符：、、=、≥、≤、≠ 逻辑运算符：￢∧∨ 用来辅助专门的关系运算符 二．传统的集合运算符 传统集合运算符是二目运算符 设关系R和S具有相同的目n(即n个属性),且相应的属性取自同一个域 1．并（Union）（c） （d） 关系R与S的差记作：R-S={t|t∈R∧t∈S} 结果仍是n目，由属于R而不属于S的所有元组组成。 如图E 3.交 关系R与S的交记作：R∩S = { t | t∈R ∧t∈S } 结果仍是n目，由即属于R又属于S的所有元组组成。如图D 可以用差来表示 R∩S=R-(R-S) 4．广义笛卡尔积 两个分别为n目和m目的关系R和S的广义笛卡尔积是一个（m+n）列的元组的集合。元组的前n列是关系R的一个元组，后m列是关系S的一个元组。若R有k1个元组，S有k2个元组，那么关系R与S的广义笛卡尔积有k1 x k2个元组，记作 R×S = { trts | tr∈R ∧ts∈S } 结果是m+n目 如图例  总结：集合运算符主要研究的是元组，即对表中的行进行研究、操作。 三．专门的关系运算符 包括选择、投影、连接、除等，为叙述上方便引入几个记号 1）设关系模式为R(A1,A2,…，An)。它的一个关系为R。t∈R表示t是R的一个元组。t［Ai］则表示元组t中相应于属性Ai的一个分量 关系R（A,B,C）中 t[B2]=b2 2）若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或域列。t［A］=（t［Ai1］，t［Ai2］…，t［Aik］）表示元组t在属性列A上诸分量的集合。A则表示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组。 3)R是n目关系，S是m目关系。tr∈R，ts∈S，trts 称为元组的连接（Concatenation）。它是一个 n＋m列的元组，前n个分量为R中的一个 n元组，后m个分量为S中的一个m元组。]=x时，x在R中的象集为： Zx ={ t［Z］ | t ∈ R，t[X] = x } 它表示R中属性组X上值为x的诸元组在Z上分量的集合。）бF（R）= { t | t ∈ R ∧ F(t) =’真’ }σSage20 (Student) 或σ420(Student) 结果如下图 对应的SQL语句为：SELECT * FROM Student WHERE Sage20; 2.投影（从列的角度进行运算） 关系R上的投影是从R中选择若干属性列组成新的关系：记作πA（R）= { t[A] | t∈R } 1 3 综合练习： 例7：查询至少选修1号课程和3号课程的学生学号. 先建立一个临时关系K，然后求：πSno,Cno(SC)÷K 结果为{95001} 例8：查询选修了2号课程的学生的学号 πSno(бcno=’2’(SC))={ 95001,95002 } 例9：查询至少选修了一门其直接先行课为5号课程的学生的姓名 分解：先查询先行课为5号课程的课程，然后再查询选修的学生 πSname,(бCpno=’5’(Course) |×| SC |×|πSno,Sname(Student)) 或 πSname,( πSno(бCpno=’5’(Course) |×| SC) |×|πSno,Sname(Student)) 例10：查询选修了全部课程的学生学号和姓名 πSno,Cno(SC) ÷ πCno(Course) |×| πSno,Sname(Student) 课下练习、作业 总结：掌握各种运算符的运算规则和使用方法 四、关系演算只要给学生讲解概念就可，具体的运算语言不作讲解 关系演算以数理逻辑谓词为基础的。 分为：元组关系演算和域关系演算 以元组为变量的关系演算称为元组关系