.


:




:

































 

 

 

 





. 3.7. ( 3.6 )


. 3.7 , , : . . 3.5, . , , , , .

(:) (1:1)

: - , ( 3.8 3.9).

[
 
I

 

 

3.8 : ( 1)

 

(, ) (, ) , ( , ) , , .

, , .

...
   

 

t

   
3.9 : (2)

 

1:1 - ( ) , ( 3.10).

1

...
   

 

 

2


3.10 1:1

 

, ( ), ( ) .

, ( 3.6 ), 1:1 :, . 3.11.

1:1- , , , .. 1:1 1:0.

:, - ( , ).

:, , ( ), :, .

.
       

 


 

 
3.11. ( 1:1, :) - 3.6 )

 

- , , , (. 3.12).

(^

 
3.12. 3.6. )

 

, .

. , . , .

-1:1, 1:, :. , .

, . CODASYL [3] , . , . 80- . , , .

3.1, 3.2, 3.3, 3.4

1) ?

2) ?

3) , :

- ;

- ;

- .

4) .

3.5.

3.5.1.

, . , CODASYL, ( ) . , , .

, [4], , ( ), , . , , .

70- , - .

80- , , ( ) ( ) .

3.5.2.

. , . , - . , , - , .

, : - ; - ; - ; - .

.

, , ( ) , ( ) - . - . .

() /- (^) R. D , .. . , .

R {4>A2>->An}f - - > D-

1 1' R R(AbA2,...,An) R(DbD2,...,Dn).

D

D={L\*D*,...*Dn}.

R R (D\, D2,...,Dn) Z),

, ( , ). , - . , . 3.1 3.2 , - , ..., , , , - , . 3.13.

...
     

 

 


. 3.13.

 

X Y R, , (<) X, { ) Y . : X>Y. , , , , , , .. ->{, , , ), :

, ->{ , }

3.5.3.

. , , ( ) . , , , .

- , () .

- .

, , , . .

, . 3.13.

. , , . . (, ), ... . , (. 3.14).

. ...
  .   29.04.78
  .   19.01.79
  .   26.03.79
       
  .   29.04.76
  .   19.01.79

.3.14.

 

, , . (), , , ( ), -, .. . , , , , , ( ) .

, () (. 3.15). ( - .).

...
  .   29.04.78
  .   19.01.79
  .   26.03.79
       
  .   29.04.76
  .   19.01.79
3.15.

 

, ( ).

, , , . 3.16.

 

 

     
     
     
     
     
     
     
     
     
     
     

. 3.16. ,

 

, () . , , - .

3.5.4.

, . , .

, .

, .

- , . .

(1)

, (), .. .

, . 3.17 , , , , (), ( ) .

 
()
           

. 3.17. 1

 

(, ) , ( ) , , . ( ), . , , .

.

, . 3.18, . 3.19.

...
   
  .   ,
    , ,
  .  
     
  .  
. 3.18.

 

, , , .

...
 
  .  
  .  
  .  
  .  
  .  
  .  
     
  .  
. 3.19.

 

, , , , . , , , . , , . , .

( 1) : 1, 2 (. 3.20), .

1

...

2





:


: 2017-01-28; !; : 703 |


:

:

- , , .
==> ...

1524 - | 1338 -


© 2015-2024 lektsii.org - -

: 0.043 .