inputpanel = views.inputToString(relation, fds, mvds,
additionalFds, additionalMvds,
"default", candidatekeys)
numberOfSteps = numberOfSteps + 1
quizform = quizForms.normalForm(numberOfTries, numberOfSteps,
relationString,
fdsString) + htmlend()
else:
alert = views.getErrorMessageBox("Leider falsch!")
quizform = quizForms.candidateKeys(
numberOfTries, numberOfSteps, relationString, fdsString,
candidatekeys, noRightSideAttributes) + htmlend()
if (step == '3-1'):
#validate normal form
selectedNF = str(form['normalform'].value)
if DBnormalizer.getHighestNormalForm(relation, fds,
mvds) == selectedNF:
alert = views.getSuccessMessageBox("Richtig!")
numberOfSteps = numberOfSteps + 1
quizform = quizForms.canonicalCoverLeftReduction(
numberOfTries, numberOfSteps, relationString, fdsString, fds)
else:
alert = views.getErrorMessageBox("Leider falsch!")
quizform = quizForms.normalForm(numberOfTries, numberOfSteps,
relationString,
fdsString) + htmlend()
inputpanel = views.inputToString(relation, fds, mvds, additionalFds,
additionalMvds, "default",
candidatekeys)
if (step == '3-2'):
#validate left reduction
leftSides = []
try:
inputCandidateKeys= str(form['candidatekeys'].value).replace(" ", "")
except KeyError:
inputCandidateKeys = ""
if inputValidation.validateCandidateKeys(relation, fds, inputCandidateKeys):
alert = views.getSuccessMessageBox("Richtig!")
inputpanel = views.inputToString(relation, fds,mvds, additionalFds, "default", candidatekeys)
numberOfSteps = numberOfSteps + 1
quizform = quizForms.normalForm(numberOfTries, numberOfSteps, relationString, fdsString) + htmlend()
else:
alert = views.getErrorMessageBox("Leider falsch!")
quizform = quizForms.candidateKeys(numberOfTries, numberOfSteps, relationString, fdsString) + htmlend()
if (step=='3-1'):
#validate normal form
selectedNF = str(form['normalform'].value)
if DBnormalizer.getHighestNormalForm(relation, fds, mvds) == selectedNF:
alert = views.getSuccessMessageBox("Richtig!")
numberOfSteps = numberOfSteps + 1
quizform = quizForms.canonicalCoverLeftReduction(numberOfTries, numberOfSteps, relationString, fdsString, fds)
else:
alert = views.getErrorMessageBox("Leider falsch!")
quizform = quizForms.normalForm(numberOfTries, numberOfSteps, relationString, fdsString) + htmlend()
inputpanel = views.inputToString(relation, fds,mvds, additionalFds, "default", candidatekeys)
if (step=='3-2'):
#validate left reduction
leftSides = []
for i in range(len(fds)):
try:
leftSide = set(str(form['fd'+str(i)].value))|set(EMPTY_SET)
except KeyError:
leftSide = set(EMPTY_SET)
