An efficient algorithm for mining frequent closed itemsets