Karpova_bazy_dannyh
.pdf
. |
51 |


.
, |
|
|
|
|
|
|
|
|
|
- |
|
|
|
, |
|
|
|
|
, |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
. . |
|
|
|
8 |
. |
|
, |
|
- |
|
, |
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
- |
|
|
|
|
. |
|
|
|
|
|
|
: |
|
- |
|
|
|
|
|
. |
|
- |
4 |
|
|
. |
|
|
- |
|
|
|
|
, |
|
|
|
|
|
|
|
|
- |
|
|
|
|
|
. |
|
|
|
|
|
|
- |
|
|
|
|
|
|
- |
|||
|
|
|
|
|
|
|
, |
|
|
|
, |
|
|
|
, |
|
|
|
|
, |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
R1={ r1 }, R2={ r2 }, |
r1 |
r2 |
|
|||
|
R1 |
R2, |
|
|
|
|
|
|
|
|
R1 R2={r | r R1 |
|
r |
R2}. |
|
|
|
|
|
||
r |
|
|
, |
|
|
« |
|
». |
||
|
|
|
|
|
|
|
|
. 4.1. |
|
- |
|
|
|
|
|
R1, R2, |
|
|
, |
- |
|
|
|
|
|
|
|
|
|
. |
|
R3 |
|
|
|
|
, |
|
|
, |
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R1 |
|
|
|
|
R2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
00011073 |
|
|
1 |
|
|
00011073 |
|
1 |
|
|
00011075 |
|
|
2 |
|
|
00011076 |
|
3 |
|
|
00011076 |
|
|
3 |
|
|
00011077 |
|
4 |
|
|
00011003 |
|
1 |
|
|
00011004 |
|
2 |
|
|
|
00011006 |
|
3 |
|
|
00011006 |
|
3 |
|
|
|
00013063 |
|
|
1 |
|
|
|
|
|
|
|
00013066 |
|
|
3 |
|
|
|
|
|
|
|
52 |
4. |
R3 |
|
|
|
00011073 |
1 |
00011075 |
2 |
00011076 |
3 |
00011003 |
1 |
00011006 |
3 |
00013063 |
1 |
00013066 |
3 |
00011077 |
4 |
00011004 |
2 |
|
|
|
|
, |
|
|
|
|||
, |
|
|
|
|
|
|
|
|
|
R1 |
R2: |
|
|
|
|
|
|
|
|
|
|
R3=R1 R2 ={r | r |
R1 |
r R2}, |
|
|
|
|||||
|
|
|
|
( |
« »). |
|
||||
|
R4 |
|
|
, |
- |
|||||
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
00011073 |
|
|
|
|
|
1 |
|
|
|
|
00011076 |
|
|
|
|
|
3 |
|
|
|
|
00011006 |
|
|
|
|
|
3 |
|
|
|
|
|
|
R1 |
|
R2 |
, |
|
|
|||
, |
|
|
R1 |
|
|
|
R2: |
|
|
|
R5 =R1 \ R2 ={r | r |
R1 |
r |
R2}. |
|
|
|
||||
R5 |
|
|
, |
|
1, |
|||||
R6 |
|
|
, |
|
2. |
|||||
R6 = R2 \ R1 = {r | r |
R2 |
r |
R1}. |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
R5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R6 |
|
|
|
00011075 |
|
2 |
|
|
|
|
|
|
|
|
00011003 |
|
1 |
|
|
|
00011077 |
|
4 |
|
|
00013063 |
|
1 |
|
|
|
00011004 |
|
2 |
|
|
. |
53 |







, 









, 











, 














, 






























. 





















-









, 

































, 















R5
R6.





-












, 






, 













-













. 


, 



















































:



















,
, 













,



























.



























; 














R1, R2
R3. 















.
R1= (
, 


, 

);
R2= (
, 


, 

);
R3= (
, 


, 

).



























, 















, 

































, 






















-






. 



R1 











, 





-








. 



R2 











, 















.
, 


