A probability analysis for candidate-based frequent itemset algorithms