def candidateKeys(numberOfTries, numberOfSteps, relationString, fdsString, candidateKeys, noRightSideAttributes): hints = views.getCandidateKeyHints(candidateKeys, noRightSideAttributes) html = """<form class="form" action="quiz.py" method="POST"> <div class="row"> <div class="col-sm-12"> <textarea type="text" class="form-control input-lg" name="candidatekeys" id="candidatekeys" rows="5"></textarea> </div> </div> <input type="hidden" value=" """ + relationString + """" name="relation"></input> <input type="hidden" value=" """ + fdsString + """" name="fds"></input> <input type="hidden" value=" """ + str(numberOfTries) + """" name="numberOfTries"></input> <input type="hidden" value=" """ + str(numberOfSteps) + """" name="numberOfSteps"></input> """ + hints + """<div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="2">Weiter</button> </div> </div> </form> """ return views.getJumbotron( "Kandidatenschlüssel.", "<p>Gib <b>alle</b> Kandidatenschlüssel an. Schreibe dazu jeweils alle Attribute eines Schlüssels in das Textfeld und verwende für jeden Schlüssel eine neue Zeile." + views.getHintPopover( "Gib z.B. für die Kandidatenschlüssel {ABC} und {DE} ein:<br/><br/><pre>ABC<br/>DE</pre>" ) + "</p><p>" + html + "</p>")
def addKeyRelation(numberOfTries, numberOfSteps, relationString, fdsString, fds, relations): html = """<form class="form" action="quiz.py" method="POST">""" html = html + "<pre><h4 style=\"display:inline;\">" + views.schemaToString( relations) + "</h4></pre>" html = html + """<div class="row"> <div class="col-sm-12">""" html = html + "<div class=\"checkbox\"><label><h4 style=\"display:inline;\"><input type=\"checkbox\" id=\"addkeyrelation\" name=\"addkeyrelation\" value=\"true\">neue Relation hinzufügen</h4></label></div>" html = html + "<input type=\"text\" class=\"form-control input-lg\" id=\"newrelation\" name=\"newrelation\">" html = html + """</div> </div><input type="hidden" value=" """ + relationString + """" name="relation"></input> <input type="hidden" value=" """ + fdsString + """" name="fds"></input> <input type="hidden" value=" """ + views.fdsToString(fds) + """" name="currentfds"></input> <input type="hidden" value=" """ + str(numberOfTries) + """" name="numberOfTries"></input> <input type="hidden" value=" """ + str(numberOfSteps) + """" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="6">Weiter</button> </div> </div> </form> <script> $('#addkeyrelation').on('change', function(){ if($(this).prop('checked')){ $('#newrelation').prop('disabled', false); } else{ $('#newrelation').prop('disabled', true); } }).change(); </script> """ return views.getJumbotron( "Synthesealgorithmus. Relation hinzufügen.", "<p>Möglicherweise musst du eine neue Relation hinzufügen." + views.getHintPopover( "Wenn du eine neue Relation hinzufügen möchtest, markiere die Checkbox und gib die Attribute der neuen Relation in das Textfeld ein. Um z.B. die Relation R<sub>x</sub>:={ABCDE} hinzuzufügen, gib ein:<br/><br/><pre>ABCDE</pre>" ) + "</p><p>" + html + "</p>")
def canonicalCoverCollapse(numberOfTries, numberOfSteps, relationString, fdsString, fds): html = """<form class="form" action="quiz.py" method="POST"> <div class="row"> <div class="col-sm-12"> <textarea class="form-control input-lg" name="finalfds" id="finalfds" rows="5">""" + views.fdsToString( fds).replace(EMPTY_SET, "") + """</textarea> <br/> </div> </div> <input type="hidden" value=" """ + relationString + """" name="relation"></input> <input type="hidden" value=" """ + fdsString + """" name="fds"></input> <input type="hidden" value=" """ + views.fdsToString(fds) + """" name="currentfds"></input> <input type="hidden" value=" """ + str(numberOfTries) + """" name="numberOfTries"></input> <input type="hidden" value=" """ + str(numberOfSteps) + """" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-left"> <button class="btn btn-xs btn-default" type="reset"><span class="glyphicon glyphicon-repeat aria-hidden="true"></span> Eingabe zurücksetzen</button> </div> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="4">Weiter</button> </div> </div> </form> """ return views.getJumbotron( "Kanonische Überdeckung. FDs zusammenfassen.", "<p>Möglicherweise musst du FDs zusammenfassen. Gib hier alle FDs an, die übrig bleiben." + views.getHintPopover( "Editiere die FDs so, dass die finale kanonische Überdeckung im Eingabefeld steht." ) + "</p><p>" + html + "</p>")
def canonicalCoverRightReduction(numberOfTries, numberOfSteps, relationString, fdsString, fds): html = """<form class="form" action="quiz.py" method="POST"> """ for i, fd in enumerate(fds): html = html + "<div class=\"row\"><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" value=\"" + views.setOfAttributesToString( fd[0] ) + "\" disabled=\"disabled\" style=\"text-align:right;\"></div><div class=\"col-md-1 text-center\" style=\"max-width:80px;\"><br/><h2 style=\"display:inline;\"><sub>-></sub></h2></div><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"fd" + str( i) + "\" name=\"fd" + str( i) + "\" value=\"" + views.setOfAttributesToString( fd[1]) + "\"></div></div><br/>" html = html + """<input type="hidden" value=" """ + relationString + """" name="relation"></input> <input type="hidden" value=" """ + fdsString + """" name="fds"></input> <input type="hidden" value=" """ + views.fdsToString(fds) + """" name="currentfds"></input> <input type="hidden" value=" """ + str(numberOfTries) + """" name="numberOfTries"></input> <input type="hidden" value=" """ + str(numberOfSteps) + """" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-left"> <button class="btn btn-xs btn-default" type="reset"><span class="glyphicon glyphicon-repeat aria-hidden="true"></span> Eingabe zurücksetzen</button> </div> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="3-3">Weiter</button> </div> </div> </form> """ return views.getJumbotron( "Kanonische Überdeckung. Rechtsreduktion.", "<p>Gib die neuen rechten Seiten der FDs an." + views.getHintPopover( "Um die leere Menge ∅ einzugeben, lasse das Feld einfach leer." ) + "</p><p>" + html + "</p>")
def decompositionAlgorithm(numberOfTries, numberOfSteps, relationString, fdsString, relations, relationnumbers, targetnf="BCNF"): currentRelations = [] html = """<form class="form" action="quiz.py" method="POST"> <div class="row"> <div class="col-sm-12"> """ for i, r in enumerate(relations): currentRelations.append(views.setOfAttributesToString(r)) html = html + "<div class=\"radio\"><label><h4 style=\"display:inline;\"><input type=\"radio\" name=\"splitrelation\" value=\"" + str( i) + "\">" + views.relationToString( r, relationnumbers[i]) + "</h4></label></div>" html = html + "<div class=\"row\"><div class=\"col-md-1\" style=\"text-align:right;\"><br/><h4 style=\"display:inline;\">R<sub>" + relationnumbers[ i].strip( ) + "1:=</sub></h4></div><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"first" + str( i ) + "\" name=\"first" + str( i ) + "\" disabled=\"disabled\"></div><div class=\"col-md-1\" style=\"text-align:right;\"><br/><h4 style=\"display:inline;\">R<sub>" + relationnumbers[ i].strip( ) + "2:=</sub></h4></div><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"second" + str( i) + "\" name=\"second" + str( i) + "\" disabled=\"disabled\"></div></div><br/>" html = html + "<div class=\"radio\"><label><h4 style=\"display:inline;\"><input type=\"radio\" name=\"splitrelation\" value=\"-1\" checked>keine Relation aufspalten</h4></label></div>" html = html + """<script> $('[name="splitrelation"]').on('change', function(){ if($(this).prop('checked')){ $('[id^="first"]').prop('disabled', true); $('[id^="second"]').prop('disabled', true); $('#first'+$(this).val()).prop('disabled', false); $('#second'+$(this).val()).prop('disabled', false); } }).change(); </script>""" currentRelationsString = ",".join(currentRelations) html = html + """</div> </div><input type="hidden" value=" """ + relationString + """" name="relation"></input> <input type="hidden" value=" """ + fdsString + """" name="fds"></input> <input type="hidden" value=" """ + currentRelationsString + """" name="currentrelations"></input> <input type="hidden" value=" """ + ",".join(relationnumbers) + """" name="relationnumbers"></input> <input type="hidden" value=" """ + str(targetnf) + """" name="targetnf"></input> <input type="hidden" value=" """ + str(numberOfTries) + """" name="numberOfTries"></input> <input type="hidden" value=" """ + str(numberOfSteps) + """" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="9">Weiter</button> </div> </div> </form> """ return views.getJumbotron( "Dekompositionsalgorithmus. " + targetnf + ".", "<p>Gib an, ob Relationen aufgespalten werden müssen und welche Relationen entstehen." + views.getHintPopover( "Wähle zunächst die Relation aus, die du aufspalten willst, oder wähle <em>keine Relation aufspalten</em>. Wenn du eine Relation aufspalten willst, gib die Attribute der Relationen ein, die neu entstehen." ) + "</p><p>" + html + "</p>")
def choosePrimaryKeys(numberOfTries, numberOfSteps, relationString, fdsString, fds, relations, targetnf="3NF", relationnumbers=[]): html = """<form class="form" action="quiz.py" method="POST"> """ currentRelations = [] for i, relation in enumerate(relations): currentRelations.append(views.setOfAttributesToString(relation)) if relationnumbers: relationnumber = relationnumbers[i] else: relationnumber = i + 1 if targetnf == "3NF": algorithm = "Synthesealgorithmus" nextstep = "8" elif targetnf == "BCNF": algorithm = "Dekompositionsalgorithmus für BCNF" nextstep = "10" else: algorithm = "Dekompositionsalgorithmus für 4NF" nextstep = "10" html = html + "<div class=\"row\"><div class=\"col-md-2\" style=\"text-align:right;\"><br/><h4 style=\"display:inline;\">" + views.relationToString( relation, relationnumber ) + " </h4></div><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"pk" + str( i) + "\" name=\"pk" + str(i) + "\"></div></div><br/>" currentRelationsString = ",".join(currentRelations) html = html + """<input type="hidden" value=" """ + relationString + """" name="relation"></input> <input type="hidden" value=" """ + fdsString + """" name="fds"></input> <input type="hidden" value=" """ + views.fdsToString(fds) + """" name="currentfds"></input> <input type="hidden" value=" """ + currentRelationsString + """" name="currentrelations"></input> <input type="hidden" value=" """ + ",".join(relationnumbers) + """" name="relationnumbers"></input> <input type="hidden" value=" """ + str(targetnf) + """" name="targetnf"></input> <input type="hidden" value=" """ + str(numberOfTries) + """" name="numberOfTries"></input> <input type="hidden" value=" """ + str(numberOfSteps) + """" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value=" """ + nextstep + """">Weiter</button> </div> </div> </form> """ return views.getJumbotron( algorithm + ". Primärschlüssel.", "<p>Gib für jede Relation <b>einen</b> möglichen Primärschlüssel an." + views.getHintPopover( "Schreibe dazu für jede Relation die Attribute des Primärschlüssels in das zugehörige Textfeld. Um z.B. für die erste Relation den Primärschlüssel {ABCDE} hinzuzufügen, gib in das erste Textfeld ein:<br/><br/><pre>ABCDE</pre>" ) + "</p><p>" + html + "</p>")
def canonicalCoverLeftReduction(numberOfTries, numberOfSteps, relationString, fdsString, fds): html = """<form class="form" action="quiz.py" method="POST"> """ for i, fd in enumerate(fds): html = html + "<div class=\"row\"><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"fd"+str(i)+"\" name=\"fd"+str(i)+"\" value=\""+views.setOfAttributesToString(fd[0])+"\" style=\"text-align:right;\"></div><div class=\"col-md-1 text-center\" style=\"max-width:80px;\"><br/><h2 style=\"display:inline;\"><sub>-></sub></h2></div> <div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" value=\""+views.setOfAttributesToString(fd[1])+"\" disabled=\"disabled\"></div></div></br>" html = html + """<input type="hidden" value=" """+relationString+"""" name="relation"></input> <input type="hidden" value=" """+fdsString+"""" name="fds"></input> <input type="hidden" value=" """+str(numberOfTries)+"""" name="numberOfTries"></input> <input type="hidden" value=" """+str(numberOfSteps)+"""" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="3-2">Weiter</button> </div> </div> </form> """ return views.getJumbotron("Kanonische Überdeckung. Linksreduktion.", "<p>Gib die neuen linken Seiten der FDs an."+views.getHintPopover("Um die leere Menge ∅ einzugeben, lasse das Feld einfach leer.")+"</p><p>" + html +"</p>")
def decompositionAlgorithm(numberOfTries, numberOfSteps, relationString, fdsString, relations, relationnumbers, targetnf = "BCNF"): currentRelations = [] html = """<form class="form" action="quiz.py" method="POST"> <div class="row"> <div class="col-sm-12"> """ for i, r in enumerate(relations): currentRelations.append(views.setOfAttributesToString(r)) html = html + "<div class=\"radio\"><label><h4 style=\"display:inline;\"><input type=\"radio\" name=\"splitrelation\" value=\""+str(i)+"\">"+views.relationToString(r, relationnumbers[i])+"</h4></label></div>" html = html + "<div class=\"row\"><div class=\"col-md-1\" style=\"text-align:right;\"><br/><h4 style=\"display:inline;\">R<sub>"+ relationnumbers[i].strip() +"1:=</sub></h4></div><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"first"+str(i)+"\" name=\"first"+str(i)+"\" disabled=\"disabled\"></div><div class=\"col-md-1\" style=\"text-align:right;\"><br/><h4 style=\"display:inline;\">R<sub>"+ relationnumbers[i].strip() +"2:=</sub></h4></div><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"second"+str(i)+"\" name=\"second"+str(i)+"\" disabled=\"disabled\"></div></div><br/>" html = html + "<div class=\"radio\"><label><h4 style=\"display:inline;\"><input type=\"radio\" name=\"splitrelation\" value=\"-1\" checked>keine Relation aufspalten</h4></label></div>" html = html + """<script> $('[name="splitrelation"]').on('change', function(){ if($(this).prop('checked')){ $('[id^="first"]').prop('disabled', true); $('[id^="second"]').prop('disabled', true); $('#first'+$(this).val()).prop('disabled', false); $('#second'+$(this).val()).prop('disabled', false); } }).change(); </script>""" currentRelationsString = ",".join(currentRelations) html = html + """</div> </div><input type="hidden" value=" """+relationString+"""" name="relation"></input> <input type="hidden" value=" """+fdsString+"""" name="fds"></input> <input type="hidden" value=" """+currentRelationsString+"""" name="currentrelations"></input> <input type="hidden" value=" """+",".join(relationnumbers)+"""" name="relationnumbers"></input> <input type="hidden" value=" """+str(targetnf)+"""" name="targetnf"></input> <input type="hidden" value=" """+str(numberOfTries)+"""" name="numberOfTries"></input> <input type="hidden" value=" """+str(numberOfSteps)+"""" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="9">Weiter</button> </div> </div> </form> """ return views.getJumbotron("Dekompositionsalgorithmus. "+targetnf+".", "<p>Gib an, ob Relationen aufgespalten werden müssen und welche Relationen entstehen."+views.getHintPopover("Wähle zunächst die Relation aus, die du aufspalten willst, oder wähle <em>keine Relation aufspalten</em>. Wenn du eine Relation aufspalten willst, gib die Attribute der Relationen ein, die neu entstehen.")+"</p><p>" + html +"</p>")
def candidateKeys(numberOfTries, numberOfSteps, relationString, fdsString): html = """<form class="form" action="quiz.py" method="POST"> <div class="row"> <div class="col-sm-12"> <textarea type="text" class="form-control input-lg" name="candidatekeys" id="candidatekeys" rows="5"></textarea> </div> </div> <input type="hidden" value=" """+relationString+"""" name="relation"></input> <input type="hidden" value=" """+fdsString+"""" name="fds"></input> <input type="hidden" value=" """+str(numberOfTries)+"""" name="numberOfTries"></input> <input type="hidden" value=" """+str(numberOfSteps)+"""" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="2">Weiter</button> </div> </div> </form> """ return views.getJumbotron("Kandidatenschlüssel.", "<p>Gib <b>alle</b> Kandidatenschlüssel an. Schreibe dazu jeweils alle Attribute eines Schlüssels in das Textfeld und verwende für jeden Schlüssel eine neue Zeile."+views.getHintPopover("Gib z.B. für die Kandidatenschlüssel {ABC} und {DE} ein:<br/><br/><pre>ABC<br/>DE</pre>")+"</p><p>" + html +"</p>")
def choosePrimaryKeys(numberOfTries, numberOfSteps, relationString, fdsString, fds, relations, targetnf = "3NF", relationnumbers=[]): html = """<form class="form" action="quiz.py" method="POST"> """ currentRelations = [] for i, relation in enumerate(relations): currentRelations.append(views.setOfAttributesToString(relation)) if relationnumbers: relationnumber = relationnumbers[i] else: relationnumber = i+1 if targetnf == "3NF": algorithm = "Synthesealgorithmus" nextstep = "8" elif targetnf == "BCNF": algorithm = "Dekompositionsalgorithmus für BCNF" nextstep = "10" else: algorithm = "Dekompositionsalgorithmus für 4NF" nextstep = "10" html = html + "<div class=\"row\"><div class=\"col-md-2\" style=\"text-align:right;\"><br/><h4 style=\"display:inline;\">" + views.relationToString(relation, relationnumber) +" </h4></div><div class=\"col-md-2\"><input type=\"text\" class=\"form-control input-lg\" id=\"pk"+str(i)+"\" name=\"pk"+str(i)+"\"></div></div><br/>" currentRelationsString = ",".join(currentRelations) html = html + """<input type="hidden" value=" """+relationString+"""" name="relation"></input> <input type="hidden" value=" """+fdsString+"""" name="fds"></input> <input type="hidden" value=" """+views.fdsToString(fds)+"""" name="currentfds"></input> <input type="hidden" value=" """+currentRelationsString+"""" name="currentrelations"></input> <input type="hidden" value=" """+",".join(relationnumbers)+"""" name="relationnumbers"></input> <input type="hidden" value=" """+str(targetnf)+"""" name="targetnf"></input> <input type="hidden" value=" """+str(numberOfTries)+"""" name="numberOfTries"></input> <input type="hidden" value=" """+str(numberOfSteps)+"""" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value=" """+nextstep+"""">Weiter</button> </div> </div> </form> """ return views.getJumbotron(algorithm+". Primärschlüssel.", "<p>Gib für jede Relation <b>einen</b> möglichen Primärschlüssel an."+views.getHintPopover("Schreibe dazu für jede Relation die Attribute des Primärschlüssels in das zugehörige Textfeld. Um z.B. für die erste Relation den Primärschlüssel {ABCDE} hinzuzufügen, gib in das erste Textfeld ein:<br/><br/><pre>ABCDE</pre>")+"</p><p>" + html +"</p>")
def addKeyRelation(numberOfTries, numberOfSteps, relationString, fdsString, fds, relations): html = """<form class="form" action="quiz.py" method="POST">""" html = html + "<pre><h4 style=\"display:inline;\">"+views.schemaToString(relations)+"</h4></pre>" html = html + """<div class="row"> <div class="col-sm-12">""" html = html + "<div class=\"checkbox\"><label><h4 style=\"display:inline;\"><input type=\"checkbox\" id=\"addkeyrelation\" name=\"addkeyrelation\" value=\"true\">neue Relation hinzufügen</h4></label></div>" html = html + "<input type=\"text\" class=\"form-control input-lg\" id=\"newrelation\" name=\"newrelation\">" html = html + """</div> </div><input type="hidden" value=" """+relationString+"""" name="relation"></input> <input type="hidden" value=" """+fdsString+"""" name="fds"></input> <input type="hidden" value=" """+views.fdsToString(fds)+"""" name="currentfds"></input> <input type="hidden" value=" """+str(numberOfTries)+"""" name="numberOfTries"></input> <input type="hidden" value=" """+str(numberOfSteps)+"""" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="6">Weiter</button> </div> </div> </form> <script> $('#addkeyrelation').on('change', function(){ if($(this).prop('checked')){ $('#newrelation').prop('disabled', false); } else{ $('#newrelation').prop('disabled', true); } }).change(); </script> """ return views.getJumbotron("Synthesealgorithmus. Relation hinzufügen.", "<p>Möglicherweise musst du eine neue Relation hinzufügen."+views.getHintPopover("Wenn du eine neue Relation hinzufügen möchtest, markiere die Checkbox und gib die Attribute der neuen Relation in das Textfeld ein. Um z.B. die Relation R<sub>x</sub>:={ABCDE} hinzuzufügen, gib ein:<br/><br/><pre>ABCDE</pre>")+"</p><p>" + html +"</p>")
def canonicalCoverCollapse(numberOfTries, numberOfSteps, relationString, fdsString, fds): html = """<form class="form" action="quiz.py" method="POST"> <div class="row"> <div class="col-sm-12"> <textarea class="form-control input-lg" name="finalfds" id="finalfds" rows="5">"""+views.fdsToString(fds).replace(EMPTY_SET, "")+"""</textarea> </div> </div> <input type="hidden" value=" """+relationString+"""" name="relation"></input> <input type="hidden" value=" """+fdsString+"""" name="fds"></input> <input type="hidden" value=" """+views.fdsToString(fds)+"""" name="currentfds"></input> <input type="hidden" value=" """+str(numberOfTries)+"""" name="numberOfTries"></input> <input type="hidden" value=" """+str(numberOfSteps)+"""" name="numberOfSteps"></input> <div class="row"> <div class="col-xs-2 pull-right"> <br/> <button id="step" name="step" type="submit" class="btn btn-primary" value="4">Weiter</button> </div> </div> </form> """ return views.getJumbotron("Kanonische Überdeckung. FDs zusammenfassen.", "<p>Möglicherweise musst du FDs zusammenfassen. Gib hier alle FDs an, die übrig bleiben."+views.getHintPopover("Editiere die FDs so, dass die finale kanonische Überdeckung im Eingabefeld steht.")+"</p><p>" + html +"</p>")