离散数学-newchap03.pptVIP

第 3章 关系 关系 关系是比函数更一般化的概念。关系中用有序对(a, b)表示从a 到b的一个关系。 关系数据库模型就是基于关系的概念，它可以帮助用户访问数据库（由计算机控制的记录的汇集）中的信息。 。抽象地说，我们把关系定义为有序对的集合。在 抽象的概念中，可认为有序对中的第一个元素与第二个元素相关。 3.1关系 关系可以想成一张表，其中列出了一些元素和其他元素之间的关系 定义 3.1.1 X到Y的关系R，是笛卡儿积X?Y的一个子集。如果(x,y) R，我们写为xRy且说x和y有关。当X=Y，我们称R是X上的(二元)关系。 集合和函数 集合 {x ∈X | (x, y)∈ R，对某个y ∈ Y} 称为R 的定义域。 集合 {y ∈Y | (x, y)∈ R，对某个x ∈ X} 称为R 的值域。 函数是一种特殊的关系。从X 到Y 的函数f 是从X 到Y 的关系，并具有性质： (a) f 的定义域是X。 (b) 对每个x ∈ X，有惟一的y ∈ Y 使得(x, y)∈ f。 例3.1.2 令X = {Bill, Mary, Beth, Dave}和 Y = {计算机科学，数学，艺术，历史} 则表3.1.1 表示的关系可写为 R = {(Bill, 计算机科学)， (Mary, 数学)， (Bill, 艺术) (Beth, 历史)， (Beth, 计算