functional dependency and keys 618425