µÚ¶þÕÂ
2.1 ÊÔÊö¹ØÏµÄ£Ð͵Ä3¸ö×é³É²¿·Ö
´ð£º¹ØÏµÄ£ÐÍÓɹØÏµÊý¾Ý½á¹¹¡¢¹ØÏµ²Ù×÷ºÍ¹ØÏµÍêÕûÐÔÔ¼ÊøÈý²¿·Ö×é³É¡£ 2.2 Ò»¸ö¹ØÏµÄ£Ê½ÄÜ·ñûÓйؼü×Ö£¿ÎªÊ²Ã´£¿
´ð£º²»¿ÉÒÔûÓйؼü×Ö£¬ÒòΪ¹Ø¼ü×ÖÊÇÔª×éµÄΨһ±êÖ¾£¬Èç¹ûûÓйؼü×ÖÔòÎÞ·¨Î¨Ò»±êʶһ¸öÔª×é¡£
2.3 ÊÔÊö¹ØÏµÄ£Ð͵ÄÍêÕûÐÔ¹æÔò¡£ÔÚ²ÎÕÕÍêÕûÐÔÖУ¬ÎªÊ²Ã´Íⲿ¹Ø¼ü×ÖÊôÐÔµÄÖµÒ²¿ÉÒÔΪ¿Õ£¿Ê²Ã´Çé¿öϲſÉÒÔΪ¿Õ£¿ ´ð£º£¨1£©ÊµÌåÍêÕûÐÔ¹æÔò£ºÈôÊôÐÔAÊÇ»ù±¾¹ØÏµRµÄÖ÷ÊôÐÔ£¬ÔòÊôÐÔA²»ÄÜÈ¡¿ÕÖµ¡£
£¨2£©²ÎÕÕÍêÕûÐÔ¹æÔò£ºÈôÊôÐÔ(»òÊôÐÔ×é)FÊÇ»ù±¾¹ØÏµRµÄÍâÂ룬ËüÓë»ù±¾¹ØÏµSµÄÖ÷ÂëKsÏà¶ÔÓ¦(»ù±¾¹ØÏµRºÍS²»Ò»¶¨ÊDz»Í¬µÄ¹ØÏµ)£¬Ôò¶ÔÓÚRÖÐÿ¸öÔª×éÔÚFÉϵÄÖµ±ØÐëΪ£º»òÕßÈ¡¿ÕÖµ(FµÄÿ¸öÊôÐÔÖµ¾ùΪ¿ÕÖµ)£»»òÕßµÈÓÚSÖÐij¸öÔª×éµÄÖ÷ÂëÖµ¡£¼´ÊôÐÔF±¾Éí²»ÊÇÖ÷ÊôÐÔ£¬Ôò¿ÉÒÔÈ¡¿ÕÖµ£¬·ñÔò²»ÄÜÈ¡¿ÕÖµ¡£
µ±Íⲿ¹Ø¼ü×ÖF¶ÔÓ¦µÄÖ÷¼üKsֵΪ¿Õֵʱ£¬ËµÃ÷FÔÝʱûÓи³Öµ£¬´ËʱFÖµ±ØÐëÈ¡¿ÕÖµ¡£
2.4Ò»¸önÐС¢mÁеĶþά±í£¨ÆäÖÐûÓÐÁ½ÐлòÁ½ÁÐȫͬ£©£¬½«ÐлòÁн»»»ºó£¬Äܵ¼³ö¶àÉÙ¸ö²»Í¬µÄ±í£¿ ´ð£º1¸ö 2.5 ´ð£º
(1) ×îС¸öÊýΪ£ºÈ¡m,nÖеĴóÕߣ»×î´ó¸öÊýΪ£ºm+n (2) ×îС¸öÊýΪ£º0£»×î´ó¸öÊýΪ£ºÈ¡m,nÖеÄСÕß (3) ×îС¸öÊýΪ£º0£»×î´ó¸öÊýΪ£ºm*n (4) ×îС¸öÊýΪ£º0£»×î´ó¸öÊýΪ£ºn 2.6 ´ð£º
R?S= {(3,6,7), (2,5,7), (7,2,3), (4,4,3), (3,4,5)} R-S= {(3,6,7), (2,5,7), (4,4,3) } R?S= {(7,2,3)}
R¡ÁS= {(3,6,7,3,4,5), (3,6,7,7,2,3), (2,5,7,3,4,5), (2,5,7,7,2,3), (7,2,3,7,2,3), (7,2,3,3,4,5), (4,4,3,3,4,5), (4,4,3,7,2,3) } ?3,2(s)= {(5,4),(3,2)}
?B<¡®5¡¯(R)= {(7,2,3),( 4,4,3)} 2.7
´ð£º¸Ã±í´ïʽµÄÒâ˼ÊÇ£º´Ó¹ØÏµRÖÐÑ¡ÔñÔª×飬¸ÃÔª×éÂú×㣺µÚ1·ÖÁ¿Öµ»òµÚ2·ÖÁ¿ÖµÖÁÉÙÓÐÒ»¸ö²»µÈÓÚÆäËûijԪ×飬¼´Ñ¡ÔñÓëÆäËûÔª×é²»ÍêÈ«ÏàͬµÄÔª×é¡£ÓÉÓÚ¹ØÏµÄ£Ð͵ÄÐÔÖÊÒªÇ󣬹ØÏµÖв»Äܹ»ÓÐÖØ¸´µÄÔª×飬Òò´ËÉÏÊöÌõ¼þÒ»¶¨Âú×㣬ËùÒÔ£¬Õâ¸ö±í´ïʽ½á¹û¾ÍÊÇR¡£ 2.8
£¨1£©´ÓRºÍSµÄµÑ¿¨¶û»ýÖÐÑ¡ÔñÂú×ãÏÂÁÐÌõ¼þµÄÔª×飺 µÚ2·ÖÁ¿ÓëµÚ4·ÖÁ¿ÏàµÈ£¬»òµÚ3·ÖÁ¿ºÍµÚ4·ÖÁ¿ÏàµÈ£¬²¢È¡µÚ1·ÖÁ¿ºÍµÚ5·ÖÁ¿¹¹³ÉÐµĹØÏµ¡£
£¨2£©Ôª×é±í´ïʽ
£¨3£©Óò±í´ïʽ 2.9 £¨1£©ººÓï±í´ïʽ£ºÑ¡ÔñR¹ØÏµÖÐÔª×éµÚ2·ÖÁ¿Öµ²»µÈÓÚS¹ØÏµÖÐijԪ×éµÚ1·ÖÁ¿ÖµµÄÔª×é¡£ £¨2£©¹ØÏµ´úÊý±í´ïʽ£º £¨3£©Óò±í´ïʽ£º 2.10
£¨1£©ººÓï±í´ïʽ£ºÑ¡ÔñRÖÐÔª×éµÚ1·ÖÁ¿ÖµÓëµÚ2·ÖÁ¿Öµ»¥»»ºóÈÔ´æÔÚÓÚRÖеÄÔª×é¡£ £¨2£©¹ØÏµ´úÊý±í´ïʽ£º £¨3£©Óò±í´ïʽ£º 2.11 (1) (2) (3) (4) 2.12
ÉèÓйØÏµ£ºS(SNO,SNAME,AGE,SEX,CDEPT); SC(SNO,CNO,GRADE);
C(CNO,CNAME,CDEPT,TNAME); ÓùØÏµ´úÊý±íʾ (1) ÁõÀÏʦËù½ÌÊڿγ̵Ŀγ̺š¢¿Î³ÌÃû ¡ÇCNO£¬CNAME£¨¦ÒTNAME=¡®Áõ¡¯£¨C£©£©
(2) ¼ìË÷ÄêÁä´óÓÚ23µÄÄÐѧÉúµÄѧºÅºÍÐÕÃû ¡ÇSNO£¬SNAME£¨¦ÒAGE>23¡ÉSEX=¡®ÄС¯ £¨S£© £©
(3) ¼ìË÷ѧºÅΪ¡®090111¡¯Ñ§ÉúËùѧ¿Î³ÌµÄ¿Î³ÌÃûÓëÈονÌʦÃû ¡ÇCNAME£¬TNAME£¨C ¡Þ¦ÒSNO=¡®090111¡¯SC £©
(4) ¼ìË÷ÖÁÉÙÑ¡ÐÞÁõÀÏʦËù½ÌÊڿγÌÖÐÒ»ÃſεÄŮѧÉúÐÕÃû ¡ÇSNAME£¨¦ÒTNAME=¡®Áõ¡¯£¨C£© ¡Þ SC¡Þ¦ÒSEX=¡®Å®¡¯£¨S£©£© (5) ¼ìË÷¡®ÍõÒ»Äþ¡¯Í¬Ñ§²»Ñ§¿Î³ÌµÄ¿Î³ÌºÅ
¡ÇCNO£¨C£© - ¡ÇCNO£¨¦ÒSNAME=¡®ÍõÒ»Äþ¡¯£¨S£©¡Þ SC£© (6) ¼ìË÷ÖÁÉÙÑ¡ÁËÁ½ÃſεÄѧÉúѧºÅ ¡ÇSNO£¨¦Ò[1]=[4] ¡É [2]<>[5]( SC ¡Á SC)£©
(7) ¼ìË÷È«²¿Ñ§Éú¶¼Ñ¡Ð޵Ŀγ̵Ŀγ̺źͿγÌÃû ¡ÇCNO£¬CNAME£¨C ¡Þ£¨¡ÇSNO£¬CNO£¨SC£©¡Â¡ÇSNO£¨S£©£©£©
(8) ¼ìË÷Ñ¡Ð޿γ̰üÀ¨ÁõÀÏʦËù½ÌÊڿγ̵ÄѧÉúÐÕÃû ¡ÇSNAME£¨SC¡Þ¦ÒTNAME=¡®Áõ¡¯£¨C£©£© 2.13
(1)ÁõÀÏʦËù½ÌÊڿγ̵Ŀγ̺š¢¿Î³ÌÃû
{t|(u)(C(u)t[1]=u[1] t[2]=u[2] C[3]=¡®Áõ¡¯)} (2)¼ìË÷ÄêÁä´óÓÚ23µÄÄÐѧÉúµÄѧºÅºÍÐÕÃû
{t|(u)(S(u)t[1]=u[1] t[2]=u[2] u[3]> 23 u[4]= (3)¼ìË÷ѧºÅΪ¡®090111¡¯Ñ§ÉúËùѧ¿Î³ÌµÄ¿Î³ÌÃûÓëÈονÌʦÃû {t|(u)(v)(C(v)SC(u)v[1]=u[2]t[1]=v[2] ¡®090111¡¯)}
(4)¼ìË÷ÖÁÉÙÑ¡ÐÞÁõÀÏʦËù½ÌÊڿγÌÖÐÒ»ÃſεÄŮѧÉúÐÕÃû
)} t[2]=v[3]v[1]= ¡®ÄС¯{t|(u)(v)(w)(S(u)SC(v)C(w) u[4]= ¡®Å®¡¯v[1]=u[1] v[2]=w[1] w[3]=¡®Áõ¡¯t[1]=u[2])}
(5)¼ìË÷¡®ÍõÒ»Äþ¡¯Í¬Ñ§²»Ñ§¿Î³ÌµÄ¿Î³ÌºÅ (6)¼ìË÷ÖÁÉÙÑ¡ÁËÁ½ÃſεÄѧÉúѧºÅ
(7)¼ìË÷È«²¿Ñ§Éú¶¼Ñ¡Ð޵Ŀγ̵Ŀγ̺źͿγÌÃû
(8)¼ìË÷Ñ¡Ð޿γ̰üÀ¨ÁõÀÏʦËù½ÌÊڿγ̵ÄѧÉúÐÕÃû 2.15
(1)¦ÐCNO,TNAME £¨¦ÒSDEPT=¡®¼ÆËã»ú¡¯ (S) ¡ÞSC¡Þ¦ÒCDEPT=¡®×Ô¶¯»¯¡¯ (C) £© (2) ¦ÐCNO,TNAME £¨¦ÒSDEPT=¡®¼ÆËã»ú¡¯ ¡Ä ¦ÒCDEPT=¡®×Ô¶¯»¯¡¯ ¡Ä S.SNO=SC.SNO¡ÄSC.CNO=C.CNO £¨S¡Á SC ¡Á C£©£© (3)
¦°CNO,TNAME ¦ÒSDEPT=¡®¼ÆËã»ú¡¯¡Ä ¦ÒCDEPT=¡®×Ô¶¯»¯¡¯ ¡ÄS.SNO=SC.SNO¡ÄSC.CNO=C.CNO ¡Á ¡Á SC C S
¦°CNO,TNAME ¦ÒSC.CNO=C.CNO ¡Á ¦ÒS.SNO=SC.SNO ¡Á SDEPT=¡®¼ÆËã»ú¡¯ SC S CDEPT=¡®×Ô¶¯»¯¡¯ C ¦Ò ¦Ò