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