第二章关系数据库 关系演算
第二章 关系数据库 关系演算
本次课学习内容 关系代数 。关系运算(选择、投影、连接,除运算) 关系演算 以数理逻辑中的谓词演算为基础的。可分为 元组关系演算语言(get,put等6条语句) 域关系演算语言QBE
本次课学习内容 关系代数 ◦ 关系运算（选择、投影、连接，除运算） 关系演算 ◦ 以数理逻辑中的谓词演算为基础的。可分为： 元组关系演算语言（get，put等6条语句） 域关系演算语言QBE
关系代数 °1、除运算 2、除运算示例 °3、除运算练习
一、关系代数 1、除运算 2、除运算示例 3、除运算练习
1、除运算÷( Division,亦称商) 用途:除法运算同时从行和列的角度迸行运算,在表达某些查 询时有用,适合于包含“全部”之类的短语的查询,例如“查 询选修了所有课程的学生名字 °定义:给定关系R(X,Y),S(Y,Z),Ⅹ,Y,Z为属性列, 关系R和关系S中的Y出自相同域集,则: R÷S={[Ⅺ∈R∧几(S)=Yx 其中,YX为X在R中的象集,X=t[X]
1、除运算÷（Division，亦称商） 用途：除法运算同时从行和列的角度迚行运算，在表达某些查 询时有用，适合于包含“全部”之类的短语的查询，例如“查 询选修了所有课程的学生名字” 。 定义：给定关系 R（X，Y），S（Y，Z），X，Y，Z为属性列， 关系R和关系S中的Y出自相同域集，则： R÷S={tr [X]|tr ∈R∧Πy (S)Yx} 其中，Yx为x在R中的象集，x= tr [X]
象集Z 给定一个厢关系R(,2,为属性组 t=时,x在的象集( Images set)为 Z=t[t∈R,t=x 它表示砷属性组值为x诸元组在Z上分量的集合 R x在种的象集 Z1={Z,22, z3 x2在P的象集 22={2,a3) x3在P的象集 Z Z, Z
象集Zx 给定一个X和关系R（X，Z）， 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}