Changes between Version 6 and Version 7 of Normalization

Timestamp:

08/03/24 22:34:52 (4 months ago)

Author:

216049

Comment:

--

Normalization

@@ +1 @@
+Поради комплексноста на моделот на базата, речиси е невозможно да се стават сите податоци во една табела, па затоа проблемот на нормализација ќе го поделам на повеќе делови.
+Логична поделба на табелите е според улогите во системот: Возач, Кондуктер и Патник. Поради тоа што нема смисла целата апликација без корисниците (возач. кондуктер и патник) овие колони ќе бидат изоставени од споените табели со цел да се намали комплексноста
+
+Возачите имаат директна интеракција со табелата instanca_na_linija, а потоа има смисла да се соединат со табелите: avtobus, linija, postojka_na_linija, postojka, mesto и на тој начин да се добие табела која ќе ја наречеме: „Инстанци на линии со нивните постојки“
+
+Кондуктерите имаат директна интеракција со табелата kontrola, а порао има смисла да се соединат со табелите: kazna, kazna_za_registriran, kazna_za_neregistriran, patnik во нова табела која ќе ја наречеме: „Контроли на инстнаци на линии со казни“
+
+Патниците имаат директна интеракција со табелите: vozenje, bilet, kazna_za_registriran, а потоа има смисла да се спојуваат со табелите: vozenje, tip_bilet, instanca_na_linija, avtobus, linija, postojka_na_linija, postojka, mesto, во нова табела која ќе ја наречеме: „Реализирани возења со инстанци на линии“
+
+== 1. Инстанци на линии со нивните постојки
+
+||= inl_id=||= inl_datum_start=||= inl_datum_end=||= a_registracija=||= a_seriski_broj=||= a_broj_sedista=||= li_id=||= li_ime=||= li_pravec=||= pnl_id=||= pnl_reden_broj=||= p_id=||= p_ime=||= m_id=||= m_grad=||= m_opstina=||= m_ulica =||
+||1|| 16-10-2024 12:00:00 || 16-10-2024 13:00:00 || SK1234AA || SN-1234 || 30 || 1 || Line 1 || Sever kon Jug || 1 || 1 || 1 || Jugodrvo ||1 || Skopje || Centar || ulica 1||
+||1|| 16-10-2024 12:00:00 || 16-10-2024 13:00:00 || SK1234AA || SN-1234 || 30 || 1 || Line 1 || Sever kon Jug || 2 || 2 || 2 || Rekord || 2 || Skopje || Centar || ulica 2||
+||1|| 16-10-2024 12:00:00 || 16-10-2024 13:00:00 || SK1234AA || SN-1234 || 30 || 1 || Line 1 || Sever kon Jug || 3 || 3 || 3 || Deksion || 3 || Skopje || Gjorce || ulica 3||
+||2|| 16-10-2024 11:00:00 || 16-10-2024 13:00:00 || SK1234BB || SN-12345 || 30 || 2 || Line 2 || Istok kon Zapad || 4 || 1 || 4 || Dracevo || 4 || Skopje || Dracevo || ulica 11||
+||2|| 16-10-2024 11:00:00 || 16-10-2024 13:00:00 || SK1234BB || SN-12345 || 30 || 2 || Line 2 || Istok kon Zapad || 5 || 2 || 5 || City Mall || 5 || Skopje || Karposh || ulica 22||
+||2|| 16-10-2024 11:00:00 || 16-10-2024 13:00:00 || SK1234BB || SN-12345 || 30 || 2 || Line 2 || Istok kon Zapad || 6 || 3 || 3 || Deksion || 1 || Skopje || Gjorce || ulica 3||
+
 R = {
-k_id, k_ime, k_adresa, k_telefon, k_email, k_embg, k_lozinka, k_is_admin,
-v_datum_na_vrabotuvanje, v_datum_prekin_vrabotuvanje,
-inl_id, inl_datum_start, inl_datum_end,
-a_registracija, a_seriski_broj, a_broj_sedista,
-li_id, li_ime, li_pravec,
-pnl_id, pnl_reden_broj,
-p_id, p_ime,
-m_id, m_grad, m_opstina, m_ulica,
-vozenje_id, vozenje_start, vozenje_end, vozenje_status,
-kontola_id, kontrola_datum, 
-kz_id, kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument,
-kzn_telefon, kzn_ime, kzn_adresa,
-tb_id, tb_trajnost, tb_ime, tb_cena,
-b_id, b_datum_na_kupuvnje, b_status
+k_id (vozac_k_id)
+inl_id, inl_datum_start, inl_datum_end, a_registracija, a_seriski_broj, a_broj_sedista, li_id, li_ime, li_pravec, pnl_id, pnl_reden_broj, p_id, p_ime, m_id, m_grad, m_opstina, m_ulica
 }
 
