-


R - (BCNF) , .

, -. -:

(_, _)

:

_ _

:

_ --> C_ _ --> _ - (_, _, _)

:

_, _

:

_, _ --> C_

, _. - BCNF, .