Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Karpova_bazy_dannyh

.pdf
Скачиваний:
18
Добавлен:
08.05.2015
Размер:
37.69 Mб
Скачать

.

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

 

 

 

 

 

 

 

56

4.

R9 (

)

 

 

 

 

00011076

3

2

 

 

 

00011003

1

2

 

 

 

00011006

3

2

 

 

 

00013063

1

2

 

 

 

00013066

3

2

 

 

 

00011077

4

2

 

 

 

00011004

2

2

 

 

 

00011005

5

2

 

 

 

00011006

6

2

 

 

 

00013062

2

2

 

 

 

00011073

1

3

 

 

 

00011075

2

3

 

 

 

00011076

3

3

 

 

 

00011003

1

3

 

 

 

00011006

3

3

 

 

 

00013063

1

3

 

 

 

00013066

3

3

 

 

 

00011077

4

3

 

 

 

00011004

2

3

 

 

 

00011005

5

3

 

 

 

00011006

6

3

 

 

 

00013062

2

3

 

 

 

«».

R9

.

R11,

:

R11= R9 \ R10.

R10 (

)

 

 

 

 

00011006

6

2

 

 

 

00013062

2

2

 

 

 

00011073

1

3

 

 

 

00011075

2

3

 

 

 

00011076

3

3

 

 

 

00011003

1

3

 

 

 

00011006

3

3

 

 

 

00013063

1

3

 

 

 

00013066

3

3

 

 

 

00011077

4

3

 

 

 

00011005

5

3

 

 

 

00011006

6

3

00011005

5

3

00011005

5

1

00011006

6

1

00013062

2

1

?

, , - ,

, - R10

,

 

.

 

 

 

 

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

 

 

«

 

 

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 (, ).

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]