trivial functional dependency