, , : A -> B -> C , , . -> .
-> . R(A,B,C), R1(A, ) R2(A, ).
, . R1(,), R2(A,C) -> , .
. , R1 R2 , , .
- , , . .
, , - .
, . R(A,B,C) , .14.
R(A, B,C)
.14. .
, .. <A,C>, <> <C>. . , , . , R(A, B,C) -> R1(A,C) R2(A,B), -> . , -> -> .
, , R(A,B,C) , . , . , , , . , .
, , , . , , ( ), . . . - R1(A,B) R2(C,B). , .
, , , , , , . "" , , . .