() , (). , .
, :
, . . (), , ; | |
; |
; | |
( ); |
; | |
, . . / . |
.
, - .
, .
, .
.
, .. , .
(N, , , , /, N)
(N, , N)
(N, , , , /, N, _, N_)
.
. .
- , .
- , , NULL , .
. .
: R(A,B) A->B.
B A, , A B. , .
|
|
_:
N -> , , , /, N, _, N_.
N -> _, N_.
_ -> N, N_.
N_ -> N, _.
- N, N.
.. (E.F. Codd) ,
. , (.. ). , . .
(1). 1, .
1 , (), , . , .
. X Y . X Y, Y X (X→Y). ( ) .
. , , , .
(2). 2, 1 .
2, :
, , ; | |
, . |
. X, Y, Z . X→Y Y→Z, , .. Z Y Y X. , Z X
(X→Z).
(3). 3, 2 .
3, :
, ; | |
, . |
. , X , ( ) Y (X>>Y). . X>>Y, Y X. .
|
|
(4). 4, 3 .
4, , . , .