本文在rough集理论的基础上，对基于差别矩阵的属性约简算法进行了初步的系统的研究。　 　 文章首先给出了rough集理论的一些基本概念，定理，以及知识约简的基础知识。然后我们对属性约简进行了一番系统的论述，分别论述了知识的约简和决策表的约简。从正域、知识的依赖性等概念出发从理论上对属性约简进行了分析，探讨了一般的属性约简算法的设计策略，为得到一个较优的属性约简给出了理论依据。并给出了一个普通的约简算法。　　 结合有向图这一有力工具，使得我们对属性约简有了一个更深层次的认识。进而，依据以上的分析，给出了一个集合运算函数opr(As)，使用该函数我们可以对属性差别集进行运算，大大降低了问题的规模，在此基础上，我们给出了一个完备的属性约简算法，该算法具有较好的时间复杂度，并且可以得到一个较优的属性约简集，最后给出了其完备性证明。