吴以群 陈金海 谈子敬 周建洪 楼荣生 丁宝康 段成林 张谧 蔡子经 樊小华 汪卫 许建军 施伯乐

ER模型 函数依赖 包含段 Hu-Tucker算法 事务处理 DTD XML 数据库 自动映射 逻辑蕴涵 访问时间 结构化联接 调谐时间 文档结构 HTML 文件系统 B-Tree 数据交换 推理规则 RPC（远程过程调用） 选择调谐 可扩展标记语言 非对称环境

复旦大学计算机科学系 复旦大学计算机与信息技术系 复旦大学计算机系