关系查询语言和关系运算 「关系查询语言 关系代数语言:查询操作是以集合操作作为基础的语言 关系演算语言:查询操作是以谓词演算作为基础的语言 口关系查询语言是一种比 Pascal、C等程序设计干什么? 语言更高级的语言。 怎么干? 口 Pascal、C一类语言属于过程性语言,在编程 时必须给出获得结果的操作步骤 口而关系查询语言属于非过程性语言,编程时 只需要指出需要什么信息,不必给出具体的操 作步骤。 干什么?
关系查询语言 关系代数语言:查询操作是以集合操作作为基础的语言 关系演算语言:查询操作是以谓词演算作为基础的语言 ❑ 关系查询语言是一种比Pascal、C等程序设计 语言更高级的语言。 ❑ Pascal、C一类语言属于过程性语言,在编程 时必须给出获得结果的操作步骤。 ❑ 而关系查询语言属于非过程性语言,编程时 只需要指出需要什么信息,不必给出具体的操 作步骤。 干什么? 怎么干? 干什么? 关系查询语言和关系运算
23关系代数 相关表述记号 1.设关系模式为R(A1,A2,…,An)。它的一个关系设为R t∈R表示t是R的一个元组。tA则表示元组t中相应于属性A的一个分量。 2.若A={Ai,Ai,…,A},其中A,A,…,Ai是A1,A2,…,An中的一部分, 则A称为属性列或域列。tA=(tAin,t1l,…,tAk)表示元组t在属性 列A上诸分量的集合。则A表示{A1,A2,,An中去掉 Ai,Ai,…,A}后剩余的属性组
2.3 关系代数 相关表述记号 ⒈ 设关系模式为R(A1, A2, …, An)。它的一个关系设为R。 t∈R表示t是R的一个元组。t[Ai]则表示元组t中相应于属性Ai的一个分量。 ⒉ 若A={Ai1, Ai2, …, Aik},其中Ai1, Ai2, …, Aik是A1, A2, …, An中的一部分, 则A称为属性列或域列。t[A]=(t[Ai1], t[Ai2], …, t[Aik])表示元组 t 在属性 列A上诸分量的集合。则 表示{A1, A2, …, An}中去掉 {Ai1, Ai2, …, Aik} 后剩余的属性组。 A
23关系代数 相关表述记号」 3.R为n目关系,S为m目关系。tr∈R,ts∈ So trts称为元组的连接。 它是一个(a+m列的元组,前n个分量为R中的一个n元组,后m个分量 为S中的一个m元组。 D如mm 4.给定一个关系R(X,Z,X和Z为属性组。我们定义,当tX]=x时,x在R中 的象集( Images Set)为:zx={t团t∈R,tX=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合
⒊ R为n目关系,S为m目关系。tr∈R ,ts∈S。 trts 称为元组的连接。 它是一个(n+m)列的元组,前n个分量为R中的一个n元组,后m个分量 为S中的一个m元组。 ⌒ 2.3 关系代数 相关表述记号 ⒋ 给定一个关系R(X,Z),X和Z为属性组。我们定义,当t[X]=x时,x在R中 的象集(Images Set)为:Zx={ t[Z]|t∈R, t[X]=x } 它表示R中属性组X上值为x的诸元组在Z上分量的集合
23关系代数 「传统的集合运算 并运算 设关系R和关系S具有相同的目n(即两个关系都有n个属性),且相应 的属性取自同一个域,则关系R与关系S的并由属于R或属于S的元组组成。 其结果关系仍为n目关系。记作:R∪S={t|t∈RVt∈S} RIAB C R2A C RIUR2 al b1 c1 al b2 c2 AB C 1b2c2 al b3 al b1 cl 2b2c1 a2 b2 cl al b2c2 al b3 c2 2b2c1
传统的集合运算 2.3 关系代数 • 并运算 a2 b2 c1 a1 b2 c2 a1 b1 c1 A B C a2 b2 c1 a1 b3 c2 a1 b2 c2 A B C R1 R2 a1 b1 c1 a2 b2 c1 a1 b3 c2 a1 b2 c2 A B C R1∪R2 设关系R和关系S具有相同的目n(即两个关系都有n个属性),且相应 的属性取自同一个域,则关系R与关系S的并由属于R或属于S的元组组成。 其结果关系仍为n目关系。记作: R∪S={ t | t∈R∨t∈S }
23关系代数 「传统的集合运算 差运算 设关系R和关系S具有相同的目n,且相应的属性取自同一个域,则关系R与关系 的差由属于R而不属于S的所有元组组成。其结果关系仍为n目关系。记作: R-S={tt∈R∧tgS RIAB C R2AB C R1-R2 al b1 cl a1 b2 c2 AB C al b2 c2 al b3 c2 a1 b1 cl a2 bcl a2 b2 cl
传统的集合运算 2.3 关系代数 • 差运算 a2 b2 c1 a1 b2 c2 a1 b1 c1 A B C a2 b2 c1 a1 b3 c2 a1 b2 c2 A B C R1 R2 a1 b1 c1 A B C R1-R2 设关系R和关系S具有相同的目n,且相应的属性取自同一个域,则关系R与关系S 的差由属于R而不属于S的所有元组组成。其结果关系仍为n目关系。记作: R-S={t|t∈R∧t S} ∈