Normal Forms Based On Functional Dependencies Are The Types