郭敏 吕美玲 石树刚 阮春 刘飞南 余卫东 袁明 何亚原 易文根 韩波 茹戈华 庄严 高媛 刘梦赤 朱坎 梁意文

数据库语言 双缓冲 虚关系 知识库系统 人工智能 虚存对象管理 局部处理 数据分布 半连接 公理 分布式演绎数据库系统 演绎数据库 规则定义 指针搅拌 判定问题 分解树 完全函数依赖 知识处理系统 语法结构 关系数据库系统 分布式数据库 QP算法 分布式查询处理 依赖性 基于语义 规则模块 可导出性 多值依赖 中间传送 连接属性

武汉大学计算机科学系 武汉大学