Python DBnormalizer.rightReduction Examples

Example #1

def validateRightReduction(fds, rightSides):
	newfds = fds[:]
	for i, rs in enumerate(rightSides):
		newfds[i] = (fds[i][0], rs)
	validRightReduction = True
	for i, fd in enumerate(fds):
		if DBnormalizer.closure(fd[0], newfds) != DBnormalizer.closure(fd[0], fds) or not rightSides[i] <= fd[1]:
			validRightReduction = False
	if validRightReduction:
		if newfds != DBnormalizer.rightReduction(newfds):
			validRightReduction = False
	if validRightReduction:
		return newfds
	else:
		return []

Example #2

File: inputValidation.py Project: becherd/DBnormalizer

def validateRightReduction(fds, rightSides):
	newfds = fds[:]
	for i, rs in enumerate(rightSides):
		newfds[i] = (fds[i][0], rs)
	validRightReduction = True
	for i, fd in enumerate(fds):
		if DBnormalizer.closure(fd[0], newfds) != DBnormalizer.closure(fd[0], fds) or not rightSides[i] <= fd[1]:
			validRightReduction = False
	if validRightReduction:
		if newfds != DBnormalizer.rightReduction(newfds):
			validRightReduction = False
	if validRightReduction:
		return newfds
	else:
		return []