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 []
Example #3
0
				}
			);   
		});
	</script>
</body>
		</html>
"""
    return html


try:
    relationString = str(form['relation'].value).replace(" ", "").replace(
        "\n", "").replace("\r", "")
    relation = set(relationString) | set(EMPTY_SET)
    fdsString = re.sub("(\r\n)*", "", str(form['fds'].value), 1)
    fds, mvds = DBnormalizer.parseInputFDsMVDs(fdsString)
    additionalFds = []
    additionalMvds = []
    step = str(form['step'].value).replace(" ",
                                           "").replace("\n",
                                                       "").replace("\r", "")
    candidatekeys = DBnormalizer.getKeys(relation, fds)
    noRightSideAttributes = relation - DBnormalizer.getRightSideAttributes(fds)
    alert = ""
    info = ""
    inputpanel = views.inputToString(relation, fds, mvds, additionalFds,
                                     additionalMvds, "default")
    quizform = ""

    try:
        numberOfTries = int(form['numberOfTries'].value)
Example #4
0
		});
	</script>
</body>
		</html>
"""
	return html





try:
	relationString = str(form['relation'].value).replace(" ", "").replace("\n", "").replace("\r", "")
	relation = set(relationString)|set(EMPTY_SET)
	fdsString = re.sub("(\r\n)*", "", str(form['fds'].value), 1)
	fds,mvds = DBnormalizer.parseInputFDsMVDs(fdsString)
	additionalFds = []
	step = str(form['step'].value).replace(" ", "").replace("\n", "").replace("\r", "")
	candidatekeys = DBnormalizer.getKeys(relation, fds)
	alert = ""
	info = ""
	inputpanel = views.inputToString(relation, fds, mvds, additionalFds, "default")
	quizform = ""
	
	try:
		numberOfTries = int(form['numberOfTries'].value)
		numberOfSteps = int(form['numberOfSteps'].value)
	except KeyError:
		numberOfTries = 0
		numberOfSteps = 0
	numberOfTries = numberOfTries + 1