def validateDecompositionSplitNewRelations(fdsInR, mvdsInR, splitrelation, newfirstrelation, newsecondrelation, targetnf): possibleSplitFdsMvds = DBnormalizer.getAllNonBCNFfds(splitrelation, fdsInR) if targetnf == "4NF": possibleSplitFdsMvds.extend(DBnormalizer.getAllNon4NFmvds(splitrelation, fdsInR, mvdsInR)) for fdmvd in possibleSplitFdsMvds: r1,r2 = DBnormalizer.splitRelationAtFdMvd(splitrelation, fdmvd) if r1 == newfirstrelation and r2 == newsecondrelation: return True return False