Data mining and rough set theory