最新第三章关系范式规范化理论PPT课件.ppt

《最新第三章关系范式规范化理论PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三章关系范式规范化理论1.关系代数概述传统的集合运算专门的关系运算2概述1.关系代数:一种抽象的查询语言，用对关系的运算来表达查询3.关系代数运算的三个要素：2.运算的三要素：运算对象，运算符，运算结果4.关系代数运算的分类：运算对象－关系，运算结果－关系，运算符－四类传统的集合运算－并、差、交、广义笛卡尔积专门的关系运算－选择、投影、连接、除3并(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b2c2a1b3c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR∪S72.差（Difference）设关系R和S：具有相同的目n（即两个关系都有n个属性）

2、相应的属性取自同一个域则：2）关系R和S的差记为：R-S={t

3、tR∧tS}结果仍为n目关系，由属于R而不属于S的元组组成8差(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1ABCa1b2c2a1b3c2a2b2c1RSR-S93.交（Intersection）设关系R和S：具有相同的目n（即两个关系都有n个属性）相应的属性取自同一个域则：3）关系R和S的交记为：R∩S={t

4、tR∧tS}用差表示：R∩S=R–(R-S）仍为n目关系，由既属于R又属于S的元组组成10交(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a2b2c1ABCa1b2c

5、2a1b3c2a2b2c1RSR∩S114.广义笛卡尔积（ExtendedCartesianProduct）有2个关系R和S，若关系R：n目关系（有n个属性），有k1个元组关系S：m目关系（有m个属性），有k2个元组则：关系R和S的广义笛卡尔积记作：R×S={trts

6、trR∧tsS}共有k1×k2个元组（行）,每个元组有n＋m列：前n列是关系R的一个元组后m列是关系S的一个元组12广义笛卡尔积(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b1c1a1b1c1a1b2c2a1b2c2a1b2c2a2b2c1a2b2c1a2b2c1ABCa1b2c2a1b3c

7、2a2b2c1RSR×SABCa1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1131.2专门的关系运算概述传统的集合运算专门的关系运算选择投影连接除14常用的几个记号（1）R，tR，t[Ai]设关系模式为R(A1，A2，…，An)，它的一个关系设为R。tR表示t是R的一个元组，t[Ai]则表示元组t中相应于属性Ai的一个分量关系R：学生（学号，姓名，性别，院系）R的一个元组t：（1001，李明，男，信息学院）t[A1]表示分量1001，t[A2]表示分量李明15常用的几个记号（2）A，t[A],A若A={Ai1,Ai2,…

8、,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}后剩余的属性组。16例如：R的一个元组t：（1001，李明，男，信息学院）t[A]=（1001，李明）关系R：学生（学号，姓名，性别，院系）A={学号,姓名}，则称A为属性列或域列。={性别,院系}A17常用的几个记号R为n目关系，S为m目关系,trR，tsS，称为元组的连接。（3）trtstrts它是一个n+m列的元组，前n

9、个分量为R中的一个n元组，后m个分量为S中的一个m元组。（R和S的广义笛卡尔积）18ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b1c1a1b1c1a1b2c2a1b2c2a1b2c2a2b2c1a2b2c1a2b2c1ABCa1b2c2a1b3c2a2b2c1RSABCa1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1trts191.选择（Selection）选择：指的是在关系R中选择满足给定条件的元组，记作：σF(R)={t

10、tR∧F(t)='真'}这里，F是逻辑表达式。选择运算实际上是从关系R中选取使

11、逻辑表达式F为真的元组。是从行的角度进行的运算：σ20选择（续）举例设有一个学生-课程数据库，包括：学生关系Student课程关系Course选修关系SC21选择（续）学号Sno姓名Sname性别Ssex年龄Sage所在系Sdept95001李勇男20CS95002刘晨女19IS95003王敏女18MA95004张立男19IS(a)Student22选择（续）(b)Course课程号课程名先行课学分CnoCnameCpnoCcredit1数据库