| 2 | |
| 3 | == Поделба на доменот според типот на евиденција |
| 4 | Бидејќи нашиот модел го користи апликација којашто служи за различни евиденции од областа на реализација на избори, практично е невозможно да извршиме нормализација користејќи една табела во којашто ќе бидат сместени сите атрибути. Затоа решивме да ги прикажеме различните извештаи кои произлегуваат од различните сценарија на примена на моделот и како такви, парцијално да ги нормалзираме и така добиените ентитети да ги поврземе во целина. |
| 5 | |
| 6 | == 1. Евиденција за избирачки список |
| 7 | ||= ЕМБГ (embg) =||= Име (g_ime) =||= Презиме (g_prezime) =||= Адреса идентификатор (a_id) =||= Улица (a_ulica) =||= Куќен број (a_broj) =||= Број влез (a_vlez) =||= Број стан (a_stan) =||= Број на документ за идентицикација (d_broj) =||= Датум на важност од (d_vazi_od) =||= Датум на важност до (d_vazi_do) =||= Издавач на документот (d_izdaden_od) =||= Гласачко место број(im_id) =||= Гласачко место (im_mesto) =||= Адреса идентификатор (a_id) =||= Улица (a_ulica_gm) =||= Куќен број (a_broj_gm) =||= Број влез (a_vlez_gm) =||= Број стан (a_stan_gm) =|| |
| 8 | || 0101002000000 || Петар || Петрески || 123 || Коле Неделковски || 13 || 1 || 2 || A111111 || 2020-01-01 || 2025-01-01 || МВР Скопје || 1234 || ОУ Кочо Рацин || 768 || Македонија || 1 || || || |
| 9 | || 0101002000000 || Петра || Петреска || 123 || Коле Неделковски || 13 || 1 || 2 || A222222 || 2020-01-01 || 2025-01-01 || МВР Скопје || 1234 || ОУ Кочо Рацин || 768 || Македонија || 1 || || || |
| 10 | |
| 11 | R = {embg, g_ime, g_prezime, a_id, a_ulica, a_broj, a_vlez, a_stan, d_broj, d_vazi_od, d_vazi_do, d_izdaden_od, im_id, im_mesto, a_id_gm, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm} |
| 12 | |
| 13 | embg →g_ime, g_prezime, a_id, d_broj \\ |
| 14 | a_id → a_ulica, a_broj, a_vlez, a_stan, im_id \\ |
| 15 | a_id_gm → a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm \\ |
| 16 | d_broj → d_vazi_od, d_vazi_do, d_izdaden_od \\ |
| 17 | im_id → im_mesto, a_id_gm \\ |
| 18 | |
| 19 | само лево: \\ |
| 20 | embg, |
| 21 | |
| 22 | лево и десно: \\ |
| 23 | a_id, d_broj, im_id, a_id, gm |
| 24 | |
| 25 | само десно: \\ |
| 26 | g_ime, g_prezime, a_ulica, a_broj, a_vlez, a_stan, d_vazi_od, d_vazi_do, d_izdaden_od, im_mesto, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm |
| 27 | |
| 28 | {embg}+ = {g_ime, g_prezime, a_id, a_ulica, a_broj, a_vlez, a_stan, im_id, im_mesto, d_broj, d_vazi_od, d_vazi_do, d_izdaden_od, a_id_gm, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm} = R \\ |
| 29 | {embg} е единствен кандидат клуч и примарен клуч. |
| 30 | |
| 31 | Во вака дефинираната релација нема повеќекратни зависности, па оттука следува дека задоволува прва нормална форма. \\ |
| 32 | Клучот на релацијата е составен од само еден атрибут, па парцијална зависност не е возможна, затоа, задоволува втора нормална форма. \\ |
| 33 | |
| 34 | ---- |
| 35 | |
| 36 | Не е во трета нормална форма поради: \\ |
| 37 | d_broj → d_vazi_od, d_vazi_do, d_izdaden_od |
| 38 | |
| 39 | Декомпозиција: \\ |
| 40 | R1 {d_broj, d_vazi_od, d_vazi_do, d_izdaden_od} – задоволува BCNF |
| 41 | |
| 42 | R2 {embg, g_ime, g_prezime, a_id, a_ulica, a_broj, a_vlez, a_stan, im_id, im_mesto, d_broj, a_id_gm, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm} \\ |
| 43 | embg →g_ime, g_prezime, a_id, d_broj \\ |
| 44 | a_id → a_ulica, a_broj, a_vlez, a_stan, im_id \\ |
| 45 | a_id_gm → a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm \\ |
| 46 | im_id → im_mesto, a_id_gm \\ |
| 47 | |
| 48 | Не е во трета нормална форма поради: \\ |
| 49 | im_id → im_mesto, a_id_gm \\ |
| 50 | {im_id}+ = {im_mesto, a_id_gm, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm} \\ |
| 51 | |
| 52 | R2_1 {im_id, im_mesto, a_id_gm, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm} – задоволува втора нормална форма \\ |
| 53 | im_id → im_mesto, a_id_gm \\ |
| 54 | a_id_gm → a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm |
| 55 | |
| 56 | Не е во трета нормална форма поради: \\ |
| 57 | a_id_gm → a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm \\ |
| 58 | {a_id_gm}+ = {a_id_gm, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm} \\ |
| 59 | |
| 60 | R2_1_1 = {a_id_gm, a_ulica_gm, a_broj_gm, a_vlez_gm, a_stan_gm} – задоволува BCNF \\ |
| 61 | R2_1_2 = {im_id, im_mesto, a_id_gm} – задоволува BCNF |
| 62 | |
| 63 | R2_2 {embg, g_ime, g_prezime, a_id, a_ulica, a_broj, a_vlez, a_stan, d_broj, im_id} – задоволува втора нормална форма \\ |
| 64 | embg →g_ime, g_prezime, a_id, d_broj \\ |
| 65 | a_id → a_ulica, a_broj, a_vlez, a_stan, im_id |
| 66 | |
| 67 | Не е во трета нормална форма поради: \\ |
| 68 | a_id → a_ulica, a_broj, a_vlez, a_stan, im_id \\ |
| 69 | {a_id}+ = {a_id, a_ulica, a_broj, a_vlez, a_stan, im_id} |
| 70 | |
| 71 | R2_2_1 = {a_id, a_ulica, a_broj, a_vlez, a_stan}- задоволува BCNF \\ |
| 72 | R2_2_2 = {embg, g_ime, g_prezime, a_id} – задоволува BCNF |
| 73 | |
| 74 | Конечно, првичната реализација се декомпонира на следните релации: |
| 75 | |
| 76 | R2_2_2 = {embg, g_ime, g_prezime, a_id} \\ |
| 77 | R2_2_1 = {a_id, a_ulica, a_broj, a_vlez, a_stan} \\ |
| 78 | R2_1_2 = {im_id, im_mesto, a_id*} *со оглед на тоа што адресите на избирачкото место и на граѓани се од ист домен, ја користиме истата релација на двете места \\ |
| 79 | R1 {d_broj, d_vazi_od, d_vazi_do, d_izdaden_od} \\ |
| 80 | |
| 81 | |
| 82 | |