. , , . . , , . . . . , :
,
,
, , , , , ,
.
, :
,
,
,
.
, ( ).
r R, X Y R. r X→Y, πY(σX=x(r)) xÎX, . . X Y.
:
→ ,
{, }→ ,
{, }→ ,
→ .
:
,
,
,
.
R KÍR, , K → R, K¢ÍK .
, . , . . 譭 .
, , . , , .
R (1), ( ), . . , .
, , : , .
1, .
|
|
, , .
R (2), , .
? , - , , , . . - , , , , .
, . , , . . , . , 2.
, 1, 2, :
R , , . . , ,
R , , . . R , .
2 :
_1 (, , , , ),
_2 (, ).
. .
R (3), .
? , - , .
_1 (, , , , ) 3, :
{ , } → , → .
, 2, 3, :
R , , . . , ,
R , , . . R, .
_1 3 :
_1_1 (, , , ),
_1_2 (, ).
, , 3, , .
|
|
. , , .
:
_1_1 (, , , ),
_1_2 (, ),
_2 (, ).
, , , , , , .
, 3 , .
(, , ), , . :
, , ,
, .
:
{, } → ;
→ .
, { , }.
. | ||
. | ||
. | ||
. |
3. . , , , . , , .
, . .
(), 3 . , .
, : _1 (, ) _2 (, ).
_1 | _2 | |||
. | . | |||
. | . | |||
. | . | |||
. |
X Y R ( Y X), X (, ) Y, R. .
: X→→Y.
(, _, , ). :
,
,
,
.
:
→→_,
→→,
|
|
→.
_ | |||
, -, . -, : , , , . , , . , , , .
.
(4), , .
4 :
_1 (, ),
_2 (, _),
_3 (, ).
_1 | _2 | _3 | |||||
_- | |||||||
, , , , . , , . .
R F R_1, R_2, , R_k F1, F2, , Fk.
1. , r R :
r(R) = πR_1(r) >< πR_2(r) >< πR_3(r) >< >< πR_k(r).
2. , F1, F2, , Fk F.
, .
R F 3 .
R F M 4 .
, 3 , , , , .