Резиме на поправки и напредок
DB_P1: Концептуален модел (ERD)
Статус: Прелиминарно во ред, со мала формална забелешка.
Забелешка од евалуацијата:
„Прелиминарно е во ред, мала формална забелешка — концептот на надворешен клуч не постои во ЕРД, да се отстранат."
Што е поправено:
- Отстранети се сите ознаки за надворешен клуч (FK) од ER дијаграмот.
- Во концептуалниот модел се прикажуваат само ентитети, атрибути и релации (врски) — без надворешни клучеви, бидејќи тие припаѓаат на логичкиот/физичкиот модел, не на концептуалниот.
- Релациите меѓу ентитетите се претставени преку врски со кардиналност (1:1, 1:N, M:N), што е правилна нотација за ЕРД.
Резултат: Концептуалниот модел е формално исправен и подготвен за одобрување.
DB_P2: Логички и физички дизајн, креирање на база (DDL)
Статус: Прелиминарно во ред, потребно е поставување на базата на факултетскиот сервер.
Забелешка од евалуацијата:
„Прелиминарно во ред, за одобрување да се постави базата на факултетскиот сервер."
Што е направено:
- Логичкиот модел е изведен од концептуалниот и е целосно нормализиран (во BCNF).
- Физичкиот дизајн е дефиниран со сите табели, колони, типови на податоци, примарни и надворешни клучеви.
- DDL скриптата е креирана и успешно извршена локално.
- Базата е поставена на факултетскиот сервер (develop.finki.ukim.mk) и е достапна за натамошна работа.
- Сите 20 табели се креирани и populate-ирани со тест податоци.
Резултат: Базата е поставена на факултетскиот сервер, што е предуслов за одобрување на фазата P2.
DB_P5: Нормализација
Статус: Поправено според барањата од евалуацијата.
Забелешка од евалуацијата:
„Недостасува формална проверка дека примарниот клуч е навистина кандидат-клуч и дека нема друг кандидат-клуч, пред да биде прогласен за примарен клуч."
Што е поправено:
- Додаден е формален доказ дека избраниот примарен клуч е кандидат-клуч (уникатност + минималност).
- Додаден е формален доказ дека не постои друг кандидат-клуч.
- Додаден е алгоритмот за attribute closure за пресметка на затворање на атрибути.
- Додаден е canonical cover на множеството функционални зависности.
- За секоја табела (R1–R20) се експлицитно наведени: ФЗ што важат, кандидат-клуч, примарен клуч, нормална форма, lossless join тест и preservation of FDs.
- Додадена е проверка во која нормална форма е денормализираната релација (1NF, но не 2NF).
- Додадена е глобална проверка за preservation of FDs и lossless join.
Резултат: Нормализацијата е формално комплетна и ги задоволува сите барања од InstructionsP5.
DB_P6: Комплексни извештаи од базата
Статус: Поправено според барањата од евалуацијата.
Забелешка од евалуацијата:
„Во ред е, но се очекуваат значително покомплексни прашалници, со повеќе нивоа на вгнездување потпрашалници."
Што е поправено:
- Постоечките 8 извештаи (AdvancedReport1–8) се задржани како основни аналитички извештаи.
- Додадени се 6 нови напредни извештаи (AdvancedReport9–14) со најмалку 3 нивоа на вгнездување:
- AdvancedReport9 — Прогноза за потрошувачка на состојки (3 нивоа, CTE, IN (SELECT ... HAVING ... (SELECT AVG ...)))
- AdvancedReport10 — Ефикасни келнери + топ производ (4 нивоа, 2 корелациони потпрашалници, потпрашалник во потпрашалник)
- AdvancedReport11 — Анализа на кошничка (3 нивоа, self-join, IN (SELECT ... HAVING ...))
- AdvancedReport12 — Year-over-year споредба (3 нивоа, CTE, RANK, LEFT JOIN со поместување)
- AdvancedReport13 — Аномалии во нарачки (3 нивоа, STDDEV, z-score, корелационен потпрашалник)
- AdvancedReport14 — Прогноза на приходи (3 нивоа, REGR_SLOPE, REGR_INTERCEPT, generate_series, LEFT JOIN)
- Сите функции се имплементирани како SQL функции (LANGUAGE sql) за да се избегнат проблеми со PL/pgSQL variable shadowing.
- Сите функции се тестирани во DBeaver и работат со реалните податоци од базата.
- За секој нов извештај е напишана и релациона алгебра.
Резултат: Напредните извештаи целосно го адресираат барањето за покомплексни прашања со повеќе нивоа на вгнездување.
DB_P7: Напреден развој на датабаза (SQL DDL)
Статус: Поправено според барањата од евалуацијата.
Забелешка од евалуацијата:
„Trigger - ок Stored Procedures - ок Views - ок Domains - /"
Што е поправено:
- Тригерите (Triggers) се веќе имплементирани и оценети како „ок".
- Складираните процедури и функции (Stored Procedures) се веќе имплементирани и оценети како „ок".
- Погледите (Views) се веќе имплементирани и оценети како „ок".
- Додадени се 8 кориснички дефинирани домени (Custom Domains):
- positive_money — парични вредности со деловни граници (0 до 1.000.000)
- vat_percentage — ДДВ само со законски дозволени стапки (0, 5, 10, 18)
- table_status — статус на маса (СЛОБОДНА, ЗАФАТЕНА, РЕЗЕРВИРАНА, НЕДОСТАПНА)
- order_status — статус на нарачка (НОВА, ПОРАЧАНО, ПОДГОТВЕНО, СЕРВИРАНО, ПЛАТЕНА, ОТКАЖАНА)
- inventory_operation — тип на инвентарна операција (ПОЧЕТНА, ПРИЕМ, ПРОДАЖБА, ОТПИС, КОРЕКЦИЈА)
- valid_email — комплексна email валидација (regex + должина + без последователни точки)
- mkd_phone — македонски мобилен телефонски број во 3 формати
- password_hash — bcrypt password hash валидација
- Домените се применети на постоечките колони со ALTER TABLE.
- Сите домени се тестирани со валидни и невалидни вредности.
Резултат: Сите 4 барања од фазата P7 (Triggers, Stored Procedures, Views, Domains) се целосно имплементирани.
Заклучок
Сите забелешки од евалуациите за фазите P1, P2, P5, P6 и P7 се адресирани:
| Фаза | Забелешка | Статус |
| P1 | Надворешен клуч не постои во ЕРД | Поправено — отстранети FK ознаки |
| P2 | Постави база на факултетски сервер | Направено — базата е поставена |
| P5 | Формална проверка на кандидат-клуч | Поправено — додаден формален доказ |
| P6 | Покомплексни прашалници со вгнездување | Поправено — додадени 6 нови извештаи |
| P7 | Domains недостасуваа | Поправено — додадени 8 кориснички дефинирани домени |
