知识库系统中的一种并发控制方法

本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．     

知识库系统中一种利用封锁进行并发控制的算法

本文首先分析了影响加的一致性与并行性的因素，然后给出了一个利用Ｂ－树锁和依赖图进行调度的算法。该算法可对元组一级进行控制，并提高了系统的效率。本文还证明了长法的正确性。     

一种基于框架和中间件模型的知识库系统

本文基于对知识库系统的分析、在现有的数据库管理系统上提出了一套规则、知识框架,并围绕框架构造一个专家系统中间件,以实现规则、知识库与数据库的结合,这套方案立足于利用常规开发工具（如：VB、VC、PB等）在数据库管理系统（如：Oracal、SQL、Server等）上开发集成专家系统的复杂MIS。     

一种新的实时事务并发控制方法

本文提出一种新的实时事务并发控制方法，并对其性能进行了模拟评测；与锁式协议，乐观协议，基于时间戳的协议相比，它可以获得更新的并发度，与诸如ε－可串行比、△－可串行化等一致性的放松可串行化并发控制技术相比，它维护强一致性，保证严格可串行化。     

知识库的一致性问题和检查方法

知识库中存在的不一致性是影响整个系统性能的重要因素之一。在系统建立初期,由于知识库比较小,内容也比较简单,只要设计人员或知识工程师对初始知识模型进行反复推敲和精心构造,这类问题还是比较容易防止的。但是随着时间的推移,人们对知识库在最初设计阶段的种种考虑逐渐淡漠,同时由于知识库中新的知识不断加入,知识库越来越大,内容也越来越丰富复杂,这时知识库中各知识单元之间的相互影响和相互联系就随之变得复杂,难以跟踪和捉摸了。在这种情况下,知识库中的不一致性检测、识别和纠正显得更为重要。1、知识库的一致性问题知识库系统的组织按其结构可以划分为事实性知识(领域知识)和控制性知识,它     

一种空间数据多策略长事务并发控制方法的研究

本文提出了一种空间数据多策略长事务并发控制方法，较好地解决了GIS系统中并发控制的问题，有效地提高了GIS系统的性能，而且实现方式多样，可以满足众多用户不同的需求。     

知识库／元级知识库中的自省推理

本文认为:不同类型的非单调推理,均可通过对有关对象的确信或不确信的推理过程来表示,因此自省的过程可作为一切形式推理的基础。本文讨论了推理者用于表达和椎导其自身信念时的各种方式,结论有:a.自省的本质是表达信念和世界的关系b.如果从完全性和正确性角度来看待自省推理的话,其计算是相当困难的。     

一种用于分布式数据库系统的并发控制新算法

针对分布式数据库的并发控制提出了一种新算法．本算法根据新事务与本地节点上已启动但还未完成事务的信息进行比较，动态地在一种称为EWP的乐观并发控制算法与一种称为PSL的悲观并发控制算法之中选择一种算法来实现对该新事务的并发控制。本算法是在文中提出的EWL算法的基础上修改而成的，它比原来的EWL算法具有更强的自适应性．     

一种支持工程设计事务的乐观并发控制方法

传统乐观并发控制方法对工程设计事务支持较弱。该文以嵌套事务模型为基础并结合检入＝检出机制,提出一种改进的乐观并发控制方法,能够较好地解决传统乐观并发控制方法在工程设计务应用上存在的问题并提高了事务的并发度。     

并行实时数据库系统中的一种自适应并发控制模式

根据事务的实时性及关键性分类,事务分为硬实时、固实时、软实时和非实时事务。传统的并发控制仅考虑其中一到两种事务,且将固／软实时事务统一为软实时事务考虑,带有很大的不精确性,这将降低系统吞吐率。为此,本文提出了一种自适应并发控制模式。该模式采用两级并发控制体系,一级是主并发控制器,探测不同类事务间可能存在
在的类间数据冲突;二级是从并发控制器,探测同类事务间可能存在的类内数据冲突,由四类从并发控制器实现。根据各类事务的不同特征,各控制器采用的策略不同,因而具有极大的自适应性并能最终提高系统的吞吐率,但需要增加额外的硬件开销。     