, 



R3 








- 


, 







. 





, 













-





, 




























- 
, 










.













:
1. 







, 





















. R = R1
R2 \ R3.
2.







, 

















, 




























, 













.
R =(R1 \ R2
R3)
(R2 \ R1
R3).
3. 







, 




















.
, |
, |
R1 |
R2, |
, |
R3, - |
|
. |
|
R =R1
R2
R3.
4. 







, 





















.

, 











, 









R1 




-


R2, 
, 







R2 







R1.
, 



, 












R3.
54 |
4. |
R = (R1\ R2)
(R2 \ R1) \ R3

































-



, 























, 






|
|
R3. |
|
|
|
, |
|
|
|
|
. |
|
|
|
|
|
- |
|
- |
|
|
- |
|
|
|
|
. |
|
- |
|
|
, |
|
- |
, |
, |
R1 |
R2, |
- |
. |
|
|
, |
- |













, 





, 


.




, 







, 



= < c1 , c2 ,..., cn >
q=< q1 , q2 ,..., qm >
-
, |
. |










q 






(
, q). (
, q) =< c1 , c2 ,..., cn , q1 , q2 ,..., qm >.


n 
















, m 















q.


































-























. 









-






.






















R1 


n 


S R1
( A1 , A2 ,..., An ),





R2 


m 


S R 2
(B1 , B2 ,..., Bm ),









R3 


n+m 


S R3
( A1 , A2 ,..., An , B1 , B2 ,..., Bm ),








, 
















r 



R1 






q 



R2.




R1={r}, R2 = {q},
R1
R2 ={(r, q) | r
R1
q
R2}.


















. 


















































.
. 



, 



























-










. 





















-













, 















. 

-

, 











07 
























, 





08 









.
|
. |
|
55 |
||||
|
|
|
|
|
|
|
|
|
R3 |
|
|
|
R8 |
|
|
|
|
|
|
|
|
|
|
|
00011073 |
|
1 |
|
|
1 |
|
|
00011075 |
|
2 |
|
2 |
|
|
|
00011076 |
|
3 |
|
|
|
|
|
|
|
3 |
|
|||
|
00011003 |
|
1 |
|
|
|
|
|
00011006 |
|
3 |
|
|
|
|
|
00013063 |
|
1 |
|
|
|
|
|
00013066 |
|
3 |
|
|
|
|
|
00011077 |
|
4 |
|
|
|
|
|
00011004 |
|
2 |
|
|
|
|
|
00011005 |
|
5 |
|
|
|
|
|
00011006 |
|
6 |
|
|
|
|
|
R9, |
, |
- |
|||
, |
|
|
; |
|
||
|
|
|
|
|
|
|
R9 |
|
|
R10 |
|
|
|
00011073 |
1 |
1 |
|
00011073 |
1 |
1 |
|
|
|
|
|
|
|
00011075 |
2 |
1 |
|
00011075 |
2 |
1 |
|
|
|
|
|
|
|
00011076 |
3 |
1 |
|
00011076 |
3 |
1 |
|
|
|
|
|
|
|
00011003 |
1 |
1 |
|
00011003 |
1 |
1 |
|
|
|
|
|
|
|
00011006 |
3 |
1 |
|
00011006 |
3 |
1 |
|
|
|
|
|
|
|
00013063 |
1 |
1 |
|
00013063 |
1 |
1 |
|
|
|
|
|
|
|
00013066 |
3 |
1 |
|
00013066 |
3 |
1 |
|
|
|
|
|
|
|
00011077 |
4 |
1 |
|
00011077 |
4 |
1 |
|
|
|
|
|
|
|
00011004 |
2 |
1 |
|
00011004 |
2 |
1 |
|
|
|
|
|
|
|
00011005 |
5 |
1 |
|
00011006 |
3 |
2 |
|
|
|
|
|
|
|
00011006 |
6 |
1 |
|
00013063 |
1 |
2 |
|
|
|
|
|
|
|
00013062 |
2 |
1 |
|
00013066 |
3 |
2 |
|
|
|
|
|
|
|
00011073 |
1 |
2 |
|
00011077 |
4 |
2 |
|
|
|
|
|
|
|
00011075 |
2 |
2 |
|
00011004 |
2 |
2 |
|
|
|
|
|
|
|
|
. |
|
|
|
|
57 |
|||
|
|
|
|
|
|
|
|
|
|
|
R11 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
00011073 |
|
1 |
|
|
|
2 |
|
|
|
00011075 |
|
2 |
|
|
|
2 |
|
|
|
00011076 |
|
3 |
|
|
|
2 |
|
|
|
00011004 |
|
2 |
|
|
|
3 |
|
|
|
00013062 |
|
2 |
|
|
|
3 |
|
|
|
00011003 |
|
1 |
|
|
|
2 |
|
|
|
00011005 |
|
5 |
|
|
|
3 |
|
|
|
- |
|
|
, |
, |
, |
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
(R1 R2) \ (R1 \ R2) \ (R2 \ R1). |
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
- |
|||
|
|
|
|
|
|
. |
|
||
|
|
|
, |
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|


