Скрипт на python (требуется знание основ БД)

Здравствуйте. 

Нужно написать небольшую программу на python. Потребуется знание базы данных: функциональные зависимости, нормальные формы, замыкания и т.д. 

1) Пользователь вводит кортеж (tuple) от A до Z (допустим ABCD); 

2) После этого пользователю будет предложено ввести функциональные зависимости (допустим, A->B, AB->A, B->F...). ФЗ типа АВ->A (тривиальные) и B->F (если у нас только ABCD) игнорируются. Ключи типа AB->CD преобразовываются в AB->C, AB->D. Повторяющие ФЗ игнорируются. 

Определяются superkey, candidat-key и primary-key.