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 = R1R2 \ 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 | rR (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 (, ).