3.2.13. Normal forms in context
AB → C, C → D, D → A
In context
3NF? Yes
Because AB is a superkey and
D and A are prime attributes
BCNF? No
Because C and D are not superkeys
(even though AB is)