分布式数据库复制实施策略中的冲突预防和解决

复制是分布式数据库实施策略中的重要一种，它能大大提高各结点的自治性，同时保证各结点数据副本之间的松散一致性，然而各结点自主的数据操作之间很可能发生冲突。针对这种情况，提出了设计分布式数据库时就积极地采取措施尽可能预防冲突发生；当冲突发生时，采用合理的策略来解决冲突。最后，以SQL Server2000为例来说明这种思想的具体应用。     

数据库集群的"无应答严次序发布传播"复制策略

数据库集群服务器的关键技术是数据复制，本文在对比分布式文件系统、可靠型多播、对象组服务以及分布式内存等技术的基础上，提出了“无应答严次序发布传播”复制策略，“发布传播”类似但不同于“发布订阅”模型。该策略采用了IP多播、双钥锁和基于全局／局部／状态次序编号的次序管理机制。双钥锁允许加锁者或下一个申请者释放互斥锁。次序管理遵循4个原则来避免“乱序”、“意图歪曲”、“因果牵制”和“反向因果牵制”四个数据不一致问题。本文详细讨论了该策略的设计目标、主要问题及解决途径、特征、基本原则以及算法轮廓。     

协同图形编辑系统中一种改进的多版本递增创建算法

并发控制技术是CSCW研究的关键技术之一，旨在对并发操作进行控制以达到一致性维护的目的。本文对协同图形编辑系统中一种新颖的多版本方法进行了研究，提出了一种改进的多版本对象动态递增创建算法，并通过模拟实验结果表明：改进后的算法性能有较大的提高。     

基于事务的工作流异常处理模型及方法

针对工作流系统中存在的异常问题,提出了一个基于事务的工作流异常处理模型,建立了异常监测、分析、处理机制,增加了触发和向后恢复的方法。以ECA规则形式建立了异常事件库,实现了对异常的监测、分析和处理,并给出了监测算法。在此基础上,讨论了工作流静态和动态修改的方法和算法,保证了工作流修改后数据的一致性和正确性。     

Discovering Robust Knowledge from Databases that Change

Many applications of knowledge discovery and data mining such as rule discovery for semantic query optimization, database integration and decision support, require the knowledge to be consistent with the data. However, databases usually change over time and make machine-discovered knowledge inconsistent. Useful knowledge should be robust against database changes so that it is unlikely to become inconsistent after database updates. This paper defines this notion of robustness in the context of relational databases and describes how robustness of first-order Horn-clause rules can be estimated. Experimental results show that our estimation approach can accurately identify robust rules. We also present a rule antecedent pruning algorithm that improves the robustness and applicability of machine discovered rules to demonstrate the usefulness of robustness estimation.     

动态调整移动数据库中失效报告时间窗口的大小

在移动计算环境中，如何维护移动客户机中数据缓存的一致性，是研究的一个热点．广播失效报告是一种有效的方法，但由于不同的环境，不同的时期各种参数的变化，失效报告时间窗口ω的大小如何确定是一个难点．时间窗口ω应随各种参数的变化而不断地进行调整，才能保证网络系统的传输工作在最有效的状态．从理论上推导了失效报告时间窗口ω的计算公式，分析了ω的合理取值，并给出了具体实现的算法．     

非实时连接分布式数据库一致性维护策略

针对非实时连接的分布式数据库系统，考虑其通讯代价和安全性以及实际的需求，提出了一种将数据进行分类，利用弱事务的增量复制来更新数据库，并利用事务优先图来检测冲突的数据库一致性维护策略，它可以有效地节约带宽，减小通信代价。     

语言判断矩阵满意一致性的判定方法

研究语言判断矩阵的满意一致性问题．在给出语言判断矩阵及其满意一致性有关概念的基础上，提出一种关于具有严格偏好关系的语言判断矩阵满意一致性的判定方法．依据所给出的判定方法，可相应地得出关于语言判断矩阵的方案优劣的排序方法．最后通过两个算例说明了所给出方法的有效性。     

Research on Constructing Contours from Regular Terrain Grids Containing Invalid Data

A new method for constructing contours from complicated terrain elevation grids containing invalid data is put forward. By using this method, the topological consistency of contours in groups can be maintained effectively and the contours can be drawn smoothly based on boundaries pre-searching and local correction. An experimental example is given to demonstrate that the contours constructed by this method are of good quality.     

Updating Situation Models.

The authors examined how situation models are updated during text comprehension. If comprehenders keep track of the evolving situation, they should update their models such that the most current information, the here and now, is more available than outdated information. Contrary to this updating hypothesis, E. J. O'Brien, M. L. Rizzella, J. E. Albrecht, and J. G. Halleran (1998) obtained results suggesting that outdated or incorrect information may still influence the comprehension process. The authors of the current study demonstrate that the nature of E. J. O'Brien et al.'s materials were the likely cause of this pattern of results. Hence, the current authors constructed materials that circumvent identified confounds and in a reading-time experiment obtained evidence supporting the here-and-now hypothesis. (PsycINFO Database Record (c) 2010 APA, all rights reserved)