第2章关系解析.ppt

Chapter 2 关系 关系__Relation. 世间万物都存在着联系—哲理. 在信息科学中,数据与数据之间总存在一定的关系. 借助于集合可以给出刻划这种联系的数学模型. 关系这些内容对今后学习数据结构以及数据库等很多课程都是很重要的.(关系逻辑?) 我们不以个别特殊关系为研究对象,而是关注关系的一般特性. 2.1 关系的概念 1. n元关系的定义 日常生活中存在各种各样的关系, 数学中也学习过很多关系. 引例(P33) A = {张三, 李四, 王五}; B = {英语, C语言, 离散数学, 数据结构, 汇编语言}; C = {优, 良, 合格, 不合格}. 2.2 关系的运算 讨论关系的运算是为了从已知的关系得出新的关系. 1.关系的集合运算 Remark 2.3 关系的性质 前面定义的关系是一般的关系,但在实际问题中,我们感兴趣的是具有某种或同时具有某几种特殊性质的关系. 设R是集合A上的关系, 常见的关系的性质有5种, 分别介绍如下. 1. 自反(reflexive)性 2.4 关系的闭包 通过关系的一些运算可以得到新的关系. 对于A上的关系R, 希望R具有某些有用的性质,如自反性. 若R不具有自反性,通过在R中添加一些有序对使其变成自反关系, 这样也可以得到一些新的A上的关系. 1. 自反闭包r(R)(reflexive closure) 2.5 等价关系 在实际应用时，具有某几种性质的关系是有用的. 等价关系是一种非常重要的特殊关系，它是相等关系“=”、全等关系“?”等的一种推广.等价关系基于某种观点将不同的事物看成是同一类，例如研究整数时，基于能否被2整除观点将整数分为奇数和偶数两类，进而有“奇数加偶数是奇数”的结论. 等价关系以及根据它对集合进行划分是粗糙集(rough set)理论的基础, 粗糙集理论是智能信息处理的重要方法之一. 2.6 相容关系 在实际问题中, 两个事物具有某种共同的性质, 但与等价关系不同的是这种共性可能不具有传递性. 例2-52 设A = {set, logic, algebra, graph}, R = {(x, y)|x, y ? A, x 和 y有相同的字母}, 试验证R具有自反性和对称性,但不具有传递性. (set, algebra) ? R, (algebra, graph) ? R, 但(set, graph) ? R. 2.7 偏序关系 在解决实际问题时, 我们常依据某个标准对事物进行比较, 同时按这个标准对两个事物之间的先后进行排序. 在计算机科学中, 对数据进行排序是十分有意义的工作. 偏序关系是最基本、最常用的一种序关系, 它本质上是两实数之间的小于等于关系“?”的一种推广. 本节在偏序的基础上, 介绍偏序集中的特殊元素. 求传递闭包t(R)的Warshall(1962)有效算法? 数据库中用. (a)关系的闭包运算与其他运算之间的联系 Theorem (1) (2) (3) Remark P65, 7 (b)闭包运算与关系的性质的联系 Theorem 2-19(P63) (1)R自反, 则r(R), s(R)及t(R)自反. (2)R对称, 则r(R), s(R)及t(R)对称. (3)R传递, 则r(R), t(R)传递, s(R)不一定传递. Remark R自反(对称、传递) ? r(R) = R(s(R) = R 、 t(R) = R). 下表列举关系的性质与闭包运算的联系: ? ? t(R) ? ? s(R) ? r(R) 传递 反对称 对称 反自反 自反 (c)多重闭包运算 由于关系的闭包运算在计算机其他专业课中很有用,下面再对多重闭包问题进行简单讨论. 对于多重闭包运算,规定从右至左依次进行运算,如 Theorem 2-20(P64) (1) (2) (3) Remark 作业 习题2.4 2, 3, 9, 10. 1.等价关系(equivalent relation) Def 设R ? A ? A, 若R具有自反性、对称性以及传递性, 则称R为A上的等价关系. 例2-47 设A = {a, b, c}, R = {(a, a), (b, b), (c, c), (b, c), (c, b)}, 则R具有自反性、对称性以及传递性, 因此R为A上的等价关系. 例2-48 Z上的模3同余关系R: 则R具有自反性、对称性以及传递性, 因此R为Z上的等价关系. Theorem 2-21(P66) 设R和S为A上的等价关系,则R-1及R ? S为A上的等价关系. 设R和S是集合A上的两个等价关系,下表列出了等价关系与关系运算的联系: ? ? ? ? R ? S R-1 R