一种并发控制的自优化模型

自主管理是目前数据库系统亟待解决的重要问题之一,解决数据库系统自主管理的核心是使得系统能够自动调度资源,以达到系统运行的目标。提出一个数据库系统并发控制的自主优化模型NDACC,该模型能够准确预测运行时系统的数据冲突率,并对数据访问进行控制,从而有效地提高资源利用率,增强系统的稳定性。     

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

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

知识库中的空值探讨

分析了空值环境下的三种类型的查询策略，以及Datalog查询求值的Semi-Naive算法，给出了一个从子目标关系空值特性导出头关系空值特性的一种方法，使改进后的Semi-Navie算法能在带空值的EDB数据库中对Datalog查询进行正确求值。     

一种用于分布式数据库系统的并发控制新算法

针对分布式数据库系统的并发控制，文章提出了一种新算法。本算法根据新事务与本地节点上已启动但还未完成的事务信息的比较，动态地在一种称为ＥＷＬ（ｅｘｃｌｕｓｉｖｅｗｒｉｔｅｒｐｒｏｔｏｃｏｌｗｉｔｈｌｏｃｋｉｎｇｏｐｔｉｏｎ）的乐观并发控制算法与一种称为ＰＳＬ（ｐｒｉｍａｒｙｓｉｔｅｌｏｃｋｉｎｇ）的悲观并发控制算法之中选择一种算法来实现对该新事务的并发控制。本算法是在文［１］中提出的ＥＷＬ算法的基础上修改而成的，它比原来的ＥＷＬ算法具有更强的自适应性，不仅适合冲突较少的情形，也适合冲突较多的情形。     

一种面向多租户中间件的应用级并发控制方法

针对在多租户中间件上存在的租户隔离、资源侵占的问题,提出一种面向多租户中间件的应用级并发控制方法。首先分析了现有并发控制方法的局限性,然后介绍了一种基于工作管理器的多租户请求处理模型的原理及设计,进一步给出了基于该模型的应用级并发控制方法的设计与实现,最后通过实验测试方法的性能开销,并设计了一个多租户性能隔离方法来验证方法的应用效果。实验结果验证了方法的有效性。     

分布式—两段锁：一种新的分布并发控制方法

两段锁(2PL)方法是集中式和分布式数据库中广泛采用的一种并发控制方法.本文阐明在分布环境中可将两段锁定理推广为分布式-两段锁(D-2PL)定理,并给出了它的正确性证明和实现框图.文中指出,D-2PL方法能有效地提高2PL方法的并发性能.     

一种用于分布式数据库系统的并发控制新算法

针对分布式数据库的并发控制提出了一种新算法。本算法对新事务与本地节点上已启动但还未完成事务的信息进行比较,动态地在乐观并发控制算法与悲观并发控制算法之中选择一种算法实现对该新事务的并发控制。     

一种新的实时数据库乐观并发控制方法

可串行化的并发控制对传统应用是合适的。而在实时数据库中,为了满足事务定时限制(典型地为截止期),并且考虑到局部的数据库不一致能够随下一次数据采样恢复,人们提出了准一致可串行化标准。本文基于这一标准提出了一种新的乐观并发控制协议,它考虑了数据的相似性及事务特点,提高了事务执行的并发度,有利于实时事务定时限制的满足。     

一种实时事务并发控制的新方法:SMVCC

提出了新颖的实时数据库事务并发控制方法：语义多版本并发控制协议（SMVCC）。利用实时数据库中存在多版本数据的特点,考虑实时数据和实时事务语义,结合实时数据库相似性概念,对传统多版本并发控制方法进行扩展,对不同事务采用不同并发控制策略,提高了事务并发度。