semilattice-database