Scala Partial Functional Dependency