ch04_1关系模型的基本理论.docVIP

第4章 关系模型的基本理论 4.1 关系模型的基本概念 4.1.1 关系 一、域（Domain） 定义：是一组具有相同数据类型的值的集合。 理解：表格中列的以值范围。 举例： ① 学号：{第1位数是“S”，表示学生，2-3两位数是入学年号，4-6三位数是序号} ② 年龄：{大于0小于200的整数} ③ 性别：{男, 女} 二、笛卡尔积（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)。 ② 元素中的每一个值di叫作一个分量(Component)。 ③ 若Di(i＝1，2，…，n)为有限集，其基数(Cardinal number)为mi(i＝1，2，…，n)，则D1×D2×…×Dn的基数M为： 举例： 图4.1 笛卡尔积 三、关系（Relation） 定义：D1×D2×…×Dn的子集叫作在域D1、D2、…、Dn上的关系，表示为： R(D1，D2，…，Dn) 这里R表示关系的名字，n是关系的目或度(Degree)。 举例：一个导师只有一个专业，一个学生只能有一个导师，一个导师可以指导多个学生，如图4.2。 图4.2 关系 理解： ① 关系中的每个元素是关系中的元组，通常用t表示。 ② 关系是笛卡积的子集，所以关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。 ③ 由于域可以相同，为了加以区分，必须对每列起一个名字，称为属性(Attribute)，n目关系必有n个属性。 图4.2a 域与属性的区别与联系 ④ 若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选码(Candidate key)。若一个关系有多个候选码，则选定其中一个为主码(Primary key)。主码的诸属性称为主属性(Prime attribute)。在最极端的情况下，关系模式的所有属性组是这个关系模式的侯选码，称为全码(All-key)。 图4.2b 主码由多个属性组成 图4.2c 主码由所有属性组成（全码） ⑤ 不包含在任何侯选码中的属性称为非码属性(Non-key attribute)。 4.1.2 关系模式(Relation Schema) 定义：对关系的描述。一个关系模式是一个五元组。它可以形式化地表示为： R(U, D, DOM, F)。 R——关系名， U——为组成该关系的属性名集合， D——属性组U中属性所来自的域， DOM—属性向域的映象集合， F——属性间数据的依赖关系集合。 举例：如图2.2a中的关系模式为 R(U, D, DOM, F) R——学生情况表， U——{班级，最好学生，最差学生}， D——{班级，学生}， DOM—{班级-班级，学生-最好学生，学生-最差学生}， F——{最好学生≠最差学生}。 4.2 关系代数 关系代数用到的运算符包括四类：集合运算符、专门的关系运算符、算术比较符和逻辑运算符，如图4.3所示。 图4.3 关系代数运算符 4.2.1 传统的集合运算 传统的集合运算是二目运算，包括四种运算：并、差、交、广义笛卡尔积。 一、并(Union) 定义：设关系R和关系S具有相同的目n（即两个关系都有n个属性），且相应的属性取自同一个域，则关系R与关系S的并由属于R或属于S的元组组成。其结果关系仍为n目关系。记作： R∪ S =｛t ｜ t∈R ∨ t∈S｝ 理解：首先选择R中的所有元组，然后选择S中不属于R的元组。 举例：如图4.4(c) 二、差(Difference) 定义：设关系R和关系S具有相同的目n，且相应的属性取自同一个域，则关系R与关系S的差由属于R而不属于S的所有元组组成。其结果关系仍为n目关系。记作： R－S =｛t｜t∈R ∧ フt∈S｝ 举例：如图4.4(d) 三、交(Intersection) 定义：设关系R和关系S具有相同的目n，且相应的属性取自同一个域，则关系R与关系S的交由既属于R又属于S的元组组成。其结果关系仍为n目关系。记作： R∩S =｛t｜t∈R ∧ t∈S｝ 举例：如图4.4(e) 四、广义笛卡尔积(Extended Cartesian Product) 定义：两个分别为n目和m目的关系R和S的广义笛卡尔积是一个(n+m)列的元组的集合。元组的前n列是关系R的一个元组，后m列是关系S的一个元组。若R有k1个元组，S有k2个元组，则关系R和关系S的广义笛卡尔积有k1×k2个元组。记作： 举例：如图4.4(f) 图4.4 传统的集合运算 4.2.2 专门的关系运算 专门的关系运算包括：选择