, 









, 















. 

-












.














, 






















(
), 
(
),
(-)
, 


, 

. 

















:
) |
, |
|
|
, |
D; |
|
, |
D, a D; |
|
D |
; |
) |
, |
|


, 









-








, 






, 
- 
















D.















, 





, 








R 











, 
















R,
- 
-






R(
), 



















, 


- 










, 





:
R[
(r)]={r | r
R 
(r)="

"}.

































-





. 


a 













.
|
58 |
|
|
|
4. |
|
|
|
, |
R10 |
|
|
«00011003». |
|
|
|
R12 =R10 [ |
|
= «00011003»] |
|
|
|
|
|
|
|
|
|
|
|
|
|
R12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
00011003 |
|
|
1 |
|
1 |
|
|
00011003 |
|
|
1 |
|
3 |
|






























. 

R 




, S R
( A1 ,..., An ) 






R.
|
|
|
|
|
|
[ Ai |
]; |
{ Ai |
}. |
|
|
|
|
|
|
|
` |
|
|
|
|
{ Ai |
}, |
|
|
. |
|
={ A1 |
, A2 |
,..., Ak }, |
`={ A1 |
, A2 |
,..., Ak } |
r=< a1 |
, a 2 |
,..., a k >, |
a k |
Ak , |
|||
|
1 |
1 |
|
1 |
j |
j |
|
j |
1 |
1 |
1 |
1 |
1 |
r[B],s=< a1 |
, a 2 ,..., a m >, a m |
Am . |
|
|
|
|
|
|
|
|
|||
j |
j |
|
j |
j |
j |
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
, |
|
|
R[B], |
|
|
|
|
|
|
, |
|
|
|
|
|
|
S R[ B] |
= , |
- |
|
|
, |
|
|
|
|
|
|
|
|
R |
|
|
|
|
, |
|
|
|
|
|
|
|
. |
|
|
|
R[B] = {r[ |
]}. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
bp |
- |
|
. |
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
. |
, |
- |
|
|
|
|
|
|
|
|
. |
, |
, |
|
|
|
« |
Ml». |
|
|
|
|
R10 |
|
|
|
|
, |
|
|
|
|
« |
». |
|
- |
||
|
|
|
R14: |
|
|
|
||
R13 = R10 [ |
« |
Ml»] |
|
|
|
|||
R14= R13 [ |
] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R13 |
|
|
|
|
|
|
R14 |
|
|
|
|
|
|
|
|
|
|
00011003 |
|
1 |
|
1 |
|
|
1 |
|
00011003 |
|
1 |
|
3 |
|
|
3 |
|


































-








.
. |
59 |



:












, 










, 

















, 




















, 





















, 








.


R={r}, Q={q} 








,
Sr, Sq 







R
Q 





.
S R |
( A1 , A2 ,..., Ak ) ; SQ (B1 , B2 ,..., Bm ) , |
|
|
Ai, Bj |
R Q |
. |
|
|
, |
. |
|
{ |
i}i-1,k; |
{ Bj}j-1,m, |
|











-








.













R
Q 

















-












R
Q, 


















,

























:
or.Ai
i Bi: i-1,k, 

- 






, 









, 
- 












.
oAi
i D;
i
i-








, 













- 





Di, 







.
R [
] Q ={ (r,q)| (r,q) | r.A
i q.Bi= «

», i=l,k}
|
, |
|
|
. |
|
|
R15 |
- |
|
|
, |
|
|
|
|
|
, |
||
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R15 |
|
|
|
|
|
|
|
R16 |
|
|
|
|
|
|
|
|
|
|
|
00011073 |
|
1 |
|
- |
1 |
|
|
|
1 |
00011075 |
|
2 |
|
- |
2 |
|
|
|
3 |
00011076 |
|
3 |
|
- |
1 |
|
|
|
1 |
00011003 |
|
1 |
|
- |
3 |
|
|
|
3 |
00011006 |
|
3 |
|
- |
3 |
|
|
|
2 |
00013063 |
|
1 |
|
- |
1 |
|
|
|
|
00013066 |
|
3 |
|
- |
1 |
|
|
|
|
00011077 |
|
4 |
|
- |
2 |
|
|
|
|
00011004 |
|
2 |
|
- |
3 |
|
|
|
|
00011005 |
|
5 |
|
- |
3 |
|
|
|
|
00013062 |
|
2 |
|
- |
1 |
|
|
|
|











, 













1 




<

-
1>.
60 |
|
|
|
|
|
|
|
4. |
|
|
|
|
R16=(R15[(R15 |
|
=R10 |
|
) |
R10 |
=« 1» |
|
|
|
|||
R15 |
|
=« |
1»] R10[ |
|
]. |
|
|
|
|
|
||
|
|
, |
|
|
|
|
|
|
|
, |
- |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
S R ( A1 , A2 ,..., Ak ) . |
|
|
|
|
|
|
||
|
|
|
|
|
{ |
i}, i=l,k, |
` |
|
|
, |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
` |
|
|
`= , |
|
|
|
|
|
|
|
|
|
|
|
|
A |
` = SR. |
|
|
|
|
|
|
|
|
|
|
|
R[A] |
|
|
|
|
|
|
|
|
R[ `], |
|
c |
|
( , |
) |
|
|
- |
||
R, |
|
|
|
|
|
|
|
|
|
|
|
|
QA(x) = { |
| |
R[A`] |
( , |
) |
R} - |
|
|
. |
|
|
|
|
|
|
|
|
|
Rl5 |
|
|
« |
2» |
|
|
|
R15 |
|
={< 00011075, |
2, « |
- |
2»>, |
|
|
|
|
|||
< 00011077, |
4 « |
|
- |
2»>). |
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
S R ( A1 , A2 ,..., Ak ) , ST |
(B1 , B2 ,..., Bm ) , |
|
|
|
|
|
|
|
||||
|
|
|
|
|
, |
|
|
|
( |
|
), |
|
A SR, B |
ST. |
|
|
|
|
|
|
|
|
|
|
|
` |
|
|
|
R, |
|
|
|
|
. |
|
|
|
|
|
|
`= |
- |
A |
` = SR. |
|
R[A] |
[ ] |
- |
||
|
|
, |
|
|
|
|
|
|
SR[A]=ST[B]. |
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
Q =R[A
]
, 





















R[A`], 





[
] 





















:
R[A
]
={r | r
R[A`] 
[
]
{
| 
R [
]
(r,
)
R }}.













, 





































. 


, 











R7,

































-

, 





R10 









, 












-








. 

















, 




-
















.



























R10 


- 
R7 







(



, 







).


«
». 







.


R11,
:




?


, 


, 








- 

, 



















, 












- R10 






















, 
