Changes between Version 9 and Version 10 of Normalization

Timestamp:

09/23/25 03:04:36 (2 days ago)

Author:

215010

Comment:

--

Normalization

@@ -83 +83 @@
 Нема повторувачки групи или низи, значи R е во 1NF.
 
-2NF (отстранување на делумни зависности)
+==== 2NF (отстранување на делумни зависности)
 
 2NF тест: ако релацијата има композитен кандидатски клуч, секој не-примарен атрибут мора да зависи од целиот клуч, а не од дел.
@@ -93 +93 @@
 Ги извлекуваме детерминантите и нивните зависни во посебни релации:
 
-==== Users
+===== Users
 
 R1: Users(user_id, first_name, last_name, phone, email, password)
@@ -103 +103 @@
 R1 е во BCNF.
 
-==== Hotel_Building
+===== Hotel_Building
 
 R2: Hotel_Building(building_id, address, city, floors, num_rooms, manager_id)
@@ -113 +113 @@
 R2 е во BCNF.
 
-==== Room
+===== Room
 
 R3: Room(room_number, building_id, room_type, number_of_beds, price_per_night, available)
@@ -123 +123 @@
 R3 е во BCNF.
 
-==== Staff
+===== Staff
 
 R4: Staff(user_id /*staff_id*/, building_id)
@@ -133 +133 @@
 R4 е во BCNF.
 
-==== Reservation
+===== Reservation
 
 R5: Reservation(reservation_id, start_date, end_date, reserv_date, status, room_number, building_id, customer_id, manager_id)
@@ -143 +143 @@
 R5 е во BCNF.
 
-==== Service
+===== Service
 
 R6: Service(service_id, service_type, service_date, service_status, room_number, building_id, staff_id)
@@ -162 +162 @@
 
 R7 е во BCNF.
+
+По извлекувањето на овие релации, сите делумни зависности во однос на големиот суперклуч се отстрануваат - атрибутите што не се клуч на секоја релација сега целосно зависат од клучот на таа релација. Значи, сме во 2NF.
+
+==== 3NF (отстранување на транзитивни зависности) преку 3NF Синтеза
+
+Цел на 3NF: елиминирање на транзитивни зависности (не клучен атрибут кој зависи од друг не клучен атрибут). Канонскиот алгоритам за синтеза на 3NF е најдобар бидејќи ги зачувува зависностите.
+
+Имплементирана постапка:
+
+Пресметај канонична покриеност Fc на FDs. За секоја лева страна X соберете ги сите атрибути A т.е. X -> A во една релација R_X.
+
+Креирај релации за секоја детерминанта:
+
+Users(user_id, first_name, last_name, phone, email, password) — oд user_id FDs.
+
+Hotel_Building(building_id, address, city, floors, num_rooms, manager_id) — oд building_id.
+
+Room(room_number, building_id, room_type, number_of_beds, price_per_night, available) — од (room_number, building_id).
+
+Staff(user_id, building_id) — од staff_id.
+
+Reservation(reservation_id, start_date, end_date, reserv_date, status, room_number, building_id, customer_id, manager_id) — од reservation_id.
+
+Service(service_id, service_type, service_date, service_status, room_number, building_id, staff_id) — од service_id.
+
+Payment(reservation_id, p_id, p_method, amount, p_date, customer_id) — од reservation_id (1:1).
+
+Се осигуруваме дека релацијата содржи клуч за оригиналниот R (имаме многу клучеви, но унијата на креирани релации ги вклучува сите детерминанти и со тоа ги зачувува клучевите).
+
+3NF статус: секоја FD X -> A во Fc е локален на една од креираните релации (зачувување на зависноста). Бидејќи ги отстранивме атрибутите што предизвикуваа транзитивни ФЗ од нивните релации што содржат (на пр., не го задржавме price_per_night во Reservation), нема преостанати транзитивни зависности во релациите. Значи, сите релации се во 3NF.
+
+====