Introduce functional dependencies