Properties and Normal Forms
Functional dependencies => Boyce-Codd Normal Form
+ Multivalued dependencies => Fourth Normal Form

Fouth Normal Form is stricter than Boyce-Codd Normal Form.