Attribute closure
= Attribute closure
{title2=$X^+$}
The set of <database attributes> determined by $X$ under given <functional dependencies>. Start from $X$ and repeatedly add the right-hand side of each <functional dependency> whose left-hand side is already included.