第二章关系 [兼容模式].pdf





《第二章关系 [兼容模式].pdf》由会员分享,可在线阅读,更多相关《第二章关系 [兼容模式].pdf(63页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第二章第二章关系关系第二章第二章关系关系在上一章讨论了集合及集合的运算,在这一章在上一章讨论了集合及集合的运算,在这一章中我们将要研究中我们将要研究集合内元素间的关系集合内元素间的关系,这就是这就是中我们将要研究中我们将要研究集合内元素间的关系集合内元素间的关系,这就是这就是“关系”。关系是一个很重要的数学基本概念,“关系”。关系是一个很重要的数学基本概念,它在计算机科学中的许多方面如数据结构、数它在计算机科学中的许多方面如数据结构、数据库据库、情报检索情报检索、算法分析等都有很多应用算法分析等都有很多应用。据库据库、情报检索情报检索、算法分析等都有很多应用算法分析等都有很多应用。本章主要讨论
2、本章主要讨论二元关系二元关系理论。理论。第二章第二章关系关系第二章第二章关系关系主要内容:主要内容:关系的概念关系的概念关系的概念关系的概念关系的运算关系的运算关系的运算关系的运算关系的性质关系的性质关系的性质关系的性质关系的闭包运算关系的闭包运算引言引言引言引言关系是一个非常普遍的概念,如数值的大关系是一个非常普遍的概念,如数值的大于关系于关系、整除关系整除关系,人类的父子关系人类的父子关系、师师于关系于关系、整除关系整除关系,人类的父子关系人类的父子关系、师师生关系、同学关系等。生关系、同学关系等。如令如令=1,2,3,4,A中元素间的中元素间的关系关系R:R=(1,1),(1,2),(1
3、,3),(1,4),(2,2),(2,3),(2 4)(3 3)(3 4)(4 4)AA(2,4),(3,3),(3,4),(4,4)AA基本概念基本概念基本概念基本概念 二元关系:二元关系:设A,B是两个集合,R是笛卡儿积设A,B是两个集合,R是笛卡儿积AB的AB的任一子集任一子集,则称R为从A到B的一个二元,则称R为从A到B的一个二元关系关系,简称关系简称关系。特别当特别当A=BA=B时时,则称则称R R为为A A上上关系关系,简称关系简称关系。特别当特别当A=BA=B时时,则称则称R R为为A A上上的二元关系(或A上的关系)。的二元关系(或A上的关系)。记法:(x,y)记法:(x,y)
4、R,xRy 称之为x与y有关系。R,xRy 称之为x与y有关系。(x,y)R 称之为x与y没有关系(x,y)R 称之为x与y没有关系。基本概念基本概念基本概念基本概念设R是二元关系,由(x,y)R的设R是二元关系,由(x,y)R的所有x所有x组成组成的集称为的集称为R R的定义域的定义域,记作记作D(R)D(R)。的集称为的集称为R R的定义域的定义域,记作记作D(R)D(R)。由(x,y)R的由(x,y)R的所有y所有y组成的集合称为R的值域,组成的集合称为R的值域,记作C(R)记作C(R)例例1 设设A bdB 1 2 3例例1 设设A=a,b,c,d,e,B=1,2,3,R=(a,2),
5、(b,3),(c,2),求,求R的定义域和值的定义域和值域解域解 D(R)=a,b,c,C(R)=2,3。基本概念基本概念基本概念基本概念例例2 设设A=1,3,5,7,R是是A上的二元关系,上的二元关系,当当,且且时时,求求 和它的和它的当当a,b A且且ab时时,(a,b)R,求求R和它的和它的定义域和值域定义域和值域。定义域和值域定义域和值域。解解 R=(1 3)(1 5)(1 7)(3 5)(3 7)(5 7)解解 R=(1,3),(1,5),(1,7),(3,5),(3,7),(5,7)D(R)=1 3 5,C(R)=3 5 7。D(R)1,3,5,C(R)3,5,7。关系的表示方法
6、关系的表示方法关系的表示方法关系的表示方法1.1.枚举法枚举法:1.1.枚举法枚举法:即将关系中所有序偶一一列举出,如前的即将关系中所有序偶一一列举出,如前的R=(1,1),(1,2),(1,3),(1,4),(2,2),(2 3)(2 4)(3 3)(3 4)(4 4)(2,3),(2,4),(3,3),(3,4),(4,4)。2.描述法:。2.描述法:即用语言描述序偶的第一元素与第二元素间即用语言描述序偶的第一元素与第二元素间的关系的关系。例如例如的关系的关系。例如例如R=(x,y)|xy关系的表示方法关系的表示方法关系的表示方法关系的表示方法3.3.有向图法有向图法:3.3.有向图法有向
7、图法:R R A AB,B,用两组小圆圈用两组小圆圈(称为结点称为结点)分别分别R R A AB,B,用两组小圆圈用两组小圆圈(称为结点称为结点)分别分别表示A和B的元素,当(x,y)R时,从x到y引表示A和B的元素,当(x,y)R时,从x到y引一条有向弧一条有向弧(边边)。这样得到的图形称为这样得到的图形称为R R的的一条有向弧一条有向弧(边边)。这样得到的图形称为这样得到的图形称为R R的的关系图。关系图。例例 设设A 1 2 3 4 B bRAB例例 设设A=1,2,3,4,B=a,b,c,R3 AB,R3=(1,a),(1,c),(2,b),(3,a),(4,c)AB3(,),(,),
8、(,),(,),(,)则则R 的关系图为的关系图为:1。2。ab则则R3的关系图为的关系图为:3。4。c关系的表示方法关系的表示方法关系的表示方法关系的表示方法例 设例 设A=1,2,3,4,R4 AA,R(1 1)(1 4)(2 3)(3 1)(3 4)(4 1)(4 2)R4=(1,1),(1,4),(2,3),(3,1),(3,4),(4,1),(4,2)12则R则R4 4的关系图为:的关系图为:1。4。23R4:4 44。3关系的表示方法关系的表示方法关系的表示方法关系的表示方法4.矩阵表示法4.矩阵表示法:有限集合之间的关系也可以用矩阵来表示,有限集合之间的关系也可以用矩阵来表示,这
9、种表示法便于用计算机来处理关系。设,是个有A=a1,a2,am,B=b1,b2,bn是个有限 集,RAB,定 义 R 的 mn 阶 矩 阵限 集,,定 义的阶 矩 阵MR=(rij)mn,其中rij=1 若(ai,bj)R0 若(ai,bj)R(1im,1jn)关系的表示方法关系的表示方法关系的表示方法关系的表示方法R3=(1,a),(1,c),(2,b),(3,a),(4,c)R4=(1,1),(1,4),(2,3),(3,1),(3,4),(4,1),(4,2)R4(1,1),(1,4),(2,3),(3,1),(3,4),(4,1),(4,2)1 0 11a b c上例中 MR3=,0
10、1 01 0 00 0 1432341 0 0 10 0 1 011 2 3 4MR4=0 0 1 01 1 0 01 0 0 144234三个特殊关系三个特殊关系三个特殊关系三个特殊关系1.1.空关系空关系1.1.空关系空关系因为因为 A AB B,(或或 A AA)A),所以所以也是也是因为因为 A AB B,(或或 A AA)A),所以所以也是也是一个从A到B(或A上)的关系,称之为空关系。一个从A到B(或A上)的关系,称之为空关系。即即无任何元素的关系无任何元素的关系,它的关系图中只有结它的关系图中只有结即即无任何元素的关系无任何元素的关系,它的关系图中只有结它的关系图中只有结点,无任
11、何边;它的矩阵中全是0。点,无任何边;它的矩阵中全是0。2.2.完全关系完全关系(全域关系全域关系)2.2.完全关系完全关系(全域关系全域关系)A AB(B(或或A AA)A)本身也是一个从本身也是一个从A A到到B(B(或或A A上上)A AB(B(或或A AA)A)本身也是一个从本身也是一个从A A到到B(B(或或A A上上)的关系,称之为完全关系。即含有 的关系,称之为完全关系。即含有全部序偶全部序偶的关系的关系。它的矩阵中全是它的矩阵中全是1 1。的关系的关系。它的矩阵中全是它的矩阵中全是1 1。三个特殊关系三个特殊关系三个特殊关系三个特殊关系3.3.A上的上的恒等关系恒等关系I:3.
12、3.A上的上的恒等关系恒等关系IA:IA AA,且,且IA=(x,x)|xA称为称为A上的恒等关系。上的恒等关系。例如A=1,2,3,则IA=(1,1),(2,2),(3,3)A上的、完全关系及IA的关系图及矩阵如下:A上的、完全关系及IA的关系图及矩阵如下:1。1。1。2。32。31。2。3M=1 0 00 1 01 1 11 1 10 0 00 0 0M=MAA=AAIAMIA=0 0 1331 1 1330 0 033关系的集合运算关系的集合运算关系的集合运算关系的集合运算由于关系就是集合由于关系就是集合,所以集合的所以集合的 和和运运由于关系就是集合由于关系就是集合,所以集合的所以集合
13、的,-和和运运算对关系也适用。算对关系也适用。例如:例如:X=a,b,c,Y=1,2,且有从且有从X到到Y的关系的关系R=(a 1)(b 2)(c 1)R=(a,1),(b,2),(c,1)S=(a,1),(b,1),(c,1)则有则有RS=(a,1),(b,1),(b,2),(c,1),RS=(a 1)(c 1),RS=(a,1),(c,1),R=(a,2),(b,1),(c,2),()()()R-S=(b,2)关系的集合运算关系的集合运算关系的集合运算关系的集合运算例 设例 设X=1,2,3,4,5,若,若A=(x,y)|x与与y的差的差能被能被 整除整除,与与 的差为正且能被的差为正且能
14、被能被能被2整除整除,B=|x与与y的差为正且能被的差为正且能被3整除整除,整除整除,求求AB,AB,A-B,B-A,A。解解:A(1 1)(1 3)(1 5)(2 2)(2 4)(3 1)(3 3)(3 5)(4 2)A=(1,1),(1,3),(1,5),(2,2),(2,4),(3,1),(3,3),(3,5),(4,2),(4,4),(5,1),(5,3),(5,5)B=(4,1),(5,2)解A=,B=,AB=,AB=A-B=,=A3,=AB-A=,=BA=1,2,3,4,51,2,3,4,5-,=,关系的运算关系的运算关系的运算关系的运算除了可进行集合并除了可进行集合并、交交、补等
15、运算外补等运算外,还可以还可以除了可进行集合并除了可进行集合并、交交、补等运算外补等运算外,还可以还可以进行一些新的运算,先介绍由两个关系生成一进行一些新的运算,先介绍由两个关系生成一种新的关系种新的关系,即关系的复合运算即关系的复合运算。1.1.定义定义:设是R是从X到Y的关系,S是从Y到Z的关系,种新的关系种新的关系,即关系的复合运算即关系的复合运算。1.1.定义定义:设是R是从X到Y的关系,S是从Y到Z的关系,则R和S的复合关系记作R?S。定义为:R?S=(x,z)|xX,zZ,yY,(x,y)R,(y,z)S显然,R?S 是从X到Z的关系。显然,R?S 是从X到Z的关系。关系的运算关系
16、的运算关系的运算关系的运算2.2.复合关系的计算方法复合关系的计算方法2.2.复合关系的计算方法复合关系的计算方法A=1,2,3,B=1,2,3,4,C=1,2,3,4,5,R AB,S BC枚举法枚举法枚举法枚举法R=(1,2),(2,3),(2,4),(3,1)R(1,2),(2,3),(2,4),(3,1)S=(1,2),(2,1),(2,3),(3,4),(4,2),(4,5)则则R?S=(1,1),(1,3),(2,4),(2,2),(2,5),(3,2)R S(1,1),(1,3),(2,4),(2,2),(2,5),(3,2)S?R=(1,3),(1,4),(2,2),(2,1)
17、,(4,3),(4,4)关系的运算关系的运算关系的运算关系的运算有向图法有向图法有向图法有向图法R=(1,2),(2,3),(2,4),(3,1)S=(1,2),(2,1),(2,3),(3,4),(4,2),(4,5)RSSR。C11。2A1。2A。B12RS。C1SR?。232。3。2。3。234。23。4。45。45则R?S=(1,1),(1,3),(2,4),(2,2),(2,5),(3,2)关系的运算关系的运算关系的运算关系的运算关系矩阵法关系矩阵法R=(1 2)(2 3)(2 4)(3 1)关系矩阵法关系矩阵法R=(1,2),(2,3),(2,4),(3,1)S=(1,2),(2,
18、1),(2,3),(3,4),(4,2),(4,5)MMMR=,MS=MR?S=MR MS=关系的运算关系的运算关系的运算关系的运算谓词公式法谓词公式法设I是实数集合,R和S都是I上的关系,定义设I是实数集合,R和S都是I上的关系,定义如下:R=(x,y)|y=x2+3xS=(x,y)|y=2x+3RSxx2+3x2(x2+3x)+3 =2x2+6x+3RS所以 R?S=(x y)|y=2x2+6x+3所以 R?S(x,y)|y 2x+6x+3关系的运算关系的运算关系的运算关系的运算关系的运算的性质关系的运算的性质关系复合运算关系复合运算不满足交换律不满足交换律,但是,但是满足结满足结合律合律
19、:RAB,SBC,TCD,则()()S T(R?S)?T=R?(S?T)=R?S?T所以可将关系的幂定义如下:所以可将关系的幂定义如下:设一个集合X上的关系R,则Rn可定义为:(1)R1=R;(2)Rn+1RnR(2)Rn+1=Rn?R.关系的运算关系的运算关系的运算关系的运算证明(R S)TR(S T)证明:(R?S)?T=R?(S?T)首先证(R?S)?T R?(S?T)()()(x,u)(R?S)?T z,(x,z)RS(z,u)Ty(x y)R(y z)S(z u)Ty,(x,y)R(y,z)S(z,u)T(x,y)R z,(y,z)S(z,u)T y,(x,y)R (y,u)S T(
20、x,u)R?(S?T)(x,u)R(S T)同理可证:R?(S?T)(R?S)?T 则(R S)TR(S T)则:(R?S)?T=R?(S?T)关系的运算关系的运算关系的运算关系的运算逆关系(反关系)也是我们经常遇到的概念例如与就是互为逆关系。例如与就是互为逆关系。1.定义:R是从A到B的关系,如果将R中的所有如果将R中的所有序偶的两个元素的位置互换序偶的两个元素的位置互换,得到一个从B到A的关系,称之为R的逆关系,记作R。A的关系,称之为R的逆关系,记作R。R=(y,x)|(x,y)R(y,x)R(x,y)R关系的运算关系的运算关系的运算关系的运算2.计算方法R=(1 2)(2 3)(3 4
21、)(4 5)R=(1,2),(2,3),(3,4),(4,5)R=(2,1),(3,2),(4,3),(5,4)R的有向图是将R的有向图的所有边的方向所有边的方向颠倒一下即可颠倒一下即可 R的矩阵 MR=(MR)T 即为R颠倒一下即可颠倒一下即可,R的矩阵 MR(MR)即为R矩阵的转置。如1 0 1 01 0 11 0 1 00 0 0 11 0 1 1MR=340 0 01 0 10 1 1MR=1 0 10 1 143关系的运算关系的运算关系的运算关系的运算逆关系的性质:逆关系的性质:设R,S分别是从X到Y及Y到Z的关系,则有设R,S分别是从X到Y及Y到Z的关系,则有(1)R=R(1)R
22、R(2)(R?S)=S?R(2)(R?S)S?R证明(RS)1RS y(yYRS)y(yYS1R1)S 1 R 1 S1R1。所以,(RS)1=S1R1。关系的重要性质关系的重要性质关系的重要性质关系的重要性质本节将研究关系的一些性质,它们在关系的研究中起着重要的作用。研究中起着重要的作用。这是本章最重要的一节这是本章最重要的一节。本节中所讨论的关系都是集合A中的关系。本节中所讨论的关系都是集合A中的关系。关系的性质主要有:自反性、反自反性、自反性、反自反性、对称性、反对称性、传递性。对称性、反对称性、传递性。关系的重要性质关系的重要性质关系的重要性质关系的重要性质1.自反性1.自反性定义定义
23、:设R是集合上的关系,如果对于任意任意定义定义:设R是集合上的关系,如果对于任意任意xA都有(x,x)R(xRx),则称R是A中自反关系。即关系。即R是A中自反的 x(xA)xRx例如在实数集合中,“”是自反关系,因为,对任意实数x,有x x.对任意实数x,有x x.从关系有向图看自反性:每个结点都有环。从关系有向图看自反性:每个结点都有环。从关系矩阵看自反性:主对角线都为1从关系矩阵看自反性:主对角线都为1。关系的重要性质关系的重要性质关系的重要性质关系的重要性质令A 1 2 3给定A上八个关系找自反关系找自反关系令A=1,2,3给定A上八个关系,找自反关系找自反关系1。1。1。1。2。2。
24、2。2。3333R2R1R3R41。1。1。1。21342。2。2。2。3333RRRRR5R6R7R8R1、R3、R4关系的重要性质关系的重要性质关系的重要性质关系的重要性质2.2.反自反性反自反性2.2.反自反性反自反性定义定义:设R是集合A中的关系,如果对于任意任意定义定义:设R是集合A中的关系,如果对于任意任意的xA,都有(x,x)R的xA,都有(x,x)R,则称R为A中的反自反关系。即关系。即R是A中反自反的x(xA(x,x)R)从关系有向图看反自反性:每个结点都无环。从关系矩阵看反自反性:主对角线都为0。从关系矩阵看反自反性:主对角线都为0。注意注意:一个关系如果不具有自反性,不一
25、定具有反自反性。具有反自反性。关系的重要性质关系的重要性质关系的重要性质关系的重要性质找反自反关系找反自反关系找反自反关系找反自反关系1。1。1。1。2。2。2。2。3333R2R1R3R41。1。1。1。2。2。2。2。3333R5R6R7R85R6R7R8R2、R5、R8关系的重要性质关系的重要性质关系的重要性质关系的重要性质例例 设设A=1,2,3A=1,2,3,R1R1,R2R2,R3R3是是A A上的关系上的关系,其中其中 例例 设设A=1,2,3A=1,2,3,R1R1,R2R2,R3R3是是A A上的关系上的关系,其中其中 R1,R1,R2R2,R2R2,R3R3说明R1,R2和
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 兼容模式 第二章关系 兼容模式 第二 关系 兼容 模式

限制150内