I have a problem with 3rd normal form. I find in the internet different contrary definitions and right now I don't know whether this relation with given functional dependencies is in 3rd normal form or not.
R(A,B,C,D,E,F)
A → BC
C → DA
E → ABC
F → CD
CD → BEF
What is a correct definition of 3NF?