Identifying Keys From Functional Dependencies