第4章关系数据库 [2].ppt

(4) 除（Division）运算 给定关系R(X, Y)和S(Y, Z)，其中X, Y, Z为属性组。R中的Y与S中的Y可以有不同的属性名，但必须出自相同的域集。R与S的除运算（Division）得到一个新的关系P(X)，P是R中满足下列条件的元组在X属性列上的投影：元组在X上的分量值x的像集YX包含S在Y上的投影，即： 其中的YX为x在R中的像集，x＝tr[X]。 除操作是同时从行和列的角度进行运算的。在进行除运算时，将被除关系R的属性分成两部分：与除关系相同的部分Y和不同的部分X。在被除关系中按X值分组，即相同X值的元组分为一组。除法的运算是求包括除关系中全部Y值的组，这些组中的X值将作为除结果的元组。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系除法运算分下面4步进行： 1) 将被除关系的属性分为象集属性和结果属性两部分：与除关系相同的属性属于象集属性，不相同的属性属于结果属性。 2) 在除关系中，对与被除关系相同的属性（象集属性）进行投影，得到除目标数据集。 3) 将被除关系分组，分组原则是，结果属性值一样的元组为一组。 4) 逐一考察每个组，如果它的象集属性值中包括除目标数据集，则对应的结果属性值应属于该除法运算结果集 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 第4章 关系数据库 ● 4.1 关系模型及其三要素 ● 4.1.1 关系数据结构 ● 4.1.2 关系操作概述 ● 4.1.3 关系的完整性 ● 4.2 关系代数 ● 4.2.1 传统的集合运算 ● 4.2.2 专门的关系运算 ● 4.2.3 用关系代数表示检索的例子 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1. 关系的数学定义 1) 引例 关系的数学概念可从日常生活中引出。例如： M={王强，张伟，戈华}是男性集合 W={李丽，刘英}是女性集合 若M和W中存在夫妻关系时，那么可能的配对如下： M×W={(王强，李丽),(王强，刘英),(张伟，李丽), (张伟，刘英),(戈华，李丽),(戈华，刘英)} 在数学上将所有可能的配对叫“笛卡尔积”，直观上是诸集合各元素间一切可能的组合。笛卡尔积可看成一个二维表。如图a所示。 ● 4.1 关系模型及其三要素 ● 4.1.1 关系数据结构 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. M 王强 王强 张伟 张伟 戈华 戈华 W 李丽 刘英 李丽 刘英 李丽 刘英 M 王强 戈华 W 刘英 李丽 (a)笛卡尔积M×W (b)M×W上的夫妻关系 显然，表中的配对不会都是夫妻关系，假定王强和刘英、戈华和李丽是事实上的夫妻，则从表中取出这二对才有意义，图b取自笛卡尔积的子集，称它为笛卡尔积上的二元关系。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2) 域（Domain）的定义：域是一组具有相同数据类型的值的集合。 域要命名。域中数据个数叫域的基数。 3) 笛卡儿积（Cartesian Product）的定义： 给定一组域D1，D2，…，Dn，这些域中可以有相同的部分，则D1，D2，…，Dn的笛卡儿积为： D1×D2×…×Dn ={(d1，d2，…，dn)|di ∈Di，i=1，2，…，n}. 其中每一个元素（d1，d2，…，dn ）称为一个n元组（n-Tuple），简称元组（Tuple）。元素中的每一个