Attribute closure (source code)

= 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.