-k_id → k_ime, k_adresa, k_telefon, k_email, k_embg, k_lozinka, k_is_admin 
+inl_id → inl_datum_start, inl_datum_end, a_registracija, li_id, k_id
+a_registracija → a_seriski_broj, a_broj_sedista
+li_id → li_ime, li_pravec
+pnl_id → pnl_reden_broj, li_id, p_id
+p_id → p_ime, m_id
+m_id → m_grad, m_opshtina, m_ulica
 
-v_id → k_id, v_datum_na_vrabotuvanje, v_datum_prekin_vrabotuvanje
+лево:
+pnl_id, inl_id
 
-vz_id → k_id
+лево и десно:
+m_id, p_id, li_id, a_registracija
 
-kd_id → k_id
+десно:
+inl_datum_start, inl_datum_end, a_seriski_broj, a_broj_sedista,  li_ime, li_pravec, pnl_reden_broj, p_ime, m_grad, m_opshtina, m_ulica
 
-pt_id → k_id
+{pnl_id, inl_id}+ = {
+inl_datum_start, inl_datum_end, a_registracija, a_seriski_broj, a_broj_sedista, li_id, li_ime, li_pravec, pnl_reden_broj, p_id, p_ime, m_id, m_grad, m_opstina, m_ulica
+}
 
-inl_id →  inl_datum_start, inl_datum_end, vz_id, a_registracija, li_id
+{pnl_id, inl_id} e единствен кандидат клуч и е составен од два атрибута па сега треба да се проверат парцијални зависности. Задоволува прва нормална форма, но не и втора поради парцијални зависности.
 
-a_registracija → a_seriski_broj, a_broj_sedista
 
+pnl_id, inl_id → li_id, li_ime, li_pravec 
+R1 = {pnl_id, inl_id, li_id, li_ime, li_pravec} – е во втора нормлана форма 
+
+pnl_id, inl_id → li_id
+li_id →  li_ime, li_pravec 
+
+R1_1 = {pnl_id, inl_id, li_id} – е во BCNF
+R1_2 = {li_id, li_ime, li_pravec} – е во BCNF
+
+pnl_id → pnl_reden_broj, li_id, li_pravec, li_ime, p_id, p_ime, m_id, m_grad, m_opstina, m_ulica
+R2 = {pnl_id, pnl_reden_broj, li_id, li_pravec, li_ime p_id, p_ime, m_id, m_grad, m_opstina, m_ulica} e во втора нормална форма
+
+pnl_id → pnl_reden_broj, li_id, p_id
+p_id → p_ime, p_pravec
+m_id → m_grad, m_ulica, m_opstina
 li_id → li_ime, li_pravec
 
-pnl_id → pnl_reden_broj, li_id, p_id
+R2_1 = {pnl_id, pnl_reden_broj, li_id, p_id} е во BCNF
+R2_2 = {p_id, p_ime, p_pravec} е во BCNF
+R2_3 = {m_id, m_grad, m_ulica, m_opstina} е во BCNF
+R2_4 = { li_id, li_pravec, li_ime} е во BCNF
 
-p_id → p_ime, m_id
+inl_id →  inl_datum_start, inl_datum_end, a_registracija, k_id, a_seriski_broj, a_broj_sedista,  li_id, li_pravec, li_ime
+R3 = {inl_id, inl_datum_start, inl_datum_end, a_registracija, k_id, a_seriski_broj, a_broj_sedista,  li_id, li_pravec, li_ime} е во втора нормална форма
 
