 Attribute closure

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.