主动实时嵌套事务的正确性

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性。在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型。主动实时嵌套事务的正确性比传统的原子事务更复杂。本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础。

支持主动实时事务的内存数据库技术

采用灵活而高效的数据存储管理机制是实现内存数据库管理系统的关键。提出一种适合内存数据库的“影子内存”组织方法,并给出具体的内存空间的组织管理、存储结构和存取策略。

实时主动数据库框架的核心技术与实现

比较于传统的数据库,主动数据库有自己的一套体系架构和实现。首先对主动数据库的一般理论进行论述,给出主动数据库的框架;详细阐述由此框架延伸出的若干核心技术及其实现方法。

浅析江泽民的外交思想

江泽民的外交思想是"三个代表"重要思想的重要组成部分。在江泽民同志外交思想的指引下,我国外交事业取得了巨大的成就。把自己的事情做好,不断増强国际竞争力;维护国家最高利益,是外交工作的出发点和归宿点;坚持独立自主的和平外交政策等是江泽民外交思想的闪光点。