4NF

4NF
• relace je ve 4NF s respektem k FZ, MHZ, pokud je X klíč relace pro každou netriviální podmínku X -> -> Y
• podmínky MHZ vyplývají i z FZ (z X -> Y plyne X -> -> Y)
• jinými slovy relace je ve 4NF, jestliže každé X multideterminující nějakou množinu atributů je klíčem relace

postup převodu do 4NF
• vytvoříme novou množinu MHZ takto:
• z každé FZ typu A,B,.. -> X vytvoříme novou MHZ A -> -> X, B -> -> X, ...
• přidáme původní MHZ
• z těchto MHZ vybereme narušitele 4NF - takové X -> -> Y, pro které není X klíčem relace a rozdělíme takto
• C bude minimální množina atributů odvoditelná z X pomocí aplikací MHZ

postup převodu do 4NF 2
• C = atributy z X + V1, ... Vn
• W=sjednocení takových Vi, které jsou jednoduchými atributy
• ostatní - V1’, V2’, ..., Vm’
• rozdělění bude na XW, XV1’, XV2’, ..., XVm’
• v našem příkladě a,b a,c