Non-Trivial Functional Dependency