Uzávěr množiny atributů

Uzávěr množiny atributů je [[Množiny|množina]] všech [[Funkční závislost|funkčně závislých]] [[Relační datový model|atributů]] na dané množině atributů.

[!tip] Jak nalézt uzávěr? 1. Do uzávěru \(X^+\) přidej všechny atributy z množiny \(X\) 2. Procházej [[Funkční závislost|funkční závislosti]] - Když je celá levá strana funkční závislosti v uzávěru, přidej do uzávěru i pravou stranu 3. Opakuj, dokud je v uzávěru \(X^+\) změna