Non Trivial Functional Dependency