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

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

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