結果 : non trivial functional dependency example