Changes between Version 1 and Version 2 of Normalization

Timestamp:

05/19/26 02:54:17 (7 days ago)

Author:

181201

Comment:

--

Normalization

@@ -153 +153 @@
 '''Issues with higher normal forms:''' A relation violates Boyce-Codd Normal Form (BCNF) if a non-trivial functional dependency X → Y exists where X is not a superkey.
 
-'''Action taken:''' We evaluate the left side (determinant) of every functional dependency within our relations.
+'''Action taken:''' We evaluate the left side (determinant) of every functional dependency within all 14 relations:
 
 In '''Users''', {{{user_id}}} is a superkey.
 
+In '''Admins''', {{{admin_id}}} is a superkey.
+
+In '''PetOwners''', {{{owner_id}}} is a superkey.
+
+In '''PetSitters''', {{{sitter_id}}} is a superkey.
+
+In '''PetTypes''', {{{pettype_id}}} is a superkey.
+
 In '''Pets''', {{{pet_id}}} is a superkey.
 
+In '''Services''', {{{service_id}}} is a superkey.
+
 In '''Bookings''', {{{booking_id}}} is a superkey.
 
-In the junction tables (e.g., '''BookingPets'''), the composite key is the only determinant, meaning it is trivially a superkey.
+In '''Reviews''', {{{review_id}}} is a superkey.
+
+In '''Payments''', {{{payment_id}}} is a superkey.
+
+In '''AdminManagement''', the composite key ({{{admin_id}}}, {{{user_id}}}) is the only determinant, meaning it is trivially a superkey.
+
+In '''BookingPets''', the composite key ({{{booking_id}}}, {{{pet_id}}}) is the only determinant, meaning it is trivially a superkey.
+
+In '''SitterServices''', the composite key ({{{sitter_id}}}, {{{service_id}}}) is the only determinant, meaning it is trivially a superkey.
+
+In '''BookingServices''', the composite key ({{{booking_id}}}, {{{service_id}}}) is the only determinant, meaning it is trivially a superkey.
 
 '''Result:''' In every single relation, the determinant is a candidate/superkey.
 
-'''Status:''' All relations naturally satisfy '''BCNF'''. The decomposition process is mathematically complete.
-
+'''Status:''' All 14 relations naturally satisfy '''BCNF'''. The decomposition process is complete.
 == Final result and discussion ==