' . ' ' . ' (), (). , ' . ' , '. , . ' , . , , ' . ' .
(. 2.1).
³ R , . N- R (), D1,D2..., Dn(n > 1), ' :
R Í D1 x D2 x... x Dn, D1 x D2 x... x Dn , , .
, , . :
□ ' ( );
□ ;
□ , , ;
□ .
.
, . ³ , , . , , . , ʳ , , . , : , .
<¢_: ¢_> ( <A:D>). . .
³ R, , : .
, , :
|
|
R(< A1: D1 >,< 2:D2 >,...,< An:Dn>).
: . , , ( ' ).
ҳ . <¢_: _>.
R (< A1: Val1 >,< 2:Val2 >,...,< An:Valn>)
, Val i, Di.
ҳ , . , . ҳ , , .
³ :
R(< A1: D1 >, < 2: D2 >,..., < An: Dn >), : R(A1,A2.,. n,) R.
( ) , .
. . . .
, , , :
SR={A1,A2...,An), i Í Di ,, i =1,n
, Θ -, Θ , . , , : Θ = {=,<>, >=,<=,<,>}. , , . , .
, , , , , :
SR1 = (A1, 2..., An) R1. SR2 = (Bi1,Bi2..., Bin) R2 .
SR1 ~ SR2 <=> , = Aj, Bij Í Dj
, :
□ ;
□ ;
□ ;
□ , ;
□ .
. .
|
|
o . ' .
o . . ij, , , . . () .
o . ( ), , ( ). , .
o . ( ).
o . ' , , ( ). . , .
o . . , ' ( ), . , , . : , , ..
(~ )
, . , , , ( , ), , - , .
, ' , .
', , .
□ "--" ' . , ' , .
□ "--" () ' () . ' .
□ "--" ' .