计算机研究与发展 1991年 28卷 11期

栏目

选择全部

WDDBS-32系统结构设计与实施

石树刚, 郑振楣, 郭敏, 余卫东, 吕美玲, 袁明, 阮春, 刘飞南

1991, 28(11): 1-12.

摘要

WDDBS-32全局目录/辞典结构及管理

石树刚, 郑振楣, 吕美玲, 袁明, 郭敏

1991, 28(11): 13-17.

摘要

SQL复杂查询到关系代数查询等价性的转换算法

石树刚, 郑振楣, 吕美玲

1991, 28(11): 18-25,37.

摘要

基于语义和逻辑的分布查询优化

石树刚, 郑振楣, 袁明

1991, 28(11): 26-37.

摘要

重复副本的分布并发控制

石树刚, 郑振楣, 余卫东

1991, 28(11): 38-43.

摘要

分布事务的无阻塞调度

石树刚, 郑振楣, 余卫东, 刘飞南

1991, 28(11): 44-51,12.

摘要

关于二级语法分析器的自动生成系统

李友仁

1991, 28(11): 52-58.

摘要

硬件设计的形式化验证

韩俊刚

1991, 28(11): 59-62.

摘要

实用化的门与功能块混合级逻辑模拟器

曾凡丽, 贾良玉, 刘明业

1991, 28(11): 63-66.

摘要