1994年第5卷第10期目录
并行数据库的查询处理并行化技术和物理设计方法李建中1994,5(10):1-10 [摘要(4128)] [PDF(5479)358.20 K][HTML(0)]并行数据操作算法和查询优化技术李建中1994,5(10):11-23 [摘要(3898)] [PDF(5488)801.06 K][HTML(0)]状态逻辑型程序设计语言阎志欣1994,5(10):24-32 [摘要(3923)] [PDF(7717)874.74 K][HTML(0)]一个新的证明网定义及合理性黄林鹏,孙永强1994,5(10):33-37 [摘要(3757)] [PDF(4545)560.02 K][HTML(0)]软件过程的JMOSP模型张然,张育超,叶云文1994,5(10):38-43 [摘要(3780)] [PDF(4744)272.30 K][HTML(0)]广义查询的计数算法范明,李连友1994,5(10):44-49 [摘要(3902)] [PDF(4631)466.45 K][HTML(0)]逻辑程序的并行性粒度的分析黄志毅,胡守仁1994,5(10):50-54 [摘要(3401)] [PDF(4541)416.31 K][HTML(0)]允许错误的（汉字）字符串快速检索技术邹旭楷,王素琴1994,5(10):55-59 [摘要(4118)] [PDF(4527)284.51 K][HTML(0)]基于知识的可重用构件查询系统KCQ余江,全炳哲,金淳兆1994,5(10):60-64 [摘要(3618)] [PDF(4685)311.94 K][HTML(0)]
