, , , - . , . . 1, 2,3, 3 , 4,5. 1 . , . 1 , . , 1. , . , , .
. x, y,z. A(x,y,z); x,y,z- ( , x,y,z , , x,y,z . R(A, B,C,D) . , R 2 . R(, B, C,D,E) ->D. . R 2 R1(A, B, C, E) R2(C, D), R2 R D. . 1. *- .(->; ->; ->; -> ; ->; -> ; ->;)
__-> .
. 2 , 1 . 2 , :
1. , .
2. , .
2 R1, . - , , ; R2, .
|
|
2 3, , . . R1 , R2 : ->; -> ; -> . . .
3 R2. , 3 -. , .
13. - .
1:1 .
, . . . , 2 , . . 3 . - . ER- . ER ER-. , . : ER- ER-. ER- .
, ER
1:1 , . , - . . .
1:1 , 2-.
R- 1:1 , .
1:1, , 3 , 2 , 3 , .
14. 1: .
1: , .
1: ( :1) - , ( ). . , 1- ( ) , - .
|
|
. ! ..1 ER- , ! ..
. ! ..1 ! ..
: , (
. ! ..2, . ! ..3).
. ! ..2 ER- 1: -
. ! ..3. ER- 1: -
15. 1: - .
1: , 1 .
1: (:1) - , .
ER- ER-:
Cl, C2 1 2;
Kl, K2 ;
Rl 1, ;
R2 2, ;
R1_R2 3, ;
, . ( ).
16. :.
: , .
:, . . , .
ER- ER-:
, .