Changes between Version 11 and Version 12 of Normalization

Timestamp:

06/12/26 19:43:30 (38 hours ago)

Author:

233062

Comment:

--

Normalization

@@ -272 +272 @@
 === **Lossless Join проверка** ===
 
-За секоја декомпозиција `R -> R1, R2`, `join`-от е lossless ако и само ако:
-`(R1 ∩ R2) -> R1` **ИЛИ** `(R1 ∩ R2) -> R2`
-
-Бидејќи декомпозицијата е вршена директно од глобалната релација `R` во посебни релации (не постепено `R->R1,R2->R3,R4...`), ја применуваме проверката за секој пар поврзани релации преку странски клуч:
-
-- `USERS` — `TRAINING_USERS`: Пресек `{user_id}` → `user_id` е `PK` во `USERS` → суперклуч ✓
-- `USERS` — `FINANCE_USERS`: Пресек `{user_id}` → `user_id` е `PK` во `USERS` → суперклуч ✓
-- `USERS` — `INVESTOR_USERS`: Пресек `{user_id}` → `user_id` е `PK` во `USERS` → суперклуч ✓
-- `USERS` — `DISCIPLINE_USERS`: Пресек `{user_id}` → `user_id` е `PK` во `USERS` → суперклуч ✓
-- `USERS` — `CUSTOM_TRACKING_CATEGORIES`: Пресек `{user_id}` → `user_id` е `PK` во `USERS` → суперклуч ✓
-- `USERS` — `DAILY_COMPLETION`: Пресек `{user_id}` → `user_id` е `PK` во `USERS` → суперклуч ✓
-- `TRAINING_USERS` — `TRAINING_SESSIONS`: Пресек `{training_user_id}` → `training_user_id` е `PK` во `TRAINING_USERS` → суперклуч ✓
-- `INVESTOR_USERS` — `ASSETS`: Пресек `{investor_user_id}` → `investor_user_id` е `PK` во `INVESTOR_USERS` → суперклуч ✓
-- `WEIGHT_USERS` — `DAILY_INTAKES`: Пресек `{weight_user_id}` → `weight_user_id` е `PK` во `WEIGHT_USERS` → суперклуч ✓
-- `FINANCE_USERS` — `INCOMES`: Пресек `{finance_user_id}` → `finance_user_id` е `PK` во `FINANCE_USERS` → суперклуч ✓
-- `DISCIPLINE_USERS` — `TASKS`: Пресек `{discipline_user_id}` → `discipline_user_id` е `PK` во `DISCIPLINE_USERS` → суперклуч ✓
-- `CUSTOM_TRACKING_CATEGORIES` — `TASKS`: Пресек `{custom_tracking_id}` → `custom_tracking_id` е `PK` во `CUSTOM_TRACKING_CATEGORIES` → суперклуч ✓
-- `TASKS` — `TASK_DAILY_COMPLETION`: Пресек `{task_id}` → `task_id` е `PK` во `TASKS` → суперклуч ✓
-- `DAILY_COMPLETION` — `TASK_DAILY_COMPLETION`: Пресек `{daily_completion_id}` → `daily_completion_id` е `PK` во `DAILY_COMPLETION` → суперклуч ✓
-
-**Заклучок:** Сите декомпозиции имаат **lossless join** својство. ✓
+**Теоретска основа:** За секоја декомпозиција на релација R во R1 и R2, join-от е lossless ако и само ако (R1 ∩ R2) → R1 или (R1 ∩ R2) → R2, т.е. заедничките атрибути формираат суперклуч барем во една од двете нови релации.
+
+Бидејќи нашата декомпозиција се изведува чекор-по-чекор, за секој чекор посебно ја проверуваме оваа особина.
+
+---
+
+**ЧЕКОР 1: Декомпозиција од глобална R во 1НФ**
+
+**Чекор 1.1: Издвојување на USERS**
+
+R(сите атрибути) → USERS(user_id, email, username, password) + R1(останати атрибути)
+
+Пресек: {user_id}
+
+Дали {user_id} → USERS? Да, user_id е примарен клуч во USERS.
+
+Условот (R1 ∩ R2) → R1 е задоволен → **Lossless join ✓**
+
+---
+
+**Чекор 1.2: Издвојување на TRAINING_USERS**
+
+R1 → TRAINING_USERS(training_user_id, training_gender, training_age, training_weight) + R2(останати атрибути)
+
+Пресек: {training_user_id}
+
+Дали {training_user_id} → TRAINING_USERS? Да, training_user_id е примарен клуч во TRAINING_USERS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.3: Издвојување на TRAINING_SESSIONS**
+
+R2 → TRAINING_SESSIONS(training_id, training_user_id, training_date, training_type, training_duration, training_calories) + R3(останати атрибути)
+
+Пресек: {training_id}
+
+Дали {training_id} → TRAINING_SESSIONS? Да, training_id е примарен клуч во TRAINING_SESSIONS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.4: Издвојување на INVESTOR_USERS**
+
+R3 → INVESTOR_USERS(investor_user_id) + R4(останати атрибути)
+
+Пресек: {investor_user_id}
+
+Дали {investor_user_id} → INVESTOR_USERS? Да, investor_user_id е примарен клуч во INVESTOR_USERS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.5: Издвојување на ASSETS**
+
+R4 → ASSETS(asset_id, investor_user_id, asset_ticker_symbol, asset_buy_price, asset_buy_date, asset_quantity) + R5(останати атрибути)
+
+Пресек: {asset_id}
+
+Дали {asset_id} → ASSETS? Да, asset_id е примарен клуч во ASSETS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.6: Издвојување на WEIGHT_USERS**
+
+R5 → WEIGHT_USERS(weight_user_id, weight_current, weight_height, weight_goal_weight, weight_goal_calories) + R6(останати атрибути)
+
+Пресек: {weight_user_id}
+
+Дали {weight_user_id} → WEIGHT_USERS? Да, weight_user_id е примарен клуч во WEIGHT_USERS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.7: Издвојување на DAILY_INTAKES**
+
+R6 → DAILY_INTAKES(daily_intake_id, weight_user_id, daily_intake_date, daily_intake_calories) + R7(останати атрибути)
+
+Пресек: {daily_intake_id}
+
+Дали {daily_intake_id} → DAILY_INTAKES? Да, daily_intake_id е примарен клуч во DAILY_INTAKES.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.8: Издвојување на DISCIPLINE_USERS**
+
+R7 → DISCIPLINE_USERS(discipline_user_id) + R8(останати атрибути)
+
+Пресек: {discipline_user_id}
+
+Дали {discipline_user_id} → DISCIPLINE_USERS? Да, discipline_user_id е примарен клуч во DISCIPLINE_USERS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.9: Издвојување на CUSTOM_TRACKING_CATEGORIES**
+
+R8 → CUSTOM_TRACKING_CATEGORIES(custom_tracking_id, user_id, custom_tracking_name) + R9(останати атрибути)
+
+Пресек: {custom_tracking_id}
+
+Дали {custom_tracking_id} → CUSTOM_TRACKING_CATEGORIES? Да, custom_tracking_id е примарен клуч во CUSTOM_TRACKING_CATEGORIES.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.10: Издвојување на TASKS**
+
+R9 → TASKS(task_id, discipline_user_id, custom_tracking_id, task_name, task_is_finished) + R10(останати атрибути)
+
+Пресек: {task_id}
+
+Дали {task_id} → TASKS? Да, task_id е примарен клуч во TASKS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.11: Издвојување на DAILY_COMPLETION**
+
+R10 → DAILY_COMPLETION(daily_completion_id, user_id, daily_completion_date, daily_completion_procent) + R11(останати атрибути)
+
+Пресек: {daily_completion_id}
+
+Дали {daily_completion_id} → DAILY_COMPLETION? Да, daily_completion_id е примарен клуч во DAILY_COMPLETION.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.12: Издвојување на TASK_DAILY_COMPLETION**
+
+R11 → TASK_DAILY_COMPLETION(task_id, daily_completion_id) + R12(останати атрибути)
+
+Пресек: {task_id, daily_completion_id}
+
+Ова е спојна релација без не-клучни атрибути. Бидејќи нема дополнителни атрибути кои би можеле да се изгубат, join-от е lossless.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.13: Издвојување на FINANCE_USERS**
+
+R12 → FINANCE_USERS(finance_user_id, finance_spending_budget, finance_saving_budget, finance_investing_budget, finance_donation_budget, finance_credit) + R13(останати атрибути)
+
+Пресек: {finance_user_id}
+
+Дали {finance_user_id} → FINANCE_USERS? Да, finance_user_id е примарен клуч во FINANCE_USERS.
+
+**Lossless join ✓**
+
+---
+
+**Чекор 1.14: Издвојување на INCOMES**
+
+R13 → INCOMES(income_id, finance_user_id, income_date, income_amount) + R14(празна)
+
+Пресек: {income_id}
+
+Дали {income_id} → INCOMES? Да, income_id е примарен клуч во INCOMES.
+
+**Lossless join ✓**
+
+---
+
+**ЗАКЛУЧОК:** Сите 14 чекори на декомпозиција го задоволуваат условот за lossless join. Конечниот модел овозможува целосна реконструкција на оригиналната релација R без губење или создавање на лажни податоци.
+
 
 === **Dependency Preservation проверка** ===