关系模式最小依赖集怎么求_第七章 二元关系小结（下）

二元关系这一章很重要。本篇包括二元关系的闭包、偏序关系、等价关系等内容，其中包含划分、哈斯图、最大最小元、上下界等小知识点。

一、闭包

1.定义：

闭包是包含原关系具有某种性质的最小的关系。

闭包是关系的一种特殊运算，运算结果依然是关系。

闭包有三种，自反闭包、对称闭包、传递闭包。R的自反闭包记作r(R), 对称闭包记作s(R), 传递闭包记作t(R)。

2.求法：

(1).集合表示法中闭包的求法：

设R为A上的关系, 则有

(2).矩阵表示法中闭包的求法：

设关系R, r(R), s(R), t(R)的关系矩阵分别为M, Mr , Ms 和 Mt ，则有  (1) Mr=M+E   

(2) Ms=M+M '      

(3) Mt=M+M2+M3+…

E 是单位矩阵, M '是 转置矩阵，相加时使用逻辑加。

(3).关系图表示法中闭包的求法：

设关系R, r(R), s(R), t(R)的关系图分别记为G, Gr, Gs, Gt, 则Gr , Gs , Gt 的顶点集与G 的顶点集相等. 除了G 的边以外, 以下述方法添加新的边：

(a) 考察G 的每个顶点, 若没自回路就加一个自回路，得到Gr  

(b) 考察G 的每条边, 若有一条 xi 到 xj 的单向边, i≠j, 则在G中加一条 xj 到 xi 的反向边,  得到Gs

(c) 考察G 的每个顶点 xi, 找 xi 可达的所有顶点 xj (允许i=j )， 如果没有从 xi  到 xj  的边, 就加上这条边, 得到图Gt

例：设A={a,b,