沈云付 陈来杰 王锐 郝克刚 杨波 陈波 孙海平 葛玮 彭永进 顾永跟 肖雁鸿 李伟 薛锦云 吴昊 高秀娥 高明伦

HDL描述 操作符树 分布式数据库 递归程序 限定关系 资源共享 Petri网系统 等价系统 除算子 ALU 关系代数的派生算子 关系代数 SQL 一阶逻辑 传函矩阵 查询优化 尾递归 原始算子 高级Petri网系统 并行递归 双子模型