Tillukkingen er i hovedsak hele mengden verdier som kan bestemmes fra en mengde med kjente verdier for en gitt relasjon ved å bruke dets funksjonelle avhengigheter. Man bruker Armstrongs aksiomer for å gi et bevis, alså refleksivitet, utvidelse og transitivitet.