Baze podataka 1

0:00:40   Zadovoljenost f-ne zavisnosti
0:03:00   F-ne zavisnosti - formalne definicije potpune, parcijalne, ...
0:04:56   Izvođenje f-nih zavisnosti i zatvorenje skupa F
0:08:30   Zatvorenje X nad F
0:23:00   Pokrivanje skupa FZ
0:35:37   Normalizacija dekompozicijom
0:40:35   Određivanje KK
0:47:25   Svođenje na 2NF
0:48:43   Svođenje na 3NF
1:00:45   BCNF 
1:05:08   Višeznačne zavisnosti i 4NF