High-efficient algorithm for normal form conversion of discernibility function
一种高效的分辨函数范式转换算法*

The process obtaining all reducts of a decision table based on discernibility matrix is virtually a process transforming a discernibility function from conjunction normal form to disjunction normal form, and the transformation efficiency plays an important role in the performance of attribute reduction algorithm. Through making the best of the absorptivity of conjunction operation and disjunction operation, based on the mechanism of artificial normal form conversion, proposed an algorithm transforming a discernibility function from conjunction normal form to disjunction normal form with virtue of queue framework. This algorithm was easy to understand and to realize. And the simulative experiments show that it is very efficient to accomplish normal form conversion.