-m_id →  m_grad, m_opstina, m_ulica
+inl_id → inl_datum_start, inl_datum_end, a_registracija, li_id
+a_registracija → a_seriski_broj, a_broj_sedishta
+li_id → li_ime, li_pravec
 
-vozenje_id → vozenje_start, vozenje_end, vozenje_status, pt_id, pnl_id, inl_id
-
-kontrola_id →  kontrola_datum, kd_id, inl_id
-
-kz_id →  kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument, kd_id, kontrola_id
-
-kzr_id → kz_id, pt_id
-
-kzn_id → kzn_telefon, kzn_ime, kzn_adresa
-
-tb_id → tb_trajnost, tb_ime, tb_cena
-
-b_id → b_datum_na_kupuvnje, b_status, pt_id, tb_id
+R3_1 = {inl_id, inl_datum_start, inl_datum_end, a_registracija, li_id} е во BCNF
+R3_2 = {a_registracija, a_seriski_broj, a_broj_sedishta} е во BCNF
+R3_3 = {li_id, li_ime, li_pravec} е во BCNF
 
 
-Levo:
+== 2.  Контроли на инстнаци на линии со казни
 
-vozenje_id,
-b_id
-kzr_id
-kzn_id
+R = {
+kontrola_id, kontrola_datum, inl_id, kondukter_k_id, v_plata, v_datum_na_vrab, v_datum_prekin,
+kondukter_k_ime, kondukter_k_adresa, kondukter_k_telefon, kondukter_k_email, kondukter_k_embg, kondukter_k_is_admin, kondukter_k_lozinka,
+kz_id, kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument, kontrola_id,
+patnik_k_id, patnik_k_ime, patnik_k_adresa, patnik_k_telefon, patnik_k_email, patnik_k_embg, patnik_k_is_admin, patnik_k_lozinka,
+kzn_telefon, kzn_ime, kzn_adresa
+}
 
-Levo I desno: 
+kontrola_id → kontrola_datum, inl_id, kondukter_k_id
+kondukter_k_id → v_plata, v_datum_na_vrab, v_datum_prekin, kondukter_k_ime, kondukter_k_adresa, kondukter_k_telefon, kondukter_k_email, kondukter_k_embg, kondukter_k_is_admin, kondukter_k_lozinka
 
-k_id,
-inl_id,
-a_registracija,
-li_id,
-pnl_id,
-p_id,
-m_id,
-kontrola_id,
-tb_id,
-vz_id,
-kd_id,
-pt_id,
+kz_id → kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument, kontrola_id, patnik_k_id, kzn_telefon, kzn_ime, kzn_adresa
+
+patnik_k_id → patnik_k_ime, patnik_k_adresa, patnik_k_telefon, patnik_k_email, patnik_k_embg, patnik_k_is_admin, patnik_k_lozinka
+
+лево:
 kz_id
 
+лево и десно:
+patnik_k_id, kondukter_k_id, kontrola_k_id
 
-Desno:
+десно:
+v_plata, v_datum_na_vrab, v_datum_prekin, kondukter_k_ime, kondukter_k_adresa, kondukter_k_telefon, kondukter_k_email, kondukter_k_embg, kondukter_k_is_admin, kondukter_k_lozinka,  patnik_k_ime, patnik_k_adresa, patnik_k_telefon, patnik_k_email, patnik_k_embg, patnik_k_is_admin, patnik_k_lozinka, kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument, kzn_telefon, kzn_ime, kzn_adresa,  kontrola_datum, inl_id
 
