Transitive Dependency and Keys