A Mathematical Foundation for Improved Reduct Generation in Information Systems