Closure Algorithm
Start
with X={A1, …, An}.
Repeat
until X doesn’t change do:
if is
in S, and
C is not in X
then
add C to X.
B , B , … B
1
2
n
C
B , B , … B
1
2
n
are all in X, and