Partial And Transitive Dependencies