Closure Set

• Given F, a set of Function Dependencies the closure set (denoted F+) is the set of all FDs that are logically implied by F and the inference axioms

• F+ can be very large.