Changes between Version 16 and Version 17 of Normalization

Timestamp:

12/26/25 23:38:16 (7 days ago)

Author:

211101

Comment:

--

Normalization

@@ -74 +74 @@
 R ∩ R1 = { user_id, user_name, email, password }
 
-R ∩ R1 → R1
+Бидејќи {user_id} → {user_name, email, password}, а user_id ∈ (R ∩ R1), следи дека (R ∩ R1) → R1
 
 ⇒ Декомпозицијата е lossless
@@ -99 +99 @@
 R1.1 ∩ R2 = { transaction_account_id, account_name, balance, user_id }
 
-R1.1 ∩ R2 → R2
+Бидејќи {transaction_account_id} → {account_name, balance, user_id}, а transaction_account_id ∈ (R1.1 ∩ R2), следи дека (R1.1 ∩ R2) → R2
 
 ⇒ Декомпозицијата е lossless
@@ -126 +126 @@
 R2.1 ∩ R3 = { transaction_id, transaction_name, amount, net_amount, date, tag_id, tag_name }
 
-R2.1 ∩ R3 → R3
+Бидејќи {transaction_id} → {transaction_name, amount, net_amount, date, tag_id, tag_name}, а transaction_id ∈ (R2.1 ∩ R3), следи дека (R2.1 ∩ R3) → R3
 
 ⇒ Декомпозицијата е lossless
@@ -151 +151 @@
 R3.1 ∩ R4 = { transaction_breakdown_id, transaction_id, transaction_account_id, spent_amount, earned_amount }
 
-R3.1 ∩ R4 → R4
+Бидејќи {transaction_breakdown_id} → {transaction_id, transaction_account_id, spent_amount, earned_amount}, а transaction_breakdown_id ∈ (R3.1 ∩ R4), следи дека (R3.1 ∩ R4) → R4
 
 ⇒ Декомпозицијата е lossless
@@ -160 +160 @@
 
 === Премин од 2NF во 3NF
+
+Во 2NF, за поедноставување, се разгледува случај со еден таг по трансакција, оваа претпоставка се отстранува при премин во 3NF.
+
 Проблем се транзитивните зависности, кои во 2NF сè уште постојат, на пример:
 - {transaction_id} → {tag_id} → {tag_name}
@@ -213 +216 @@
 R3 ∩ R3.2 = { transaction_id, transaction_name, amount, net_amount, date }
 
-R3 ∩ R3.2 → R3.2
+Бидејќи {transaction_id} → {transaction_name, amount, net_amount, date}, а transaction_id ∈ (R3 ∩ R3.2), следи дека (R3 ∩ R3.2) → R3.2
 
 ⇒ Декомпозицијата е lossless
@@ -238 +241 @@
 R3.3 ∩ R3.4 = { tag_id, tag_name }
 
-R3.3 ∩ R3.4 → R3.4
+Бидејќи {tag_id} → {tag_name}, а tag_id ∈ (R3.3 ∩ R3.4), следи дека (R3.3 ∩ R3.4) → R3.4
 
 ⇒ Декомпозицијата е lossless