Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules