Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules (Logical Methods in Computer Science, 2010)