formula_1是项的集合。给定一个交易数据库formula_2，其中每个事务（Transaction）t是I的非空子集，即formula_3，每一个交易都与一个唯一的标识符TID（Transaction ID）对应。关联规则是形如formula_4的蕴涵式，其中formula_5且formula_6， formula_7和formula_8分别称为关联规则的先导(antecedent或left-hand-side, LHS)和后继(consequent或right-hand-side, RHS) 。关联