A Tableaux Procedure for the Implication Problem for Association Rules

Using a relational approach, we investigate the implication problem for association rules for contexts with 1. We provide sufficient conditions on the relations in an information frame with semistrong relations for the construction of a context with 1. We develop a Rasiowa/Sikorski-style relational calculus which is sound and complete for the implication problem for association rules. We show that this implication problem is decidable.