物理集成的多数据库系统中数据一致性维护方法

局部数据库中的数据与集成数据库中的数据一致性问题一直是采用物理集成策略的多数据库系统的关键问题。本文针对ＣＩＭ环境特点,一种基于松散一致性模型的主副本异步更新机制一公告机制,来解决这一问题,本文详细这了公告机制、公告系统的设计与实现,并给出了公告处理算法,该公告机制已在甸开发的ＣＩＭＳ信息集成平台的原形系统ＳｕｐｅｒＢａｓｅ中得以实现。     

多数据库系统中的关键技术

本文主要介绍多数据库系统（ＭＤＢＳ）中的几个关键技术,包括ＭＤＢＳ的设计原则及体系结构、异构模式消解、查询处理、事务处理等方面的问题。     

在多数据库系统中维护完整性约束

在多数据库系统中,需要维护全局完整性约束,针对这一问题,本文提出了将主动机制集成到多数据库系统中以维护全局完整性约束的方法,并给出了具体的实例,由于主动规则与系统无关,因此该方法具有很大的灵活性。     

基于事务语义的多数据库系统并发存取控制方法

本文提出了一种多数据库系统（MDBS）的基于事务语义的并发存取控制方法。文中首先按对数据库一致性的影响将事务分类;接着提出了新的MDBS的并发调度的非可串行正确性准则;然后;叙述了称为“事务语义协议”的并发存取控制原理和方法,给出了全局调度和交付的算法和方法正确性证明。     

分布式仿真多分辨率建模方法及一致性维护

在分布式仿真中,同一实体的多个分辨率模型并发以及不同实体的各个分辫率模型之间的交互会导致数据表现不一致的问题。在分析现有多分辨率建模方法的基础上,提出了适应分布式仿真环境的不同分辨率模型的树状结构建模方法,其主要由聚合级实体模型和平台级实体模型组成。为解决树状结构建模方法中不同分辫率模型的数据表现不一致问题,将不同分辨率模型间的交互看成分布式数据库中的事务,由此提出了一个嵌套两段式提交协议算法来有效解决不同分辨率模型的一致性维护问题。     

分布式工程数据库系统中事务提交机制的研究

分布式工程数据库事务的特性不同于常规的分布式事务,基本的两阶段提交（B2PC）的协议已不适用,文中建立了基于嵌套结构的分布式工程数据库事务管理子系统的体系结构,并提出了适用于分布式工程数据库的事务两阶段提交协议,包括协议的原理,算法以及对故障的处理方法,能够较好地支持分布式工程设计过程的进行。     

维护实时数据外部一致性的方法

详细研究了实时数据外部一致性的维护问题，以帮助更多事务满足其截止期要求，保证实时数据的外部一致性．为此，提出了一种新的L／S算法．进而，通过对该方法在几种典型情况下的仔细分析和考察，发现其在某些条件下能产生理想结果而在一般情况下也能得到可用结果．实验表明，L／S方法是一种有效的外部一致性维护方法：它能以尽可能少的事务实例和更好的实时事务可调度性来保证实时数据的外部一致性．     

数据仓库保证任务一致性的多版本实视图维护

本文在3vwq算法的版本控制和补充思想的基础上，提出利用实现图的相关性和通过灵活的版本控制解决用户查询时的任务一致性问题和视图维护的多版本问题。     

WCSR:一个弱一致性的复制数据库系统

介绍了一个弱一致性的复制数据库系统ＷＣＳＲ。ＷＣＳＲ系统支持服务的移动性与断接,采用Ｒｅａｄ－Ａｎｙ－Ｗｒｉｔｅ－Ａｎｙ复制范型,通过周期同步方式维护系统的一致性,     

基于CORBA/XML的多数据库系统研究与实现

