:
- (_, _, _, _):
_, __, _:
_ --> C__ --> __ --> C__ --> __, _ --> C__, _ --> C_, , ( , ).
7~ - 3NF. , , , . , , , , .
8:
- , .
9: -
R - (BCNF) , .
, -. -:
(_, _):
_ _:
_ --> C__ --> _- (_, _, _):
_, _:
_, _ --> C_, _. - BCNF, .
:
(_,_, _), , , , . , .
, , , ( , , , , ). _, _, _, . , BCNF. : , , , , .
|
|
10:
R (A, B, C) R.A -->> R.B , B, A C, A .
:
_ -->> __ -->> _, R (A, B, C) R.A -->> R.B , R.A -->> R.C.
, , :
R (A, B, C) R1 (A, B) R2 (A, C) , MVD A -->> B C.
, .
11:
R (4NF) , A -->> B R A.
- -:
- (_, _)- (_, _)4NF .
. , , .
, ,
-- (_, _, _), . , .
4NF. , .
12:
R (X, Y,..., Z) * (X, Y,..., Z) , R X, Y,..., Z.
13:
R ( - - PJ/NF) , R R.
:
= {_, _} = {_, _} = {_, _}, -- :
* (, , ), . :
- (_, _)- (_, _)- (_, _)- , . , 5NF . , , .