Changes between Version 6 and Version 7 of P5

Timestamp:

01/28/26 08:51:59 (13 days ago)

Author:

213087

Comment:

--

P5

@@ -26 +26 @@
 
 This relation violates normalization principles.
+
+Note: venue_type in the UNF is an attribute that is later normalized into a separate relation.
 
 === Denormalized Table ===
@@ -64 +66 @@
 
 This confirms that the initial relation has a composite primary key, which leads to partial dependencies.
+This composite key is minimal because removing any attribute (user_id, wedding_id, venue_id, or booking_date) results in ambiguity and loss of uniqueness. No proper subset of this key functionally determines all attributes of R.
 
 == First Normal Form (1NF) ==
@@ -161 +164 @@
 || venue_booking || booking_id || One booking per ID ||
 
-This ensures entity integrity.
+This ensures entity integrity and in all resulting relations, no non-key attribute functionally determines another non-key attribute.
 
 Please review the proof explained in more details here -> [[Proof of 3N]]