Baze podataka

Opis predmeta

Funkcijske zavisnosti. Pravila za izvođenje funkcijskih zavisnosti. Zatvarač skupa funkcijskih zavisnosti. Zatvarač skupa atributa. Derivacijski nizovi i derivacijski usmjereni aciklički grafovi. Pokrivači za funkcijske zavisnosti. Ekvivalentnost skupova funkcijskih zavisnosti. Neredundantni, reducirani i minimalni pokrivači. Složene funkcijske zavisnosti. Algoritam za sintezu. Usporedba s normalizacijom dekompozicijom. Poboljšanja algoritma za sintezu. Ostale zavisnosti i daljnje normalizacije  višeznačne zavisnosti, četvrta normalna forma. Spojne zavisnosti i projekcijsko-spojna normalna forma. Zavisnosti uključivanja, zavisnosti definirane predlošcima, normalne forme domene i ključa.

Bodovi i izvedba

6 ECTS