Part II: The lattice of database states