Information system attribute reduction

This paper describes the information systems as a family of equivalence relations or functions. It brings forward the notion of separation polynomial, which is an expression found by the separators (complement of the equivalence relations) via finite union operations and intersection operations. This paper adopts the minimal element method, simplified the conversion from separation disjunctive normal form to separation conjunctive normal form, which has reduced time consuming and space consuming of attribute reduction operation of information systems. Corresponding algorithm steps and an example are given at the end of this paper.