. 1970 .
, :
;
;
.
, . , :
;
;
.
, , . . :
;
;
.
, :
;
;
;
;
;
;
.
. , , , , . :
;
.
() . , . , , , .
. , , , .
- . . :
( ).
.
, , .
.
1. <_: _>.
2. R, ( ), : .
.
. <_: _>, , .
3. .
4. , .
|
|
NULL-
NULL- (3VL).
1. R. K , :
- R , .
- K .
: , null.
"". "" "". , "" (, ""), . , "" (, ""), .
"" , , . , , . .
2. R. FK R , :
S (R S ) K.
FK R K S, null-. S , R .
: , .. .
. , . , .
- :
;
;
;
.
:
;
;
;
.
, . .
A B , A B, , , A, B, .
:
A UNION B A U B
, A B, , , A B.
:
A INTERSECT B A ∩ B
|
|
, , , , .
:
A MINUS B A \ B
A(A1,A2,..,An) B(B1,B2,..,Bm) , A B: (A1,A2,..,An,B1,B2,..,Bm).
, A B: (a1,a2,..,an,b1,b2,..,bm), , .
:
A TIMES B A * B AB
(, )
(, ) A c , A, , , c . , A () .
:
WHERE c
A X,Y,..,Z, A, (X,Y,..,Z) , (x,y,..,z), , A X x, Y z, , Z z.
:
A[X,Y,..,Z]
:
;
-;
-;
.
.
A B
(A TIMES B) WHERE c (AB)[ c ]
c , A B () .
.
-
A X, B Y, Θ - . Θ- A X B Y
(A TIMES B) WHERE XΘY
.
A[XΘY]B
-
Θ- , Θ .
-:
A[X=Y]B
A(A1,..,An,X1,X2,..,Xk) B(X1,X2,..,Xk,B1,..,Bm), X1,X2,..,Xk. A B (A1,..,An,X1,X2,..,Xk,B1,..,Bm) , (a1,..,an,x1,x2,..,xk,b1,..,bm).
, : A JOIN B
A(A1,..,An,X1,X2,..,Xk) B(X1,X2,..,Xk), X1,X2,..,Xk- . A B (A1,A2,..,An) , (a1,a2,..,an), , (x1,x2,..,xk) B A (a1,..,an,x1,x2,..,xk).
:
A DEVIDE BY B A / B