李丽萍 邓超 原锦辉 徐礼坤 王齐 霍纬纲 赵辉 蒲保兴 范霞 石隽锋 常晋义

中间件 Datalog 逻辑电路 分布式设计 企业管理信息系统 文档树 分布式数据库 多处理机系统 数据模型 分布式演绎数据库系统 最优参数值 部分集 演绎对象数据库语言 最小不动点 目录管理 XML 递归查询 规则集 完整性维护 演绎数据库 侧向信息传递策略 事务处理 堆排序 模型 数据模式 查询 查询处理 编码 魔集算法 客户服务器

山西大学计算机科学系 山西大学计算机与信息技术学院 山西大学计算机信息与技术学院 山西太原 邵阳学院信息与电气工程系 山西省电子应用办公室 中南大学信息科学与工程学院 山西大学现代教育技术中心