模糊关联规则用于处理数据库中的不精确信息，并提供一个知识发现的良好表示。利用约束级别表示理论将GUHA模型泛化用于模糊关联规则，通过约束级别管理模糊规则，并给出一个扩展的验证度量过程。使用形式化方法的挖掘算法，在不同的约束级别上并行化挖掘过程，总结得到的结果。算法的复杂度分析以及实验结果表明该形式化方法是有效可行的，从而确立了模糊关联规则表示和评价的逻辑基础。