5.1.1 数据挖掘的形式化定义