杨晋吉 姜云飞 邹先霞 舒忠梅 颜启华 左亚尧 沈波 刘波 陈蔼祥 陈清亮 杜威

未赋值变量 命题逻辑表达式 多维维护 数据一致性 划分点定位算法 划分点 实化视图 推进 条件求值问题 基于模型的诊断 溯因推理 一阶逻辑 合取式 WHIPS模型 并行排序 实化视图维护 数据仓库 自动侦测 相关更新 数据挖掘 并行排序算法 诊断 自维护 遗传算法 诊断图 亚自维护 分类 多实化视图 体系结构 选择性算法

广东广州 华南师范大学计算机科学系 广东工业大学计算机学院 暨南大学计算机系 暨南大学计算机科学系 中山大学计算机科学系 华南师范大学计算机系 中山大学软件研究所