Changes between Version 9 and Version 10 of Normalization

Timestamp:

12/25/25 03:18:17 (9 days ago)

Author:

211101

Comment:

--

Normalization

@@ -181 +181 @@
 ==== Третата нормална форма погоре исто така е и 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 → 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
+
+==== 4
+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
+
+==== 5
+TAG
+
+- R(tag_id, tag_name)
+- R1(tag_id, tag_name)
+
+(Нема реална декомпозиција – табелата е веќе атомска)
+⇒ Тривијално lossless
+
+==== 6
+TRANSACTION_BREAKDOWN
+
+- R(transaction_breakdown_id, transaction_id, transaction_account_id, spent_amount, earned_amount)
+
+Не е извршена декомпозиција, примарниот клуч функционално ги определува сите атрибути
+⇒ Нема потреба од lossless join тест
+
+=== 
+
+Сите функционални зависности можат да се проверат локално во поединечни табели, без потреба од JOIN операции, oва значи дека шемата е dependency-preserving, lossless-join и е во BCNF.
+
+== Заклучок
+Со примената на формална анализа на функционални зависности, правилен избор на примарни клучеви и проверка со lossless-join тест се елиминираат сите аномалии, се обезбедува логичка коректност и се добива шема погодна за имплементација во релациона датабаза.
+
 ==