Theory and algorithm of concept lattice maintenance