时态演绎数据库——模型与查询语言

时态演绎数据库是引入有效时间、事务时间概念的演绎数据库,能比较真实地反映现实世界的现象和发展状况,因此能满足现在的许多应用,如规划、决策支持系统、医疗信息系统等,因为这些应用不仅需要当前的数据。

OO软件系统的概念图模型

概念图是一种较接近自然语言的图形描述方法,本文通过对概念图方法和OO方法在软件开发中应用的介绍,以及两者对于同一实例的描述比较,显出概念图在描述系统用户需求中优于其他方法的特性。

一种改进的监视Cache协议算法

本文探讨了ＳＭＰ体系结构的多处理器环境下，几种常见Ｃａｃｈｅ一致性问题的解决方案，讨论和对比了各自的特色，在此基础上进一步分析了其中的不足。

基于大粒度的C语言并行化及其实现模型PARA-C

在当前程序自动并行化尚未有突破性进展的形势下，我们提出了小粒度自动并行，大粒度程序员导航的并行化方案，并侧重大粒度并行，给出了对Ｃ语言加入并行描述成分的并行程序设计语言模型ＰＡＲＡ－Ｃ。该文介绍了作者设计ＰＡＲＡ－Ｃ的目的，及其基于大粒度的并行的创建、读写冲突的同步实现、数据通讯等并行特征。在共享内存的存储模式下，对上述并行要素的实现从预编译和运行时两个方面进行了讨论。

UNIX系统下P、V操作的多方案实现

本文给出了ＵＮＩＸ环境下以信号量为对象的Ｐ、Ｖ操作的四种实现方案，即基于文件系统的方法，基于有名管道的方法，基于消息队列的方法和基于ＳｙｓｔｅｍＶＩＰＣ信号量的方法，对各种方法简要地进行了性能分析，并给出了实验比较结果。

PVM应用移植到MPI问题的探讨

消息传递方式是广泛应用于一些并行机，特别是分布存储并行机的一种模式。ＰＶＭ（ＰａｒａｌｌｅｌＶｉｒｔｕａｌＭａｃｈｉｎｅ）和ＭＰＩ（ＭｅｓｓａｇｅＰａｓｓｉｎｇＩｎｔｅｒｆａｃｅ）都是目前是广受欢迎的基于消息传递的并行程序库，其中ＰＶＭ的消息传递接口，因其简单性，而没有给用户最大的灵活性以实现最佳的性能：为此，消息传递标准的讨论会工作组制定了消息传递接口ＭＰＩ标准，为ＰＶＭ实现最佳性能提供了可能。该文通过对ＰＶＭ和ＭＰＩ的比较，指出了从ＰＶＭ应用移植到ＭＰＩ应用时有利的方面和潜在的缺陷。如果一个应用程序能避开这些缺陷的影响，那么它就能够从移植中提高通信的性能，从而提高其分布式计算的性能。

主存数据库系统技术与实现

主存数据库管理系统把数据全部放在内存中，提高了数据库管理系统的性能，因而在实际中得到了很大的应用。由于内存和磁盘的不同特性，使得主存数据库管理系统与传统的数据库管理系统相比许多方面采用了不同的技术，本文将结合一个例子来阐明主存数据库管理系统及其有关的技术和实现。

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method, T-resolution, based on the first order temporal logic. The primary claim of this method is its soundness and completeness. For this purpose, we construct the corresponding semantic trees and extend Herbrand's Theorem.