代码中包含等价类函数，上下近似计算函数，属性约简算法以及规则导出。-Code contains the equivalence class of functions, function approximation derived top to bottom, attribute reduction algorithms and rules.