Theory and Algorithms of Attribute Decrement for Concept Lattice