多数据库系统是实现多个分布的异构数据源数据共享和互操作的有效途径．首先介绍了一种基于ＣＯＲＢＡ的多数据库系统体系结构模型，然后提出了一种面向ＸＭＬ的公共数据模型ＸＩＤＭ，这些模型能很好适应多数据库系统分布性、自治性和异构性等特点．还对基于这些模型所实现的一个多数据库原型系统Ｐａｎｏｒａｍａ进行了介绍．     

多库系统中高效的视图维护机制

外连接是多库系统中经常使用的生成全局视图的方法 ,但是外连接给维护多库系统视图带来了很大的困难 .目前已有的多库系统视图维护算法只考虑了连接操作 (select project join,SPJ) ,如果全局视图是通过外连接生成的 ,这些算法就不能有效地维护多库系统视图的正确性 .提出了一种新的多库系统视图维护算法 ,它能够在有外连接及数据不一致的情况下高效地维护多库系统视图 ,并最大限度地减少了向局部数据库发送的查询数 ,使得多库系统更加高效     

多数据库事务处理模型中局部代理的设计与实现

在多数据库事务处理模型中，局部代理提供了全局事务管理层与局部数据库系统的接口，它使多数据库系统能够对分布在不同站点的局部数据库进行透明访问。文中提出了基于两阶段代理（２ＰＣＡ）的局部代理模型，它集成了支持两阶段提交或单阶段提并的数据库系统、以及并不支持事务提交协议的文件系统。文中还介绍了采用专用接口和ＯＤＢＣ两种实现局部代理的方法。文中着重介绍了使用ＯＤＢＣ方法的具体实现，并对两种方法实现的局部代     

混合动态系统中连续状态系统用离散事件系统描述的一致性

混合动态系统起因于离散事件系统用于监控连续状态系统的行。本文用抽象语言方法描述连续状态系统，研究状态离散事件系统描述的一致性。基于输入输出观点简要地 讨论了离散控制器综合。     

移动环境下事务一致性的动态实现

移动分布式数据库中节点间的连接是一种弱连接，为了提高移动计算机的效率，事务执行通常采有乐观复制的方法，它的不足之处是要依赖用户对应用数据和节点行为的知识，难以适应移动环境下网络连接和配置的动态变化，首次提出了移动环境下事务处理的基于概率方法，采用服务质量定义动态实现移动环境下的事务一致性，是一种用户与系统协作来完成事务处理的方法，实验结果表明，基于概率方法在性能上优于简单的乐观复制方法。     

知识库维护过程中检查其协调性的有效方法

本文首先描述了知识库维护过程中的协调性问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库．为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一些定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明了相关的定理；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些知识库的实验结果．本文还提到一些相关的工作，最后给出结论.     

On Concurrency Control in Multidatabase Systems with an Extended Transaction Model

A major concurrency control problem that we have to cope in multidatabase systems is the global deadlock detection and resolution problem. This detection must take into account the autonomy of local systems, which make impossible the visibility of the state of local transactions. A well-known approach to detect such deadlocks, called potential global deadlocks, is one based on the potential conflict graph (PCG) appropriate for the multidatabase transaction model with a global commit protocol. This classical transaction model is very constraining for applications manipulating great volumes of information, and where subtransaction terminations (commit or abort) of global transactions are not totally dependant. In this paper we present an effective potential global deadlock characterization, and an efficient potential global deadlock detection algorithm, in multidatabase systems with an extended transaction model more suited for such applications.     

The Management of Interdependent Asynchronous Transactions in Heterogeneous Database Environments

Today, enterprises maintain many, disparate information sources over which complex business procedures and applications are executed. The informal and ad hoc characteristics of these environments make the information in them very prone to inconsistency. Yet, the flexibility of application execution given to different parts of an organization is desirable. This paper describes a new mechanism in which the execution of asynchronous, pre-existing, yet related, applications can be harnessed and concurrently executed with traditional, distributed transactions. The types of inconsistency that can arise as a result of this concurrent execution are categorized and methods to control and remove it are proposed.