Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules
Efficient Implementations of Apriori and Eclat