Functional dependency example.