Transputer多机系统的软件可靠性研究

本文讨论Transputer多机系统的软件可靠性，研究了如何在多机系统上进行容错并发程序设计，给出了实现并行性时划分模块的一般性方法。

多级安全数据库修改过程中的安全约束处理方法

在数据库修改时运用约束处理进行数据安全等级的重新指派，是实施多级安全数据库管理的重要一环。本文说明了修改约束处理器的技术和结构，分析了ＵＣＰ确定修改请求的安全等级算法，并提出了重新指派数据库原有数据安全等级的算法；最后，讨论了修改约束处理中的技术难题。