基于Sagas模型的改进事务工作流模型

Sagas模型要求所有子事务都要有对应的补偿子事务,任何子事务失败必须强制其它所有子事务失败,不能很好支持多事务多实例的并发执行。这三个缺陷使得Sagas模型至今不能运用到商业工作流系统中。针对Sagas模型的缺陷,提出一种改进的Sagas事务工作流模型,对子事务属性进行了分类并通过构造子事务间的关联关系使得可补偿子事务失败时无需强制所有子事务失败;引入补偿服务完善了工作流模型的语义;给出了基于事务实例锁集和后继子事务类型集的多事务多实例并发运行算法。该模型解决了Sagas模型存在的问题。     

析取封闭世界假设的一种过程语义

析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近.基于此,提出了DCWA的过程语义,并证明了它的可靠性和完备性.     

FM-Que移动事务模型

在移动计算环境中,传统数据系统的事务处理模型不能较好地支持移动事务的处理,故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点,提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制,固定子事务和移动子事务思想来支持事务移动性和频繁断接性,采用多版本预提交方式来维护数据一致性。     

嵌套事务的正确性及锁协议

嵌套事务作为扩展事务模型的一种,应用较为广泛,对嵌套事务正确性进行了描述,并给出了一个嵌套事务模型的并发控制锁的协议。     

J2EE平台的扩展事务模型支持框架

随着Internet和分布计算的发展,应用趋向于分布、松耦合和复杂化,平面事务模型已经越来越不适应于这些新型的应用,因此出现了多种扩展事务模型.但目前的研究多关注于特定应用环境的模型的提出和分析,同时由于受数据源接口的限制,难以实现事务模型的一些扩展原语,所以真正实现扩展事务模型的系统很少.提出了一种J2EE平台下的扩展事务模型支持框架,通过增强事务管理器的数据并发控制,实现了对常见扩展事务模型的支持.     

基于Sagas模型的改进事务模型

在Sagas事务模型中,一个长事务是由一个预先定义好执行顺序的子事务集合和他们对应的补偿子事务集合组成的。子事务是按照顺序依次执行的,当其中的某个子事务出现异常时,就逆序执行已提交过的子事务对应的补偿事务来撤销他们的操作结果并退出。这样做会产生三个问题,第一是当一个不重要的子事务出现异常时,就需要撤销全部已提交的事务;第二是事务在完成补偿事务后会退出,而不是选择更有效的执行手段;第三是该模型只支持所有子事务都有相应的补偿子事务的情况。针对这三个问题,提出了相应的解决方案。     

面向频繁项集挖掘的本地差分隐私事务数据收集方法

事务数据常见于各种应用场景中,如购物记录、页面浏览历史等.为了提供更好的服务,服务提供商收集用户数据并进行分析,但收集事务数据会泄露用户的隐私信息.为了解决上述问题,基于压缩的本地差分隐私模型,提出一种事务数据收集方法.首先,定义了一种新的候选项集分值函数;其次,基于该函数,将候选项集的样本空间划分为多个子空间;然后,随机选择其中一个子空间,基于该子空间随机生成事务数据并发送给不可信的数据收集者;最后,考虑到隐私参数的设置问题,基于最大后验置信度攻击模型设计启发式隐私参数设置策略.理论分析表明,该方法能够同时保护事务数据的长度与内容,满足压缩的本地差分隐私要求.实验结果表明,与目前最优的工作相比,所收集的数据具有更高的效用性,隐私参数设置更具有语义性.     

一种基于约束的事务工作流并发控制方法

在辽河流域水环境管理中,许多业务流程操作都满足事务的特性.传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的占有时间就会很长而导致其他流程不能继续流转.为解决这一问题,借助类似于处理器中指令流水的思想研究了一...     

基于语义传递的分层事务调度技术的研究

传统的读写事务模型是面向机器的，即事务的每个操作都是对数据库的存取操作，并且事务只有两层：逻辑层和物理层；逻辑层描述对逻辑数据的操作，如对记录的修改，查询等。物理层是描述对磁盘页面的操作；因此，它不能有效地描述应用程序的语义，本文提出了一个３层事务模型，在传统事务模型的基础上增加了一个语义层，该层能有铲地描述应用环境的各种语义，为事务处理提供语义信息。同时设计了基于这种事务模型的并发控制机制，该机     

