Для всех отношений построим множества функциональных зависимостей, формализуя слова пользователей, приведённые в пункте 2.3.
Описания отношения «Дебиторы»:
1. В системе не должно быть двух учетных записей одного и того же дебитора
На основе данного условия получаем отношение:
{ID}->{ФИО, Домашний, Мобильный}
Описания отношения «Кредиты»:
1. В системе должен существовать дебитор, который берет кредит
2. Кредит ограничен по сумме
3. Погашение кредита ограниченно по времени
Из вышесказанного выдвигаем следующие отношения:
{id}->{Дебитор, Сумма , Дата},
{Дебитор}->{Баланс}
Описания отношения «Оплата»:
1. Оплачивается только существующий кредитный счет
Построим отношение:
{id}->{Кредитный счет, сумма, дата оплаты}
Описания отношения «Пользователи»:
1. Не может существовать в системе двух операторов с одинаковым логином.
На основе изложенного построим отношения:
{Логин}->{Пароль}