Normal Forms Based On Functional Dependencies