7.5关系的闭包.ppt

7.5关系的闭包 闭包的概念 闭包的构造方法 Warshall算法 闭包的性质 一、闭包定义 关系R不具备自反性，但是如果在R中增加有序对2,2,得到的新关系R1： R1={1,1,2,1,2,2}, R1具有自反性。 一、闭包定义 定义：设R是A上的二元关系，R的自反（对称、传递）闭包是关系R1，则 ① R1是自反的（对称的、传递的） ② R?R1 ③ 对A上的任何自反的（对称的、传递的）关系R2，若R?R2，则R1?R2。 一、闭包的构造方法 二、闭包的构造方法 二、闭包的构造方法 关系R, r(R), s(R), t(R)的关系图的顶点集相等。 为了得到r(R)的关系图，在R的关系图中，考察每个顶点, 如果没有环就加上一个环； 为了得到s(R)的关系图，在R的关系图中，考察每条边, 如果有一条 xi 到 xj 的单向边, i≠j, 则在G中加一条 xj 到 xi 的反方向边； 二、闭包的构造方法 为了得到t(R)的关系图，在R的关系图中，考察G的每个顶点 xi, 首先找出从 xi 出发的每一条路径，然后考察从 xi 到路径中任何结点 xj 是否有边，如果没有，就加上这条边。直到检查完所有的顶点。 二、闭包的构造方法 例3： A = {a,b,c},R = {a,b,b,c,c,a} 。 求R的传递闭包