Example #1
0
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
Example #2
0
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