:


R (4NF) , A -->> B R A.

- -:

- (_, _) - (_, _)

4NF .