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 []
} ); }); </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)
}); </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