4.4.1 动态关联规则的形式化定义