郝忠孝 黄冬梅

不可归约规则集 社团发现 社团结构 规范化 算法 路径函数依赖 禁止活化环 图挖掘 条件公式 可终止性 键约束 社会网络 活化路径 面向对象模型 规则分析 主动数据库

哈尔滨工业大学计算机科学与技术学院 齐齐哈尔 哈尔滨理工大学计算机与控制学院 哈尔滨理工大学计算机科学与技术学院 上海海洋大学信息学院 齐齐哈尔大学计算机科学与技术系 齐齐哈尔大学计算机与控制工程学院 复旦大学计算机与信息技术系