Dado un conjunto de atributos a, definimos el cierre de a bajo F (a+), como el conjunto de atributos funcionalmente determinados por a bajo F:
Algoritmo para calcular a+
resultado := a; mientras(cambie resultado)hacer para cada b->c en F hacer begin si b C resultado entonces resultado:=resultado U c end fin para fin mientras