pseudo transitive rule of functional dependencies