基于信令网关的自动外呼系统设计

介绍一种采用信令网关构建大容量自动外呼系统的设计过程及关键技术。该过程包括系统的硬件架构、软件系统设计。关键技术包括设备控制、呼叫调度与管理、大批量号码存取等。与已有的电话外呼系统相比,该系统具有容量大、效率高、成本低、易于维护等特点。应用结果表明,该系统运行稳定可靠,具有较高的推广应用价值。     

一种基于时标的网格事务并发控制方法

定义了一个网格事务模型,提出了支持该网格事务模型的、基于时标的并发控制协议,证明了协议的正确性。该协议扩充了事务类型,减小了事务的冲突范围,从而避免了大量不必要的事务重启,提高了事务的并发度。性能实验分析表明,该协议是可行且有效的。     

懒散复制DDBS中基于时标的事务控制

懒散复制分布式数据库系统的事务可以在不同节点上执行,如果其先后顺序不能得到保证,则会产生“脏数据”问题,甚至导致整个系统数据的不一致。针对以上问题,采用基于时标戳的并发控制思想,在懒散复制的分布式数据库中实现Strong Session ISR,保证事务的执行顺序。该方法可以防止“脏数据”问题,达到较高的并发度。     

一种基于局域世界的网络模型研究

自组织机制是可以解释许多系统形成的原因之一。为了模拟现实世界中的网络形成,在自组织网络模型的基础上引入局域世界的概念,提出了一种网络演化模型。讨论了该模型的聚簇系数、介数、效率、可达性、最大簇规模和簇直径等6种拓扑属性。实验结果表明,该网络模型对随机故障和蓄意攻击表现出双重容忍特性。     

移动实时事务预留广播空间的验证协议

在无线数据广播环境中,从移动客户机到服务器的上行带宽非常有限,传统的并发控制协议不适合这种不对称通信环境.本文提出一种可变乐观并发控制协议,服务器周期性向移动客户机广播数据对象,同时把一个广播周期分成若干个子周期,在两个连续的子周期间,一个保留空间被预留来存放服务器更新事务在第一个子周期开始后修改的所有数据对象,移动只读事务通过比较服务器更新事务提交的写集合和自己读集合来自主进行一致性验证,如果只读事务不能通过部分验证,它不会被草率地夭折并重新启动,相反,应用一个改进的向前验证策略,帮助移动只读事务争取更多提交机会.最后,本文进行充分的实验对提出的算法性能进行了评价.     

基于角色的分布式事务处理模型设计

传统的事务处理主要应用于数据库系统和操作系统领域。随着网络技术和分布式对象技术的飞速发展,在大型的、分布的、异构的计算环境中也广泛引入了事务处理技术。通过比较分析目前主要分布式事务处理模型的优缺点,在异构数据集成系统中设计一种基于角色的Agent分布式事务处理模型,旨在异构数据集成系统中建立高性能、高可用性的应用。     

一种基于强可有序化标准的长事务调度算法

现有的长事务并发机制在解决并发冲突和回滚时往往需要依赖于人工干预,且故障恢复的代价较高．提出了一种面向长事务的调度正确性标准——强可有序化标准,并提出了基于该标准的长事务调度算法．该算法利用事务的语义知识以提高事务的并发效率,同时使得长事务的恢复机制大为简化,且回滚代价大大降低．实验结果表明该算法对长事务具有较好的并发处理效果和恢复效率．     

Closed world assumption for disjunctive reasoning

In this paper,the relationship between argumentation and closed world reasoning for disjunctive information is studied.In particular,the authors propose a simple and intuitive generalization of the closed world assumption(CWA) for general disjunctive deductive databases(with default negation).This semantics,called DCWA,allows a natural argumentation-based interpretation and can be used to represent reasoning for disjunctive information.We compare DCWA with GCWA and prove that DCWA extends Minker‘s GCWA to the class of disjunctive databases with defacult negation.Also we compare our semantics with some related approaches.In addition,the computational complexity of DCWA is investigated.     

分布式系统中数据复制的研究与应用

维持数据的一致性是复制数据库并发执行的关键。介绍分析了MS SQL Server 2000中内置的数据复制构件以及MS SQL Server 2000的事务模型,最后结合实际的应用软件开发对数据复制的并发控制原理与措施进行了相关实现。