基于优先执行关系闭包运算的事务可串行化判定方法

• 作者: 汪博 熊中敏 王佳艳 陈明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 数据库 并发事务 可串行化 闭包计算 逻辑公式
• 年，卷（期）: 2019,（9）
• 所属期刊栏目: 数据工程
• 页码范围: 52-57,99
• 页数: 7页
• 分类号: TP311.131
• 字数: 6952字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2019.09.010

摘要

现代数据库技术支持并发用户,会产生大量的并发事务.为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度.可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法.从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化.通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊中敏	上海海洋大学信息学院	11	24	3.0	4.0
2	陈明		11	27	4.0	4.0
3	王佳艳		1	0	0.0	0.0
4	汪博	上海海洋大学信息学院	1	0	0.0	0.0