题名 相交数据集合的R/W事务可串行化判别方法
1
作者
李新
机构
汕头大学工学院计算机系 汕头大学智能制造技术教育部重点实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第2期275-278,共4页
基金
汕头大学青年科研基金项目(YR07004)资助
文摘
R/W事务是应用中广泛存在的一类人工交互性长事务,采用传统的两段锁协议对R/W事务进行并发控制,会严重影响到系统的执行效率.为此,曾经提出一种基于数据集合分析的新的并发控制方法,有效地解决了系统效率的问题.然而,以前的方法在相交数据集合的情况下,使用较为复杂,并且对于两种类型的R/W事务—原子关系和相交数据集合关系,事务提交采用了不同的判别准则;增加了系统实现的复杂度.本文在原有方法的基础上,通过对R/W事务特性的进一步分析和对数据集合关系的演绎推理,提出了新的事务提交判别准则,统一了两种类型R/W事务的并发控制策略.新的方法具有更高的效率,且简单易行,提高了系统的可实现性.
关键词
R/W事务 可串行化 相交数据集合 同序可串行化 事务提交准则
Keywords
R/W transaction serialized intersecting data sets serialized with same sequence committing rule
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 基于优先执行关系闭包运算的事务可串行化判定方法
被引量：2
2
作者
熊中敏 王佳艳 汪博 陈明
机构
上海海洋大学信息学院 农业部渔业信息重点实验室
出处
《计算机应用与软件》
北大核心
2019年第9期52-57,99,共7页
基金
国家自然科学基金项目(61702325) 上海市自然科学基金项目(16ZR14100) 上海市科技创新行动(16391902902)
文摘
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。
关键词
数据库 并发事务 可串行化 闭包计算 逻辑公式
Keywords
Database Concurrent transaction Serializability Closure calculation Logical formula
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
题名 并发事务无死锁的可串行化调度的形式化方法
被引量：1
3
作者
罗雪梅 王薇 韩耀军
机构
同济大学应用数学系 山东科技大学济南校区
出处
《计算机工程与应用》
CSCD
北大核心
2004年第10期181-183,229,共4页
基金
中国科学院计算机科学实验室开放课题资助(编号:SYSKF0304)
文摘
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
关键词
并发控制 可串行化 两段锁协议死锁 扩展有色Petri网 可达标识图
Keywords
concurrent transaction,serializability,Two -Phase Locking Protocol,deadlock,Extended Colored Petri Net,reachable marking graph
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 拓扑排序在并发控制可串行化算法中的应用
被引量：1
4
作者
杨超 卢玉蓉
机构
成都理工大学信息管理学院
出处
《计算机仿真》
CSCD
2004年第6期65-67,共3页
文摘
并发控制是分布式数据库管理系统的重要组成部分 ,并发控制用来控制多个事务的并发运行 ,避免它们之间的相互干扰 ,保证每个事务都产生正确的结果。该文从构造并发控制可串行化的前趋图出发 ,利用拓扑排序进一步研究了并发控制可串行化的算法 ,详细阐述了冲突可串行和状态可串行化的测试算法并运用在实例中。该算法可以作为并发控制可串行化的正确性准则 ,在实际中 。
关键词
拓扑排序 并发控制 可串行化 算法微处理机 计算机网络 分布式数据库
Keywords
Precedence graph, Topological sort, Concurrent control , Serialization
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 一种使多库系统事务可串行化的方法
被引量：1
5
作者
金远平
机构
东南大学计算机系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1993年第9期17-21,共5页
文摘
在多库系统中,各局部数据库高度自治,全局事务与局部事务相互影响,使事务管理面临新的挑战。本文提出一种子事务统一释放资源方法,并证明只要局部DBMS遵守两段封锁协议,这种方法可以保证多库系统中的事务可串行化,同时还讨论不可检测的全局死锁问题及其处理。
关键词
多数据库系统 异构数据库系统 事务管理 并发控制 可串行化
Keywords
multidatabase system heterogeneous database system transaction management concurrency control serializability
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 实时广播环境中的弱可串行化并发控制
6
作者
党德鹏 刘云生
机构
华中科技大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2002年第9期94-95,85,共3页
基金
国家自然科学基金(60073045) 国防预研基金(00J15.3.3.JW0529)
文摘
1.引言
随着便携计算机及无线通讯技术的快速发展,移动计算已经成为现实,其中主要采用数据广播方法进行数据发布.广播模式的一个显著特征是通讯的不对称性,即下行带宽比上行带宽宽很多.
关键词
数据广播 实时广播环境 弱可串行化 并发控制 随机信号
Keywords
Data broadcast,Relaxing serializability, Real-time concurrency control
分类号
TN934.2
[电子电信—信号与信息处理]
题名 数据库并发操作的可串行化调度与死锁检测算法
7
作者
韩耀军
机构
山东科技大学
出处
《计算机工程与应用》
CSCD
北大核心
2001年第10期82-85,共4页
基金
国家自然科学基金资助
文摘
封锁与可串行化调度是数据库并发操作采取的两种主要措施。判断一个调度是否可串行化调度的最有效方法是两段锁协议。但是，一方面，事务遵守两段锁协议只是可串行化调度的充分条件而不是必要条件；另一方面，遵守两段锁协议的事务仍可能发生死锁。文中给出了一种算法，利用该算法，不仅可判断出一个调度是否为可串行化调度，而且可判断出该调度是否会发生死锁。
关键词
数据库 并发操作 可串行化 调度死锁检测算法
Keywords
Database, Transaction, Concurrent Operation, Serializable Schedule, Deadlock
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 数据广播中т-可串行化移动实时事务并发控制
8
作者
党德鹏
机构
北京师范大学信息科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第19期4-6,共3页
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60221120146) 国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.G1999032704) +1 种基金 中国博士后科学基金(No.2003034146) 国家科技支撑计划(No.2006BAK01A07)
文摘
研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
关键词
数据广播 放松可串行化 实时并发控制
Keywords
data broadcast relaxed serializability mobile real-time concurrency control
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 两阶段封锁可串行化强制性的实现
9
作者
冯凯平
机构
四川烹饪高等专科学校信息技术系
出处
《微型电脑应用》
2011年第9期42-43,5,共3页
文摘
数据库的共享性是建立在多个共享事务的并发执行基础之上的。为了保证多个事务的并发执行,并发控制器对各事务动作的调度应当是可串行化的。然而,在实际调度过程中,并非所有的调度都是可串行化的。为了确保事务之间的可串行性关系,可使用两阶段封锁将非可串行化调度强制实现为可串行化调度。
关键词
两阶段 封锁 事务 调度 可串行化 强制 动作
Keywords
Two Stage Blockade Task Scheduling Serializability Mandatory Action
分类号
TP39
[自动化与计算机技术—计算机应用技术]
题名 XML数据库中锁协议机制下是可串行化调度分析
10
作者
严伟中 朱巧明
机构
苏州大学计算机科学与技术学院
出处
《中国高新技术企业》
2008年第13期104-104,共1页
文摘
本文介绍了xml数据库的相关技术,并讨论事务及并发控制机制,最后对在锁协议机制(xpl)下的并发调度的可串行化进行了分析和研究。
关键词
XML数据库 事务 并发控制机制 可串行化
分类号
TP312.2
[自动化与计算机技术—计算机软件与理论]
题名 基于优先图冲突可串行化判断
11
作者
冯凯平
机构
四川烹饪高等专科学校信息技术系
出处
《电脑与信息技术》
2011年第5期40-42,共3页
基金
海南省教育厅高等学校科研项目(项目编号:Hjsk2009-27)
文摘
在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。
关键词
计算机软件 数据库 可串行化 判断优先图 事务 冲突
Keywords
computer software database serializable judgement precedence graph tasks conflict
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 优先图在冲突可串行化判断中的应用
12
作者
冯凯平
机构
四川烹饪高等专科学校信息技术系
出处
《成都信息工程学院学报》
2011年第5期555-558,共4页
基金
海南省教育厅高等学校科研资助项目(Hjsk2009-27)
文摘
在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。
关键词
数据库 优先图 可串行化 判断并发事务 冲突可串行 性
Keywords
database precedence graph serializable judgement concurrent tasks conflict-serializability
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 广播环境中的Q可串行化实时并发控制
被引量：1
13
作者
卢彦 党德鹏
机构
华中科技大学电信系 北京师范大学信息学院 清华大学计算机科学与技术系北京
出处
《计算机科学》
CSCD
北大核心
2006年第6期55-57,共3页
基金
国家自然科学基金(No.60221120246) 国家重点基础研究项目(973)(No.G1999032704)基金 中国博士后科学基金(No.2003034146)资助。
文摘
研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此,提出使用Q可串行化形式化定义了Q可串行化,证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性,基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
关键词
数据广播 放松可串行化 移动实时并发控制
Keywords
Data broadcast, Serializability, Real-time concurrency control
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TN919.8
[电子电信—通信与信息系统]
题名 事务并发控制中的两段锁和可串行化冲突图的对比
14
作者
金蓉 李跃新
机构
湖北大学数学与计算机科学学院
出处
《湖北大学学报（自然科学版）》
CAS
北大核心
2005年第1期19-23,共5页
文摘
数据库中并发操作一般分为数据级和事务级两种,由于资源的竞争可能引起数据级的冲突和事务级的冲突,因此需要对并发执行的事务转化为某个可串行化调度,从而确保数据库的一致性.目前并发控制的方法有很多,从锁和非锁机制两个方面分析了两段锁和可串行化冲突图两种并发控制的规则和数据结构及分类,并从事务的冲突可串行化方面和结构上分析了各自的性能和优缺点.
关键词
可串行化 事务 并发控制 并发操作 锁机制 并发执行 数据库 冲突 竞争 资源
Keywords
locking two-phase locking serialization graph testing
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP316
[自动化与计算机技术—计算机软件与理论]
题名 基于准一致性可串行化的并发控制协议
15
作者
黄四南
机构
湖南衡阳无线电总厂
出处
《计算机应用研究》
CSCD
北大核心
2004年第2期221-222,共2页
文摘
人们基于准一致性可串行化的正确性标准,提出了一种乐观并发控制协议,提高了事务执行的并发度,更有利于实时事务定时限制的满足。
关键词
准一致性可串行化 移动实时事务 移动实时乐观并发控制
Keywords
Quasi-consistency Serializability Mobile Real-time Transaction Mobile Real-time Optimistic Concurrency Control
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 多级多版本数据库管理系统全局串行化(英文)
被引量：11
16
作者
张敏 冯登国 徐震
机构
中国科学院软件研究所信息安全国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2007年第2期345-350,共6页
基金
国家自然科学基金Nos.60273027,60025205 国家高技术研究发展计划(863)No.2004AA147070~~
文摘
多级调度应该保证事务历史可串行化,满足多级安全特性,不会引入隐通道,并保证高级别事务不会因为无限等待而“饿死”.与其他多级数据管理系统调度机制相比,多级多版本时戳调度机制满足上述要求,但该机制存在两个问题,一是事务可能读旧版本,二是要求调度器是可信进程.提出一种多级多版本全局时戳调度机制(MLS_MVGTO),以及依据事务快照生成其全局时戳的基本步骤.给出了预知只读事务信息时的两种改进方法.MLS_MVGTO机制生成的事务历史可串行化,不引入隐通道等,并且该方法避免引入一个全局可信的调度器,并通过对只读事务的深入分析,允许事务读新版本.
关键词
全局时戳 多级多版本全局时戳排序MLS_MVGTO 多版本 单版本可串行化 (1SR)
Keywords
global timestamp MLS_MVGTO multi-version 1 copy serializable （1SR）
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 一种动态调整串行化顺序的实时并发控制协议
被引量：2
17
作者
刘波 范士明 刘华
机构
北京卫星信息工程研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第3期443-449,共7页
基金
总装备部预研基金项目(9140A04020309HT6401)资助
文摘
实时并发控制协议用来控制并发事务间的相互作用,已满足实时数据库的一致性.本文提出一种四阶段实时并发控制协议HTRCC-DASO,协议在读或等待阶段基于事务优先级动态调整串行化顺序,通过阻塞或及早重启低优先级事务,使高优先级事务率先提交并降低事务重启开销.在验证阶段检查事务读写集合的外部一致性和相互一致性并调整活动事务的时间戳间隔,确保满足事务时态一致性和调度冲突可串行化.通过引入相似性概念,提出了HTRCC-DASO的改进版本:SHTRCC-DASO,性能测试结果显示,SHTRCC-DASO协议能保证良好的实时性能.
关键词
实时数据库 实时并发控制 相似冲突可串行化 时态一致性
Keywords
real-time database real-time concurrency control similarity conflict serializability temporal consistency
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 德州仪器推出新LVDS串行器
18
作者
王涛
机构
《通信世界》编辑部
出处
《通信世界》
2009年第31期I0002-I0002,共1页
文摘
本刊讯日前，德州仪器（TI）宣布推出首款可直接与1．8v供电处理器连接的LVDS串行器。SN75LVDS83B采用德州仪器FlatLink技术，无需使用1．8v及2．5v逻辑接口所需的高成本电平转换器，从而不仅可显著降低成本，而且还可将板级空间缩减达83％。SN75LVDS83B支持8位色彩，并可串行化RGB数据。
关键词
德州仪器 可串行化 LVDS LINK技术 电平转换器 逻辑接口 低成本 处理器
分类号
TN911.72
[电子电信—通信与信息系统]
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 基于快照隔离的分布式数据库同步协议研究与实现
被引量：5
19
作者
王珏 李立新 张绍月 杨梦梦 付建丹
机构
解放军信息工程大学电子技术学院 中国人民解放军
出处
《计算机应用研究》
CSCD
北大核心
2012年第8期3012-3017,共6页
文摘
针对分布式数据库系统中副本一致性的问题,结合快照隔离的性能优势和组通信技术的消息定序特性,提出了一种满足单副本可串行化的数据同步协议。首先,形式化定义了快照隔离可串行化的准则,并证明了该规则可以保证单副本可串行化。进而基于组通信系统的消息定序特性,提出了满足单副本可串行化的数据同步协议SSI-REP。实验表明,与两阶段协议(2PL)相比,SSI-REP协议提高了系统的性能,降低了事务的系统响应时间;与全局快照隔离算法GSI相比,SSI-REP协议在保证单副本可串行化的前提下,对系统性能的影响甚微。
关键词
数据库同步 快照隔离 单副本可串行化 组通信 SSI-REP
Keywords
database synchronization snapshot isolation（SI） one-copy-serializability group communication SSI-REP
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
题名 一种多数据库事务模型
被引量：6
20
作者
肖卫军 卢正鼎 李兵 李瑞轩
机构
华中科技大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第12期2224-2227,共4页
基金
国家高性能计算基金 (9931 9)资助
文摘
分析了多数据库系统中事务的特征 ,给出了多数据事务和事务经历的形式化描述 .在此基础上 ,提出了多数据库事务正确性标准MDB 可串行化 ,最后给出了基于MSG图的多数据库串行化定理 .
关键词
多数据库形式化模型 MDB-可串行化 MSG图 多数据库串行化 定理 多数据库事务模型 异构数据
Keywords
a formal model of multidatabase transaction MDB-serializability MSG graph a multidatabase serializability theorem
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
