[计算机]第2章 关系数据库系统.pptVIP

2.2 关系数据模型的数据结构 2.3 关系数据模型的完整性 2.4 关系代数 1．并运算（union） 假设有n元关系R和n元关系S，它们的相应属性取自同一个域，则它们的并仍然是一个n元关系，它由属于关系R或者属于关系S的元组组成，并记为：R∪S 2．差运算（difference） 假设有n元关系R和n元关系S，它们的相应属性取自同一个域，则n元关系R和n元关系S的差仍然是一个n元关系，它由属于关系R而不属于关系S的元组组成。 记为：R－S ３．交运算（intersection） 假设有n元关系R和n元关系S，它们的相应属性取自同一个域，则它们的交仍然是一个n元关系，它由属于关系R且又属于关系S的元组组成。 记为：R∩S ４．广义笛卡尔积 假设有m元关系R和n元关系S，则R与S的笛卡尔积记为R×S，它是一个m+n元组的集合（即m+n元关系），其中每个元组的前m个分量是R的一个元组，后n个分量是S的一个元组。 R×S是所有具备这种条件的元组组成的集合。 6．投影运算（projection） 投影运算是在给定关系的某些域上进行的运算。通过投影运算可以从一个关系中选择出所需要的属性，并按要求排列成一个新的关系。 经过投影运算，如果某些属性取消后， 出现重复元组，那么必须删除重复的元组。 投影运算用公式表示为： 　πA(R) = { t[A] | t ?R } A：R中的属性列 7．联接运算（join） 8．自然联接运算 （Natural join） 自然联接运算是对两个具有公共属性的关系所进行的运算。设关系R和关系S具有公共的属性，则关系R和关系S的自然连接的结果，是从它们的笛卡尔积R×S中选出的公共属性值相等的那些元组,并去掉重复的属性。记为：R S 综合举例 例：4.5 c1 b2 a2 c2 b2 a1 c1 b1 a1 C B A c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A c1 b2 a2 c2 b2 a1 C B A 例 4.6 R S R∩S 例：4.7 c1 b2 a2 c2 b2 a1 c1 b1 a1 C B A c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A c2 b2 a1 c2 b2 a1 c2 b3 a1 c2 b2 a1 c1 b2 a2 c2 b2 a1 c2 b2 a1 c1 b2 a2 c2 b3 a1 c1 b2 a2 c1 C1 C1 C1 R.C a2 a2 a1 a1 S.A b2 b2 b3 b2 S.B c1 b2 a2 c1 b1 a1 c2 b1 a1 c2 b1 a1 S.C R.B R.A 例 4.8 R S R×S 2.4.2 专门的关系运算 专门的关系运算包括选择、投影、连接、除等。为了叙述上的方便，先引入几个记号。 （1）设关系模式为R（A1，A2，…，An）。它的一个关系设为R。t∈R表示t是R的一个元组。t［Ai］则表示元组t中相应于属性Ai的一个分量。 （2）若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）R为 n目关系，S为 m目关系。tr∈R，ts∈S，trts 称为元组的连接（Concatenation）。它是一个 n＋m列的元组，前n个分量为R中的一个 n元组，后m个分量为S中的一个m元组。 （4）给定一个关系R（X，Z），X和Z为属性组。定义，当t[X]= x时，x在 R中的象集（Images Set）为： Zx ={ t［Z］ | t ∈ R，t[X] = x } 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 5．选择运算（selection） 选择运算是在指定的关系中选取所有满足给定条件的元组，构成一个新的子集。选择运算用公式表示为： 　　　　σg(R) = {r|r?R∧g(t)为真} 公式中的R是关系名，g为一个逻辑表达式，取值为真或为假。g由逻辑运算符∧(and)、 ∨(or)、 ?（not）和算术运算符＞、≥、＜、≤、＝、≠连接起来。 其运算对象为常量、属性名或者是简单函数。σ为选择运算符。 例： 3.00 1000 信笺 Comp2 7 3.00 200 练习本 Comp2 6 10.00 50 钢笔 Comp2 5 8.00 1000 笔记本 Comp1 4 3.00 1000 练习本 C