-k_ime, k_adresa, k_telefon, k_email, k_embg, k_lozinka, k_is_admin, v_datum_na_vrabotuvanje, v_datum_prekin_vrabotuvanje, inl_datum_start, inl_datum_end, a_seriski_broj, a_broj_sedista, li_ime, li_pravec pnl_reden_broj, p_ime, m_grad, m_opstina, m_ulica, vozenje_start, vozenje_end, vozenje_status, kontrola_datum, kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument, kzn_telefon, kzn_ime, kzn_adresa, tb_trajnost, tb_ime, tb_cena, b_datum_na_kupuvnje, b_status
+kz_id е едниствен кандидат клуч и примарен клуч.
+
+{kz_id}+ = {v_plata, v_datum_na_vrab, v_datum_prekin, kondukter_k_ime, kondukter_k_adresa, kondukter_k_telefon, kondukter_k_email, kondukter_k_embg, kondukter_k_is_admin, kondukter_k_lozinka,  patnik_k_ime, patnik_k_adresa, patnik_k_telefon, patnik_k_email, patnik_k_embg, patnik_k_is_admin, patnik_k_lozinka, kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument, kzn_telefon, kzn_ime, kzn_adresa,  kontrola_datum, inl_id, patnik_k_id, kondukter_k_id, kontrola_k_id}
+
+Клучот на релацијата се состои од еден атрибут што значи дека парцијална зависност е невозможна, од каде следи дека втора нормална форма е задоволена.
+
+Постојат транзитивни зависности:
+
+kondukter_k_id → v_plata, v_datum_na_vrab, v_datum_prekin, kondukter_k_ime, kondukter_k_adresa, kondukter_k_telefon, kondukter_k_email, kondukter_k_embg, kondukter_k_is_admin, kondukter_k_lozinka 
+
+patnik_k_id →  patnik_k_ime, patnik_k_adresa, patnik_k_telefon, patnik_k_email, patnik_k_embg, patnik_k_is_admin, patnik_k_lozinka
+
+kontrola_id → kontrola_id, kondukter_k_id, inl_id
+
+R1 = {kondukter_k_id, v_plata, v_datum_na_vrab, v_datum_prekin, kondukter_k_ime, kondukter_k_adresa, kondukter_k_telefon, kondukter_k_email, kondukter_k_embg, kondukter_k_is_admin, kondukter_k_lozinka } задоволува BCNF
+
+R2 = {patnik_k_id,  patnik_k_ime, patnik_k_adresa, patnik_k_telefon, patnik_k_email, patnik_k_embg, patnik_k_is_admin, patnik_k_lozinka} задоволува BCNF
+R3 = {kontrola_id, kontrola_id, kondukter_k_id, inl_id}
+R4 = {kz_id, kz_iznos, kz_plateno, kz_datum, kz_datum_plateno, kz_dokument, kontrola_id, patnik_k_id, kzn_telefon, kzn_ime, kzn_adresa} задоволува BCNF
+
+== 3.  Реализирани возења со инстанци на линии
+
+R = {
+vozenje_id, vozenje_start, vozenje_end, vozenje_status, patnik_k_id, kacuva_pnl_id, inl_id, b_id,
+b_datum_kupuvanje, b_status, tb_id, tb_trajnost, tb_ime
+}
+
+vozenje_id →  vozenje_start, vozenje_end, vozenje_status, patnik_k_id, kacuva_pnl_id, inl_id, b_id
+
+b_id → b_datum_kupuvanje, b_status, tb_id, tb_trajnost, tb_ime
+
+tb_id →  tb_trajnost, tb_ime
+
+лево:
+vozenje_id
+
+лево и десно:
+b_id, tb_id
+
+десно:
+tb_trajnost, tb_ime, b_datum_kupuvanje, b_status,  vozenje_start, vozenje_end, vozenje_status, patnik_k_id, kacuva_pnl_id, inl_id
+
+Едниствен кандидат клуч е vozenje_id, составен е од еден атрибут така што нема парцијални зависности во оваа релација.
+
+{vozenje_id}+ = {vozenje_start, vozenje_end, vozenje_status, patnik_k_id, kacuva_pnl_id, inl_id, b_id,
+b_datum_kupuvanje, b_status, tb_id, tb_trajnost, tb_ime} – задоволува втора нормална форма.
+
+Не е задоволена трета нормална форма поради транзитивни зависности.
+
+b_id → b_status, b_datum_kupuvanje, tb_id
+tb_id → tb_ime, tb_trajnost
+
+R1 = {b_id, b_status, b_datum_kupuvanje, tb_id} BCNF
+R2 = {tb_id, tb_ime, tb_trajnost} BCNF
+R3 = {vozenje_start, vozenje_end, vozenje_status, patnik_k_id, kacuva_pnl_id, inl_id, b_id} BCNF
+