离散数学教学课件 作者 陈志奎 第四章 二元关系.pptVIP

4.8* 关系型数据库 例如，在表4.1中，属性“年龄”可以取为所有小于100的正整数的集合。属性“姓名”可以取为所有长度不超过30的英文字符串。 如果关系的一个单个属性或属性组合的值能唯一的定义一个 元组，则属性或属性组合是一个关键字。例如，在表4.1中，可以取属性“ID号”作为一个关键字。属性“姓名”不是关键字，因为不同的人可以有相同的名字。同样的原因，不能取属性“位置”和“年龄”作为关键字。对于表，“姓名”和“位置”的组合可以用作关键字，以为在例子中一个运动员由姓名和位置唯一定义 * ID号 姓名 位置 年龄 22012 Johnsonbaugh c 22 93831 Glover of 24 58199 Battey p 18 84341 Cage c 30 01180 Homer 1b 37 26710 Score p 22 61049 Johnsonbaugh of 30 39826 Singleton 2b 31 * 4.8* 关系型数据库 定义4.30 设有 n元关系 R，它由 m个n 重序元组成，则 是一个k元关系，它由 m个k 重序元组成，其中每一个k 元序偶由属性 组成，这个运算叫做 在属性 上的投影运算。 例4.35 对于表4.1给出的关系R，给出其在姓名和位置上的投影。 解： * * 4.8* 关系型数据库 * * 4.8* 关系型数据库 * PID 运动队 39826 Blue Sox 26710 Mutts 58199 Jackalopes 01180 Mutts 解: ID号 姓名 位置 年龄 运动队 58199 Battey p 18 Jackalopes 01180 Homer 1b 37 Mutts 26710 Score p 22 Mutts 39826 Singleton 2b 31 Blue Sox * 4.8* 关系型数据库 * * * * 4.7 特殊关系 定义4.19 设 m是个正整数和 。如果对于某一个整数 n，有 ,则称 x 模等价于 y，并记作 整数m 称为等价的模数。 显然，这里是用“ ”表示模 m 等价关系 R 。 定理4.17 任何集合 中的模 m 相等关系 是一个等价关系。 * 等价关系 * 4.7 特殊关系 定义4.20 设 R 是集合 A 上的等价关系：对于任何 来说，可把集合 规定成 并称它是由 x关于 R 的等价类。 为了简单起见，有时也把 就写成 或 。不难看出，集合 应是由集合 A中与 x 有等价关系 R的那些元素所组成的。 * 等价类 * 4.7 特殊关系 例4.23 设 ，R 是 A上的等价关系，并把 R给定成 试画出等价关系图，求出 A中各元素关于 R的等价类。 解：等价关系如图4.11所示。由等价关系图不难看出 图4.11 等价关系图 * 等价类 * 4.7 特殊关系 定理4.18 设 A是一个集合，R 是 A上的等价关系。如果 ，则 定理4.19 设 R是集合 A上的等价关系。于是可有 （1）对于所有的 ，或者 或者 。 （2） * 等价类 * 4.7 特殊关系 定理4.20 设 R是非空集合 A上的等价关系。R 的等价类的集合 是A 的一个划分。根据定理4.18和定理4.19就能够证明此定理。此定理说明非空集合的划分和集合中的等价关系之间，存在一种自然对应关系。 定义4.21 设R 是非空集合 A上的等价关系。以 R的所有等价类作为元素的集合 称为S 关于R 的商集，记作 ，也可写成 * 商集 * 4.7 特殊关系 下面来考察集合 A中的两个特殊等价关系：全域关系