Реализирани контроли

R={EmployeeID (кондуктер_к_ид), EmployeeName, EmployeeSurName, Position (кондуктер_в_плата), Department, Email, Password, kontrol_id, kontroli_datum, inl_id, inl_datum_pocetok, inl_datum_kraj, a_registracija, a_seriski_broj, a_broj_sedista, li_id, li_ime, li_pravec, kz_id, kz_dokument, kz_datum, kz_iznos, kz_plateno, kz_datum_plateno, kzn_ime, kzn_adresa, kzn_telefon, patnik_k_id, patnik_k_ime, patnik_k_adresa, patnik_k_email, patnik_k_telefon, patnik_k_is_admin, patnik_k_lozinka}

Функционални зависимости:

• konduktor_k_id -> сите атрибути за кондуктер

• kontroli_id -> kontroli_datum, konduktor_k_id, inl_id

• inl_id -> inl_datum_pocetok, inl_datum_kraj, a_registracija, li_id

• a_registracija -> a_seriski_broj, a_broj_sedista

• li_id -> li_ime, li_pravec

• kz_id -> kz_dokument, kz_datum, kz_iznos, kz_plateno, kz_datum_plateno, kontrola_id, konduktor_k_id

*kzr_kz_id -> patnik_k_id

• kzn_kz_id -> kzn_ime, kzn_adresa, kzn_telefon

• patnik_k_id -> patnik_k_ime, patnik_k_адреса, патник_k_ајме и другите атрибути