Changes between Version 12 and Version 13 of normalization

Timestamp:

01/30/26 10:20:59 (6 hours ago)

Author:

231175

Comment:

--

normalization

@@ -739 +739 @@
 ==== Universal_Relation_Shifter_Base_8 - Проверка за транзитивни зависности ====
 
-Примарен клуч на Universal_Relation_Shifter_Base_8: '''{saleId, poId, productId}'''
-
-'''Транзитивни зависности во U5:'''
-
- 1. '''FD1 транзитивно:''' {saleId, poId, productId} → userId (преку R2/saleId) → user_username, user_password, user_full_name, user_email, user_role, user_is_active
-    * userId не е клуч на U5, а user_* зависат од userId
-    * '''НАРУШУВА 3NF'''
-
- 2. '''FD4 транзитивно:''' {saleId, poId, productId} → customerId (преку R2/saleId) → customer_name, customer_email, customer_phone, customer_address
-    * '''НАРУШУВА 3NF'''
-
- 3. '''FD7 транзитивно:''' {saleId, poId, productId} → categoryId (преку R1/productId) → category_name, category_description
-    * '''НАРУШУВА 3NF'''
-
- 4. '''FD8 транзитивно:''' {saleId, poId, productId} → supplierId → supplier_name, supplier_contact_person, supplier_phone, supplier_email, supplier_address
-    * '''НАРУШУВА 3NF'''
-
- 5. '''FD9 транзитивно:''' {saleId, poId, productId} → warehouseId → warehouse_name, warehouse_location, warehouse_capacity
-    * '''НАРУШУВА 3NF'''
-
- 6. '''FD14:''' {warehouseId, productId} → stock_quantity_on_hand, stock_last_updated
-    * warehouseId се добива транзитивно, а {warehouseId, productId} не е клуч на U5
-    * '''НАРУШУВА 3NF'''
-
-=== Чекор 6.1: Декомпозиција по FD1 (userId → user_*) ===
-
-{{{
-R6(userId, user_username, user_password, user_full_name, user_email, user_role, user_is_active)
-   PK: userId
-
-U6 = U5 - {user_username, user_password, user_full_name, user_email, user_role, user_is_active}
-
-U6(saleId, poId, productId, userId, customerId, customer_name, customer_email, 
-   customer_phone, customer_address, categoryId, category_name, category_description, 
-   supplierId, supplier_name, supplier_contact_person, supplier_phone, supplier_email, 
-   supplier_address, warehouseId, warehouse_name, warehouse_location, warehouse_capacity, 
-   stock_quantity_on_hand, stock_last_updated)
-}}}
-
-'''Проверка за lossless join:'''
- * R6 ∩ U6 = {userId}
- * userId → R6 (FD1)
- * Lossless ✓
-
-=== Чекор 6.2: Декомпозиција по FD4 (customerId → customer_*) ===
-
-{{{
-R7(customerId, customer_name, customer_email, customer_phone, customer_address)
-   PK: customerId
-
-U7 = U6 - {customer_name, customer_email, customer_phone, customer_address}
-
-U7(saleId, poId, productId, userId, customerId, categoryId, category_name, 
-   category_description, supplierId, supplier_name, supplier_contact_person, 
-   supplier_phone, supplier_email, supplier_address, warehouseId, warehouse_name, 
-   warehouse_location, warehouse_capacity, stock_quantity_on_hand, stock_last_updated)
-}}}
-
-'''Проверка за lossless join:'''
- * R7 ∩ U7 = {customerId}
- * customerId → R7 (FD4)
- * Lossless ✓
-
-=== Чекор 6.3: Декомпозиција по FD7 (categoryId → category_*) ===
-
-{{{
-R8(categoryId, category_name, category_description)
-   PK: categoryId
-
-U8 = U7 - {category_name, category_description}
-
-U8(saleId, poId, productId, userId, customerId, categoryId, supplierId, 
-   supplier_name, supplier_contact_person, supplier_phone, supplier_email, 
-   supplier_address, warehouseId, warehouse_name, warehouse_location, 
-   warehouse_capacity, stock_quantity_on_hand, stock_last_updated)
-}}}
-
-'''Проверка за lossless join:'''
- * R8 ∩ U8 = {categoryId}
- * categoryId → R8 (FD7)
- * Lossless ✓
-
-=== Чекор 6.4: Декомпозиција по FD8 (supplierId → supplier_*) ===
-
-{{{
-R9(supplierId, supplier_name, supplier_contact_person, supplier_phone, supplier_email, supplier_address)
-   PK: supplierId
-
-U9 = U8 - {supplier_name, supplier_contact_person, supplier_phone, supplier_email, supplier_address}
-
-U9(saleId, poId, productId, userId, customerId, categoryId, supplierId, 
-   warehouseId, warehouse_name, warehouse_location, warehouse_capacity, 
-   stock_quantity_on_hand, stock_last_updated)
-}}}
-
-'''Проверка за lossless join:'''
- * R9 ∩ U9 = {supplierId}
- * supplierId → R9 (FD8)
- * Lossless ✓
-
-=== Чекор 6.5: Декомпозиција по FD9 (warehouseId → warehouse_*) ===
-
-{{{
-R10(warehouseId, warehouse_name, warehouse_location, warehouse_capacity)
-   PK: warehouseId
-
-U10 = U9 - {warehouse_name, warehouse_location, warehouse_capacity}
-
-U10(saleId, poId, productId, userId, customerId, categoryId, supplierId, warehouseId, stock_quantity_on_hand, stock_last_updated)
-}}}
-
-'''Проверка за lossless join:'''
- * R10 ∩ U10 = {warehouseId}
- * warehouseId → R10 (FD9)
- * Lossless ✓
-
-=== Чекор 6.6: Декомпозиција по FD14 ({warehouseId, productId} → stock_*) ===
-
-{{{
-R11(warehouseId, productId, stock_quantity_on_hand, stock_last_updated)
-   PK: {warehouseId, productId}
-
-U11 = U10 - {stock_quantity_on_hand, stock_last_updated}
-
-U11(saleId, poId, productId, userId, customerId, categoryId, supplierId, warehouseId)
-}}}
-
-'''Проверка за lossless join:'''
- * R11 ∩ U11 = {warehouseId, productId}
- * {warehouseId, productId} → R11 (FD14)
- * Lossless ✓
-
-=== Анализа на U11 ===
-
-{{{
-U11(saleId, poId, productId, userId, customerId, categoryId, supplierId, warehouseId)
-   PK: {saleId, poId, productId}
-}}}
-
-Атрибутите userId, customerId, warehouseId се веќе дел од R2 (Sale).
-Атрибутите categoryId, supplierId се веќе дел од R1 (Product).
-
-U11 претставува врска меѓу продажби (saleId), нарачки (poId) и продукти (productId).
+Примарен клуч на Universal_Relation_Shifter_Base_8: '''∅'''
+
+'''Заклучок:''' После извлекување на сите парцијални зависности (FD2, FD3, FD4, FD10, FD12, FD14, FD16, FD17), универзалната релација е целосно декомпонирана. Примарниот клуч на Universal_Relation_Shifter_Base_8 е празно множество (∅), што значи дека таа релација повеќе не постои како валидна релација.
+Останатите функционални зависности (FD1, FD5-FD9, FD11, FD13, FD15) **нарушуваат 3NF** бидејќи нивните детерминанти (user_id, course_id, enrollment_id, итн.) не се примарни клучеви на 
+Universal_Relation_Shifter_Base_8, туку се независни детерминанти кои треба да формираат посебни релации.
+
+=== Чекор 6.1: Декомпозиција по FD1 (user_id → user_*) ===
+
+{{{
+User(user_id, user_name, user_email, user_login_provider, user_password_hash, user_verified, user_profile_complete, user_used_free_consultation, user_company_size, user_work_position, user_points)
+   PK: user_id
+
+Universal_Relation_Shifter_Base_9 = Universal_Relation_Shifter_Base_8 - {user_id, user_name, user_email, user_login_provider, user_password_hash, user_verified, user_profile_complete, user_used_free_consultation, user_company_size, user_work_position, user_points}
+
+Universal_Relation_Shifter_Base_9(
+expert_id,
+course_id, course_image_url, course_color, course_difficulty, course_duration_minutes, course_price,
+course_version_id, version_number, version_creation_date, version_active,
+enrollment_id, enrollment_status, enrollment_purchase_date, enrollment_activation_date, enrollment_completion_date,
+payment_id, payment_amount, payment_date, payment_method, payment_status,
+review_id, review_rating, review_comment, review_date,
+course_content_id, content_position,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id, tag_type
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id
+'''Проверка за dependency preservation:''' FD1 е зачувана во User
+
+=== Чекор 6.2: Декомпозиција по FD5 (course_id → course_*) ===
+
+{{{
+Course(course_id, course_image_url, course_color, course_difficulty, course_duration_minutes, course_price)
+   PK: course_id
+
+Universal_Relation_Shifter_Base_10 = Universal_Relation_Shifter_Base_9 - {course_id, course_image_url, course_color, course_difficulty, course_duration_minutes, course_price}
+
+Universal_Relation_Shifter_Base_10(
+expert_id,
+course_version_id, version_number, version_creation_date, version_active,
+enrollment_id, enrollment_status, enrollment_purchase_date, enrollment_activation_date, enrollment_completion_date,
+payment_id, payment_amount, payment_date, payment_method, payment_status,
+review_id, review_rating, review_comment, review_date,
+course_content_id, content_position,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id, tag_type
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id → course_version_id
+'''Проверка за dependency preservation:''' FD5 е зачувана во Course
+
+=== Чекор 6.3: Декомпозиција по FD6 (enrollment_id → enrollment_*) ===
+
+{{{
+Enrollment(enrollment_id, enrollment_status, enrollment_purchase_date, enrollment_activation_date, enrollment_completion_date, user_id, course_version_id, payment_id, review_id)
+   PK: enrollment_id
+
+Universal_Relation_Shifter_Base_11 = Universal_Relation_Shifter_Base_10 - {enrollment_status, enrollment_purchase_date, enrollment_activation_date, enrollment_completion_date}
+
+Universal_Relation_Shifter_Base_11(
+expert_id,
+course_version_id, version_number, version_creation_date, version_active,
+enrollment_id,
+payment_id, payment_amount, payment_date, payment_method, payment_status,
+review_id, review_rating, review_comment, review_date,
+course_content_id, content_position,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id, tag_type
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id
+'''Проверка за dependency preservation:''' FD6 е зачувана во Enrollment
+
+=== Чекор 6.4: Декомпозиција по FD7 (payment_id → payment_*) ===
+
+{{{
+Payment(payment_id, payment_amount, payment_date, payment_method, payment_status, enrollment_id)
+   PK: payment_id
+
+Universal_Relation_Shifter_Base_12 = Universal_Relation_Shifter_Base_11 - {payment_amount, payment_date, payment_method, payment_status}
+
+Universal_Relation_Shifter_Base_12(
+expert_id,
+course_version_id, version_number, version_creation_date, version_active,
+enrollment_id,
+review_id, review_rating, review_comment, review_date,
+course_content_id, content_position,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id, tag_type
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id
+'''Проверка за dependency preservation:''' FD7 е зачувана во Payment
+
+=== Чекор 6.5: Декомпозиција по FD8 (review_id → review_*) ===
+
+{{{
+Review(review_id, review_rating, review_comment, review_date, enrollment_id)
+   PK: review_id
+
+Universal_Relation_Shifter_Base_13 = Universal_Relation_Shifter_Base_12 - {review_rating, review_comment, review_date}
+
+Universal_Relation_Shifter_Base_13(
+expert_id,
+course_version_id, version_number, version_creation_date, version_active,
+enrollment_id,
+course_content_id, content_position,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id, tag_type
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id
+'''Проверка за dependency preservation:''' FD8 е зачувана во Review
+
+=== Чекор 6.6: Декомпозиција по FD9 (tag_id → tag_*) ===
+
+{{{
+Tag(tag_id, tag_type)
+   PK: tag_id
+
+Universal_Relation_Shifter_Base_14 = Universal_Relation_Shifter_Base_13 - {tag_type}
+
+Universal_Relation_Shifter_Base_14(
+expert_id,
+course_version_id, version_number, version_creation_date, version_active,
+enrollment_id,
+course_content_id, content_position,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку tag_id
+'''Проверка за dependency preservation:''' FD9 е зачувана во Tag
+
+=== Чекор 6.7: Декомпозиција по FD11 (course_version_id → course_version_*) ===
+
+{{{
+Course_Version(course_version_id, version_number, version_creation_date, version_active, course_id)
+   PK: course_version_id
+
+Universal_Relation_Shifter_Base_15 = Universal_Relation_Shifter_Base_14 - {course_version_id, version_number, version_creation_date, version_active}
+
+Universal_Relation_Shifter_Base_15(
+expert_id,
+enrollment_id,
+course_content_id, content_position,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id
+'''Проверка за dependency preservation:''' FD11 е зачувана во Course_Version
+
+=== Чекор 6.8: Декомпозиција по FD13 (course_content_id → course_content_*) ===
+
+{{{
+Course_Content(course_content_id, content_position, course_version_id)
+   PK: course_content_id
+
+Universal_Relation_Shifter_Base_16 = Universal_Relation_Shifter_Base_15 - {course_content_id, content_position}
+
+Universal_Relation_Shifter_Base_16(
+expert_id,
+enrollment_id,
+course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type,
+tag_id
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id → course_version_id
+'''Проверка за dependency preservation:''' FD13 е зачувана во Course_Content
+
+=== Чекор 6.9: Декомпозиција по FD15 (course_lecture_id → course_lecture_*) ===
+
+{{{
+Course_Lecture(course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type, course_content_id)
+   PK: course_lecture_id
+
+Universal_Relation_Shifter_Base_17 = Universal_Relation_Shifter_Base_16 - {course_lecture_id, lecture_duration_minutes, lecture_position, lecture_content_type}
+
+Universal_Relation_Shifter_Base_17(
+expert_id,
+enrollment_id,
+tag_id
+)
+}}}
+
+'''Проверка за lossless join:''' Може да се реконструира преку enrollment_id → course_version_id → course_content_id
+'''Проверка за dependency preservation:''' FD15 е зачувана во Course_Lecture
+
+=== Анализа на Universal_Relation_Shifter_Base_17 ===
+
+{{{
+Universal_Relation_Shifter_Base_17(
+expert_id,
+enrollment_id,
+tag_id
+)
+}}}
+
+
+Universal_Relation_Shifter_Base_17 претставува колекција од foreign keys кои треба да се организираат во посебни many-to-many junction tables.
 
 '''Прашање:''' Дали оваа релација има семантичка смисла?
-
-Во реалноста:
- * Една продажба (saleId) е независна од една нарачка (poId)
- * Нивната врска е само преку productId и warehouseId
-
-'''U11 може да се декомпонира понатаму''', бидејќи атрибутите userId, customerId, warehouseId зависат само од saleId (FD10), а supplierId зависи само од poId или productId.
-
-Но бидејќи овие атрибути се веќе издвоени во R2 и R1, U11 станува редундантна и може да се отстрани бидејќи информацијата е веќе зачувана во другите релации.
+'''Одговор:''' НЕ! Universal_Relation_Shifter_Base_17 е само технички резултат од декомпозициите и не претставува ниеден реален бизнис концепт.
+
+'''Заклучок од 3NF:'''
+Сите функционални зависности (FD1-FD27) се организирани во релации кои се во 3NF. Universal_Relation_Shifter_Base_17 повеќе не постои како валидна релација.
+
+'''Останати врски (many-to-many):'''
+Foreign keys во Universal_Relation_Shifter_Base_17 укажуваат на many-to-many релации кои НЕ се дефинирани преку функционални зависности, туку преку бизнис логика:
+
+* '''User_Tag'''(user_id, tag_id) - корисник има интереси
+* '''Course_Tag'''(course_id, tag_id) - курс има тагови  
+* '''Expert_Course'''(expert_id, course_id) - експерт предава курсеви
 
 === Состојба после 3NF декомпозиција ===