trivial functional dependencies