郭洪禹 刘任任 余靖 王成艳 陈玮 李增智 张秀梅 周小强 彭三城 朱幼莲 苏岐芳 刘文远 占学德 顾思思 胡亚红 任家东 朱正东 李希文 伍卫国 刘玉珍 许芬 刘永山 满君丰

多值逻辑 唯一性 GD-约束 最小边覆盖 算法 多项式时间算法 极小边覆盖 主析取范式 Konig定理 析取范式 极小覆盖 单纯可离 服务组合 偶图 极大封闭集（准完备集） 逻辑函数 多值逻辑 复杂Web服务 化简 质蕴涵 正则可离关系 规范化 Web服务 投影 MVD模式矩阵 最小项 函数依赖集 最大匹配 面向对象数据库 素项

多值逻辑