C Partial Functional Dependency