-
题名基于优先图冲突可串行化判断
- 1
-
-
作者
冯凯平
-
机构
四川烹饪高等专科学校信息技术系
-
出处
《电脑与信息技术》
2011年第5期40-42,共3页
-
基金
海南省教育厅高等学校科研项目(项目编号:Hjsk2009-27)
-
文摘
在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。
-
关键词
计算机软件
数据库
可串行化判断
优先图
事务
冲突
-
Keywords
computer software
database
serializable judgement
precedence graph
tasks
conflict
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名优先图在冲突可串行化判断中的应用
- 2
-
-
作者
冯凯平
-
机构
四川烹饪高等专科学校信息技术系
-
出处
《成都信息工程学院学报》
2011年第5期555-558,共4页
-
基金
海南省教育厅高等学校科研资助项目(Hjsk2009-27)
-
文摘
在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。
-
关键词
数据库
优先图
可串行化判断
并发事务
冲突可串行性
-
Keywords
database
precedence graph
serializable judgement
concurrent tasks
conflict-serializability
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
