-
题名嵌套事务可序列化调度中的隐式约束
被引量：3
- 1
-
-
作者
梁晟
施伯乐
-
机构
复旦大学计算机与信息技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2003年第2期325-329,共5页
-
文摘
嵌套事务模型在现代数据库及分布式对象系统并发控制的理论研究和应用中具有重要地位 而父子事务之间的同步能力则是其中必不可少的组成部分之一 通常做法中 ,父事务对 (指定的 )单个子事务的同步可能触发可序列化调度的隐式约束 ,从而导致调度不可操作 通过分析隐式约束的产生原因 ,并将具有一定拓扑结构的嵌套事务定义为良构的 ,可以避免上述不可操作性
-
关键词
嵌套事务
可序列化调度
隐式约束
数据库
事务处理
分布式对象系统
并发控制
-
Keywords
concurrency control
nested transaction
serializability
schedule
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据库并发控制技术
被引量：2
- 2
-
-
作者
马刚
刘天时
赵安科
-
机构
西安石油大学计算机学院
-
出处
《现代电子技术》
2006年第12期101-103,共3页
-
基金
陕西省教育厅基金资助项目(03JK163)
-
文摘
介绍了夭折事务法、连续申请资源法、随机等待加锁法和按标识符排序加锁法等4种加锁机制。随机等待加锁法在加锁失败时并不连续、不间断地申请锁,而是等待一个随机时间后重新启动新的加锁过程,不但提高了系统的执行效率,而且降低了死锁的机率。按标识符排序加锁法可以较早地发现锁等待。最后给出了随机等待加锁法和按标识符排序加锁法结合应用的一个实例。
-
关键词
可串行化调度
两段锁协议
事务
并发控制技术
-
Keywords
serializability schedule
two - phase locking protocol
transaction
concurrency control technology
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
-
题名视图事务经历的串行化调度分祈
- 3
-
-
作者
焦容
虞险云
严哲南
陈金海
-
机构
复旦大学计算机科学系
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
1999年第12期70-72,共3页
-
文摘
提出用依赖图方法判断数据仓库实例化视图调度是否可串行化。对传统的２ＰＬ协议冲突操作概念加以扩展，就可构造出依赖图。如果依赖图无环，实例化视图事务调度就是串行化调度。还设计了事务调度的数据仓库新结构和Ｓｅｒｉ－Ｓｃｈｅ算法。
-
关键词
数据仓库
视图
事务经历
串行化调度
-
Keywords
serializability of schedule
Derivation set
Conflict operation
Seri-Sche algorithm
-
分类号
TP274.2
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名用于检测数据库一致性的Petri网模型
被引量：2
- 4
-
-
作者
吴启明
-
机构
云南省软件中心
-
出处
《微电子学与计算机》
CSCD
北大核心
1994年第6期37-41,共5页
-
基金
云南省应用基础研究基金
-
文摘
本文通过建立事务调度的Ｐｅｔｒｉ网模型，给出了并发控制系统判断数据库一致性的形式化方法，得到了判定可串行化调度的充要条件。本方法简便、实用，大大改进了以往的方法，为实现数据库一致性的自动判定提供了前提。最后从方法学角度提出了应用Ｐｅｔｒｉ网的新方法。
-
关键词
数据库
检测
PETRI网
-
Keywords
Concurrency control
DB consistency
serializable schedule
Petri net application
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据库并发操作的可串行化调度与死锁检测算法
- 5
-
-
作者
韩耀军
-
机构
山东科技大学
-
出处
《计算机工程与应用》
CSCD
北大核心
2001年第10期82-85,共4页
-
基金
国家自然科学基金资助
-
文摘
封锁与可串行化调度是数据库并发操作采取的两种主要措施。判断一个调度是否可串行化调度的最有效方法是两段锁协议。但是，一方面，事务遵守两段锁协议只是可串行化调度的充分条件而不是必要条件；另一方面，遵守两段锁协议的事务仍可能发生死锁。文中给出了一种算法，利用该算法，不仅可判断出一个调度是否为可串行化调度，而且可判断出该调度是否会发生死锁。
-
关键词
数据库
并发操作
可串行化调度
死锁检测算法
-
Keywords
Database, Transaction, Concurrent Operation, serializable schedule, Deadlock
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
