关系数据库系统模型.pptVIP

连接(续)trts自然连接（Naturaljoin）自然连接是一种特殊的等值连接两个关系中进行比较的分量必须是相同的属性组在结果中把重复的属性列去掉自然连接的含义R和S具有相同的属性组BRS={|tr?R∧ts?S∧tr[B]=ts[B]}连接(续)4）一般的连接操作是从行的角度进行运算。 自然连接还需要取消重复列，所以是同时从行和列的角度进行运算。AθBRS连接(续)【例3-9】设关系R﹑S分别为表3-12(a)(b)所示，求：(1)(2)(3)RS表3-12(a)表3-12(b)BCDb143b257b31010b492b352ABCa1b14a1b26a2b35a2b412单击此处添加正文。单击此处添加正文。logo连接(续)一般连接的结果如下：AR.BR.CS.BS.CDa1b14b257a1b14b31010a1b26b257a1b26b31010a2b35b257a2b35b31010连接(续)等值连接RS的结果如下：R.B=S.BAR.BR.CS.BS.CDa1b14b143a1b26b257a2b35b31010a2b35b352a2b412b492连接(续)自然连接RS的结果如下：ABCDa1b143a2b3524.除（Division）象集Zx给定一个关系R（X，Z），X和Z为属性组。当t[X]=x时，x在R中的象集（ImagesSet）为：Zx={t[Z]|t?R，t[X]=x}它表示R中属性组X上值为x的诸元组在Z上分量的集合。4.除（Division）象集举例01x1在R中的象集Zx1={Z1，Z2，Z3}，02x2在R中的象集Zx2={Z2，Z3}，03x3在R中的象集Zx3={Z1，Z3}给定关系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]4.除（Division）除(续)÷2）除操作是同时从行和列角度进行运算SR除(续)[例6]设关系R、S分别为下图的(a)和(b)，R÷S的结果为图(c)分析在关系R中，A可以取四个值{a1，a2，a3，a4}a1的象集为{(b1，c2)，(b2，c3)，(b2，c1)}a2的象集为{(b3，c7)，(b2，c3)}a3的象集为{(b4，c6)}a4的象集为{(b6，c6)}S在(B，C)上的投影为{(b1，c2)，(b2，c1)，(b2，c3)}只有a1的象集包含了S在(B，C)属性组上的投影所以R÷S={a1}关系代数的扩充运算改名广义投影赋值外连接外部并半连接聚集1．改名(Rename)改名也称重命名，是关系代数中一种常用的附加操作功能。改名运算的形式为：ρs(A1,A2,…,An)(R)，表示将关系R重命名为S，R中的属性依次重命名为A1，A2，…，An。如果只是希望将关系R改名成S而其属性名称保持不变，则此时改名运算可表示成为：ρs(R)。1．改名(Rename)设给定关系R(A，B，C)和S(B，C，D)，则R×S的属性应写成A、R.B、R.C、S.B、S.C、D，可以通过改名运算使其属性更为清晰，如将R×S写成R×ρs(X,Y,D)(S)，则属性为A、B、C、X、Y、D。2．广义投影(GeneralizedProjection)广义投影是投影运算的扩展。该运算允许在投影列表中使用算术函数来对投影进行扩展，其形式为：ΠF1,F2,…,FK(R)其中R为关系，F1,F2,…,FK是涉及关系R的属性和常量的算术表达式。2．广义投影(Generali