Full Partial And Transitive Dependencies