= Резиме на поправки и напредок =

== 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 и работат со реалните податоци од базата.
 * За секој нов извештај е напишана и релациона алгебра.

'''Резултат:''' Напредните извештаи целосно го адресираат барањето за покомплексни прашалници со повеќе нивоа на вгнездување.

== Заклучок ==

Сите забелешки од евалуациите за фазите P1, P2, P5 и P6 се адресирани:

|| '''Фаза''' || '''Забелешка''' || '''Статус''' ||
|| P1 || Надворешен клуч не постои во ЕРД || Поправено — отстранети FK ознаки ||
|| P2 || Постави база на факултетски сервер || Направено — базата е поставена ||
|| P5 || Формална проверка на кандидат-клуч || Поправено — додаден формален доказ ||
|| P6 || Покомплексни прашалници со вгнездување || Поправено — додадени 6 нови извештаи ||