Нормализација (верзија 1) ¶

Исполнува услов за 1NF ¶

Сите табели имаат соодветен примарен клуч и правилно се референцирани надворешните клучеви.

Исполнува услов за 2NF ¶

Нема парцијална зависност, атрибутите да зависат од дел од композитен клуч.

Исполнува услов 3NF ¶

Во сите табели колоните кои немаат функција за чување на примарен клуч, не се зависни една од друга, туку од нивниот соодветен примарен клуч. Нема транзитивна зависност.

Нормализација (верзија 2) - определување функциски зависности и да нема нешто со исто име на атрибут ¶

Функционални зависности ¶

account Table: id → username, email, password, balance

transaction Table: id → amount, currency, type, timestamp, account_id

transfer Table: id → s_id, r_id

deposit Table: id → account_id, amount, timestamp

withdraw Table: id → account_id, amount, timestamp

transferred_money Table: id → s_account_id, r_account_id, t_id, currency

Boyce-Code ¶

1. account Table - (T)

Колони: id, username, email, password, balance

Функционални зависности: id → username, email, password, balance

Анализа: id е примарниот клуч од кој зависат сите останати атрибути, па според тоа тој е и суперклучот.

Нема функционални зависности во кои детерминантата не е суперклуч.

Заклучок: Account табелата ја задоволува BCNF.

2. transaction Table - (N)

Колони: id, amount, currency, type, timestamp, account_id

Функционални зависности:

• id → amount, currency, type, timestamp, account_id

• account_id, timestamp → amount, currency, type

Анализа: id е примарниот клуч и ги одредува останатите атрибути, па затоа тој е суперклуч.

account_id, timestamp → amount, currency, type е проблематична зависност. Иако account_id и timestamp можат да се идентификуваат за трансакција, тие не се супер клуч. Ова значи account_id, timestamp не е суперклуч и можат да ја прекршат BCNF.

Заклучок: Transaction табелата не ја задоволува BCNF затоа што account_id, timestamp не прават суперклуч, но ги одредуваат другите атрибути (amount, currency, type).

3. transfer Table - (T)

Колони: id, s_id, r_id

Функционални зависности: id → s_id, r_id

Анализа: id е примарен клуч и тој уникатно ги одредува s_id и r_id.

Според тоа тој е супер клуч.

Нема функционални зависности во кои детерминантата не е суперклуч.

Заклучок: Transfer табелата ја задоволува BCNF.

4. deposit Table - (N)

Колони: id, account_id, amount, timestamp

Функционални зависности:

• id → account_id, amount, timestamp

• account_id, timestamp → amount

Анализа: id e примарниот клуч кој ги одредува сите останати атрибути, според тоа тој е и суперклуч.

account_id, timestamp → amount можат да биде проблематична зависност. Ако има повеќе повлекување на пари во исто време ова ја нарушува BCNF.

Заклучок: Deposit табелата не ја задоволува BCNF затоа што account_id, timestamp не се суперклуч, но го одредуваат amount.

5. withdraw Table - (N)

Колони: id, account_id, amount, timestamp

Функционални зависности:

• id → account_id, amount, timestamp

• account_id, timestamp → amount

Анализа: id е примарниот клуч и ги одредува останатите атрибути, па затоа тој е суперклуч.

account_id, timestamp → amount можат да биде проблематична зависност. Ако има повеќе повлекување на пари во исто време ова ја нарушува BCNF.

Заклучок: Withdraw табелата не ја задоволува BCNF затоа што account_id, timestamp не се суперклуч, но го одредуваат amount.

6. transferred_money Table - (T)

Колони: id, s_account_id, r_account_id, t_id, currency

Функционални зависности: id → s_account_id, r_account_id, t_id, currency

Анализа:

id е примарниот клуч кој се користи и како суперклуч од кои сите други атрибути зависат.

s_account_id, r_account_id, t_id можат да се употребат заедно како еден суперклуч, бидејќи претставуваат валидна нетривијална зависност која може да се корисни приидентификација на една редица

Заклучок: Transferred_money табелата ја задоволува BCNF.

Подобрување на базата ¶