Hệ thông tin giúp ích cho chúng ta lưu trữ và xử lý thông tin. Tuy nhiên, vì lý do nào đó có thể do cập nhật, thông tin lưu trữ có các thuộc tính dư thừa gây khó khăn cho việc khai phá tri thức. Do đó việc rút gọn thuộc tính là yêu cầu cần thiết trong khai phá tri thức. Có nhiều kiểu rút gọn tri thức và luật quyết định đã được đề xuất trong khai phá dữu liệu. Trong bài báo này đưa ra một thuật toán tìm tập rút gọn trên một bảng quyết định dựa trên ma trận phân biệt được.