chp2-2-关系数据库.ppt

Database Principles 管理科学与工程学院马谦杰 第二章 关系数据库 2.1 关系数据结构及形式化定义 2.2 关系操作 2.3 关系的完整性 2.4 关系代数 2.5 关系演算* 2.6 小结 2.4 关系代数 概述 传统的集合运算 并差交叉 专门的关系运算 选投连除 维基百科：关系代数_(数据库)  Relational Algebra 概述 关系代数是一种抽象的查询语言，它用对关系的运算来表达查询。运算都是将一定的运算符作用于一定的运算对象，得到预期的运算结果。 关系运算的运算对象是关系，运算结果也是关系。它的运算符有： 概 述(续) 概 述(续) 2.4 关系代数 ? 概述 ??传统的集合运算：并∪、差-、交∩、叉× ? 专门的关系运算：选σ、投π、连 、除÷ * 红色运算是基本运算,其他运算可以用它们来表示。不要将交作为基本运算！ 1. 并（Union） 运算对象：R 和S 具有相同的目n（即两个关系都有n个属性） 相应的属性取自同一个域 R∪S 仍为n目关系，由属于R或属于S的元组组成 R∪S = { t|t ? R∨t ?S } 并(续) 2. 差（Difference） 运算对象：R和S 具有相同的目n 相应的属性取自同一个域 R - S 仍为n目关系，由属于R而不属于S的所有元组组成 ?R -S = { t|t?R∧t?S } 差(续) 3. 交（Intersection） 运算对象：R和S 具有相同的目n 相应的属性取自同一个域 R∩S 仍为n目关系，由既属于R又属于S的元组组成 R∩S = { t|t ? R∧t ?S } R∩S = R –(R-S） 交：差-差 交 (续) 4. 笛卡尔积（Cartesian Product） 严格地讲这里应该是广义的笛卡尔积（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 } 交 (续) 2.4 关系代数 概述 传统的集合运算：并、差、交、叉 专门的关系运算：选、投、连、除 2.4.2 专门的关系运算 先引入几个记号 P54 （1） R，t?R，t[Ai] 设关系模式为R(A1，A2，…，An) 它的一个关系设为R t?R 表示t是R的一个元组 t[Ai] 则表示元组t中相应于属性Ai的一个分量 专门的关系运算(续) （2） A，t[A]， A 若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）tr ts R为n目关系，S为m目关系。tr ?R，ts?S，tr ts称为元组的连接。 tr ts 是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。 专门的关系运算(续) （4）象集Zx 给定一个关系R（X，Z），X和Z为属性组。 当t[X]=x时，x在R中的象集（Images Set）为： Zx={t[Z] | t ?R，t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合 专门的关系运算(续) x1在R中的象集 Zx1 ={Z1，Z2，Z3}， x2在R中的象集 Zx2 ={Z2，Z3}， x3在R中的象集 Zx3={Z1，Z3} 专门的关系运算(续) 选择：记录的选择 投影：列的直接选择 连接：条件信息分布在两个表中 除R?S ：除表S上Y列的全部值在被除表R中都有意义(包含在R中X的象集Y中)，R中Y的相关列X(称原象)即为结果商。 运算顺序：除了传统集合运算，专门关系运算需要在查询表达式中指明运算顺序。定义有所不同：-db\关系运算--关系代数.pdf 维基百科：关系代数_(数据库) 英文版 专门的关系运算(续) 专门的关系运算(续) 专门的关系运算(续) 1. 选择（Selection） 1) 选择又称为限制（Restriction） 2) 选择运算符的含义 在关系