A Complete Attribute Reduction Algorithm in Rough Set Theory