摘要:近几年，随着并行计算机系统的迅速发展，并行数据库系统已经成为一个新的数据库研究领域，引起了学术界和工业界的极大关注，很多研究成果已经出现．本文是综述并行数据库系统研究与进展情况的两篇文章之一，重点探讨目前并行数据库系统的研究方向和问题，综述有关并行数据库的物理设计方法和查询处理并行化技术的主要研究成果．

摘要:本文是并行数据库的查询处理并行化技术和物理设计方法”一文的续篇，继续综述并行数据库系统的另外两个重要研究领域：并行数据操作算法和并行数据库查询优化技术．最后，作为并行数据库系统研究与进展情况综述的结尾，本文将探讨并行数据库系统今后的研究方向和问题．

摘要:本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．

摘要:本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比，使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ），并且在证明所定义的证明网是可矢列化时更加自然和简单．

摘要:由于软件过程模型在提高软件生产力方面具有重要的意义，它已经成为软件工程领域内的一个研究热点．本文在简单地分析了当前几种不同的软件过程模型的缺陷后，提出了软件过程的ＪＭＯＳＰ模型．

摘要:计数算法是最著名的ＳＬ递归处理算法之一．对于一类称作计数线性的递归，它具有良好的性能．然而，计数算法要求查询的约束集为单值的，因此很难用作子目标的处理策略．本文提供一种新的广义查询计数算法，它能处理任意的多值约束集．从而本文提供的算法不仅能够用于查询的求值，而且也能用于子目标的处理．算法的正确性和变换后的规则的有效性也在本文简略讨论．

摘要:本文提出了开发逻辑程序ＡＮＤ并行性中的粒度问题，给出了在我们的计算模型下粒度的计算公式，同时还给出了用粒度信息优化执行图表达式的具体例子．

摘要:在计算机应用的诸多领域中都会遇到字符串相似检索问题．本文提出了一种技术，它通过应用搜索状态向量及字符一模式匹配向量，将字符串匹配比较转化为简单的整数字位运算，有效地解决了字符／汉字串的相似匹配问题．文中也给出了实现算法并分析了算法的复杂性．

摘要:本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统，本系统采用了语义网络知识表示模型，提供了构件知识表示语言ＣＫＲＬ，来描述可重用构件的特征和用于检索的知识．提供了语义网络联想式查询、条件查询和构件评价．