孙永强 陆汝占 薛锦云 谢宝永 冯玉琳 屈文建 叶志江 黄小戎 李磊

PAR方法 程序转换 部分正确性 解函数 最小函数依赖集 循环不变式 实现研究 逻辑数据库模型 不动点特征 计算序列 子表达式 展开式 程序计算 函数方程组 体系结构 数据库机 范畴论 递归查询 延迟计算 计算法则 终止性 转换规则 查询规划 完全格