第2章关系数据库--数据库属性等.ppt

第2章 关系数据库 2.1 关系数据结构 2.1.1 关系 2.1.1 关系 2.1.1 关系 2.1.1 关系 2.1.2 关系的形式化描述 2.1.2 关系的形式化描述 2.1.2 关系的形式化描述 2.1.2 关系的形式化描述 2.1.3 关系的性质 2.1.4 关系模式 2.1.5 关系数据库 2.1.5 关系数据库 2.1.5 关系数据库 2.2 关系操作 2.3 关系完整性 2.3.1 关系的码 2.3.1 关系的码 2.3.2 完整性约束 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 2.4 关系代数 习题 （3）连接（Join） 连接运算是二目运算，是从两个关系的笛卡儿积中选取满足连接条件的元组，组成新的关系。 设有两个关系R（A1，A2，…，An）及S（B1，B2，…，Bm），连接属性集X包含于{A1，A2，…，An}，Y包含于{B1，B2，…，Bm}，X与Y中属性列数目相等，且对应属性有共同的域。关系R和S在连接属性X和Y上的连接，就是在R?S笛卡儿积中，选取X属性列上的分量与Y属性列上的分量满足“? 条件”的那些元组组成的新关系。记为： R S={trts|tr∈R∧ts∈S∧tr[X]? ts[Y]为真} 其中，∞是连接运算符；? 为算术比较运算符，也称? 连接；X? Y为连接条件，其中： ? 为“=”时，称为等值连接； ? 为“”时，称为小于连接； ? 为“”时，称为大于连接。 【例2.5】 设有表2.10和2.11的两个关系R与S，则表2.19为R，S的等值连接（R.B=S.B）。 ∞ 表2.19 R与S的等值连接（R.B=S.B） c2 b2 a2 c2 b2 a2 c2 b2 a1 c2 b2 a2 S.C S.B S. A R.C R.B R. A 连接运算为非基本运算，可以用选择运算和广义笛卡儿积运算来表示： ∞ R S=σX?Y（R?S） 在连接运算中，一种最常用的连接是自然连接。所谓自然连接就是在等值连接的情况下，当连接属性X与Y具有相同属性组时，把在连接结果中重复的属性列去掉。即如果R与S具有相同的属性组Y，则自然连接可记为： R∞S={trts|tr∈R∧ts∈S∧tr[Y]=ts[Y]} 自然连接是在广义笛卡儿积R?S中选出同名属性上符合相等条件的元组，再进行投影，去掉重复的同名属性，组成新的关系。 【例2.6】 设有表2.10和表2.11的两个关系R与S，则表2.20为R，S在属性B上的自然连接。 表2.20 R与S在属性B上的自然连接 c2 a2 c2 b2 a2 c2 a1 c2 b2 a2 S.C S.A R.C B R.A 结合例2.5和例2.6，可看出等值连接与自然连接的区别在于： ① 等值连接中不要求相等属性值的属性名相同，而自然连接要求相等属性值的属性名必须相同，即两关系只有同名属性才能进行自然连接。 ② 等值连接不将重复属性去掉，而自然连接去掉重复属性，也可以说，自然连接是去掉重复列的等值连接。 （4）除法（Division） 除法运算是二目运算，设有关系R（X，Y）与关系S（Y，Z），其中X，Y，Z为属性集合，R中的Y与S中的Y可以有不同的属性名，但对应属性必须出自相同的域。关系R除以关系S所得的商是一个新关系P（X），P是R中满足下列条件的元组在X上的投影：元组在X上分量值x的象集Yx包含S在Y上投影的集合。记为： R?S={tr[X]|tr∈R∧Πy（S）Yx} 其中，Yx为x在R中的象集，x=tr[X]。 除法运算为非基本运算，可以表示为： R?S=Πx（R）?Πx（Πx（R）?S ? R） 【例2.7】 已知关系R和S分别见表2.21、表2.22，则R?S见表2.23所示。 除法运算同时从行和列的角度进行运算，适合于包含“全部”之类的短语的查询。 【例2.8】 查询选修了全部公共必修课程的学生学号。 ?学号（?学号，课程号（XS_KC）??课程号（?课程性质=“公共必修”（KC））） 运算结果见表2.24。表2.24 运算结果 学本节介绍了8种关系代数运算，其中并、差、笛卡儿积、选择和投影是基本运算，交、连接和除法都可以用5种基本运算来表达。关系代数中，运算经过有限次复合之后形成的式子称为关系代数表达式。 表2.24 运算结果 学号 *