Example #1
0
def validateFinalCanonicalCoverFds(fds, fdinputstring):
	inputfds,inputmvds = DBnormalizer.parseInputFDsMVDs(fdinputstring)
	correctfds = DBnormalizer.collapseEqualLeftSides(fds[:])
	correct = True
	for fd in correctfds:
		if fd not in inputfds:
			correct = False
	for fd in inputfds:
		if fd not in correctfds:
			correct = False	
	if correct:
		return correctfds
	else:
		return []
Example #2
0
def validateFinalCanonicalCoverFds(fds, fdinputstring):
	inputfds,inputmvds = DBnormalizer.parseInputFDsMVDs(fdinputstring)
	correctfds = DBnormalizer.collapseEqualLeftSides(fds[:])
	correct = True
	for fd in correctfds:
		if fd not in inputfds:
			correct = False
	for fd in inputfds:
		if fd not in correctfds:
			correct = False	
	if correct:
		return correctfds
	else:
		return []