Changes between Version 15 and Version 16 of Normalization

Timestamp:

12/26/25 23:21:08 (7 days ago)

Author:

211101

Comment:

--

Normalization

@@ -74 +74 @@
 R ∩ R1 = { user_id, user_name, email, password }
 
-user_id → R1
-
 R ∩ R1 → R1
 
@@ -101 +99 @@
 R1.1 ∩ R2 = { transaction_account_id, account_name, balance, user_id }
 
-transaction_account_id → R
-
 R1.1 ∩ R2 → R2
 
@@ -130 +126 @@
 R2.1 ∩ R3 = { transaction_id, transaction_name, amount, net_amount, date, tag_id, tag_name }
 
-transaction_id → R3
-
 R2.1 ∩ R3 → R3
 
@@ -157 +151 @@
 R3.1 ∩ R4 = { transaction_breakdown_id, transaction_id, transaction_account_id, spent_amount, earned_amount }
 
-transaction_breakdown_id → R4
-
 R3.1 ∩ R4 → R4
 
@@ -221 +213 @@
 R3 ∩ R3.2 = { transaction_id, transaction_name, amount, net_amount, date }
 
-transaction_id → R3.2
-
 R3 ∩ R3.2 → R3.2
 
@@ -247 +237 @@
 
 R3.3 ∩ R3.4 = { tag_id, tag_name }
-
-tag_id → R3.4
 
 R3.3 ∩ R3.4 → R3.4
@@ -288 +276 @@
 ==== Третата нормална форма погоре исто така е и BCNF
 
-=== Lossless Join Test
-Секоја декомпозиција направена при нормализацијата е lossless, односно со JOIN операција може целосно да се реконструира оригиналната релација без губење на информации.
-
-Декомпозицијата на релација R(X) во R1(A) и R2(B) е lossless ако важи:
-- (A ∩ B) → A   или   (A ∩ B) → B
-
-==== 1
-TRANSACTION_ACCOUNT_WITH_USER_DATA
-
-- R(transaction_account_id, account_name, balance, user_id, user_name, email)
-- R1(transaction_account_id, account_name, balance, user_id)
-- R2(user_id, user_name, email)
-
-R1 ∩ R2 = {user_id}
-
-- {transaction_account_id} → {user_id}
-- {user_id} → {user_name, email}
-
-(user_id) → R2
-⇒ Декомпозицијата е lossless
-
-==== 2
-TRANSACTION_WITH_TAG_NAME
-
-- R(transaction_id, transaction_name, amount, net_amount, date, tag_id, tag_name)
-- R1(transaction_id, transaction_name, amount, net_amount, date, tag_id)
-- R2(tag_id, tag_name)
-
-R1 ∩ R2 = {tag_id}
-
-- {tag_id} → {tag_name}
-
-(tag_id) → R2
-⇒ Декомпозицијата е lossless
-
-==== 3
-
-TRANSACTION_ACCOUNT_WITH_USER_DATA → TRANSACTION_ACCOUNT + USER
-
-- R(transaction_account_id, account_name, balance, user_id, user_name, email)
-- R1(transaction_account_id, account_name, balance, user_id)
-- R2(user_id, user_name, email)
-
-R1 ∩ R2 = {user_id}
-
-- {user_id} → {user_name, email}
-
-(user_id) → R2 
-⇒ Декомпозицијата е lossless
-
-==== 4
-TRANSACTION_WITH_TAG_NAME → TRANSACTION + TAG_ASSIGNED_TO_TRANSACTION
-
-- R(transaction_id, transaction_name, amount, net_amount, date, tag_id)
-- R1(transaction_id, transaction_name, amount, net_amount, date)
-- R2(transaction_id, tag_id)
-
-R1 ∩ R2 = {transaction_id}
-
-- {transaction_id} → {transaction_name, amount, net_amount, date}
-
-(transaction_id) → R1
-⇒ Декомпозицијата е lossless
-
-==== 5
-TAG
-
-- R(tag_id, tag_name)
-- R1(tag_id, tag_name)
-
-(Нема реална декомпозиција – табелата е веќе атомска)
-⇒ Тривијално lossless
-
-==== 4
-TRANSACTION_BREAKDOWN
-
-- R(transaction_breakdown_id, transaction_id, transaction_account_id, spent_amount, earned_amount)
-
-Не е извршена декомпозиција, примарниот клуч функционално ги определува сите атрибути
-⇒ Нема потреба од lossless join тест
-
 ===