Better definition of functional dependencies