Closed-set-based Discovery of Bases of Association Rules