A lattice-based representation of independence relations for efficient closure computation