Нормализација

Функциски зависности (FD) FD = {

# Track track_id → name, album_id, media_type_id, genre_id, composer, milliseconds, bytes

# Album album_id → title, artist_id

# Artist artist_id → name

# Genre genre_id → name

# Media Type media_type_id → name

# Customer (со враќање на personal info атрибути) customer_id → first_name, last_name, company, support_rep_id,

address, city, state, country, postal_code, phone, fax, email

# Employee (со враќање на personal info атрибути) employee_id → first_name, last_name, title, reports_to, birth_date, hire_date,

address, city, state, country, postal_code, phone, fax, email

# Invoice invoice_id → customer_id, invoice_date, billing_address, billing_city, billing_state,

billing_country, billing_postal_code, total

# InvoiceLine invoice_line_id → invoice_id, track_id, quantity

# Playlist playlist_id → name

# PlaylistTrack playlist_track_id → playlist_id, track_id

# Price price_id → value, date, track_id

} Канонска покривање (Fc) Fc = {

track_id → name, track_id → album_id, track_id → media_type_id, track_id → genre_id, track_id → composer, track_id → milliseconds, track_id → bytes,

album_id → title, album_id → artist_id,

artist_id → name,

genre_id → name,

media_type_id → name,

customer_id → first_name, customer_id → last_name, customer_id → company, customer_id → support_rep_id, customer_id → address, customer_id → city, customer_id → state, customer_id → country, customer_id → postal_code, customer_id → phone, customer_id → fax, customer_id → email,

employee_id → first_name, employee_id → last_name, employee_id → title, employee_id → reports_to, employee_id → birth_date, employee_id → hire_date, employee_id → address, employee_id → city, employee_id → state, employee_id → country, employee_id → postal_code, employee_id → phone, employee_id → fax, employee_id → email,

invoice_id → customer_id, invoice_id → invoice_date, invoice_id → billing_address, invoice_id → billing_city, invoice_id → billing_state, invoice_id → billing_country, invoice_id → billing_postal_code, invoice_id → total,

invoice_line_id → invoice_id, invoice_line_id → track_id, invoice_line_id → quantity,

playlist_id → name,

playlist_track_id → playlist_id, playlist_track_id → track_id,

price_id → value, price_id → date, price_id → track_id }