期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于优先执行关系闭包运算的事务可串行化判定方法
被引量:
2
1
作者
熊中敏
王佳艳
+1 位作者
汪博
陈明
《计算机应用与软件》
北大核心
2019年第9期52-57,99,共7页
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数...
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。
展开更多
关键词
数据库
并发事务
可串行化
闭包
计算
逻辑公式
下载PDF
职称材料
关系闭包的计算
2
作者
刘化明
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
1989年第1期25-29,共5页
本文涉及演绎数据库递归查询的优化问题,提出算若干计算关系闭包的算法。算法的主要思想是及时地从关系中删去不产生新结果的元组,避免元组间多次重复的连接,提高查询效率。
关键词
演绎数据库
逆归查询
闭包
计算
下载PDF
职称材料
题名
基于优先执行关系闭包运算的事务可串行化判定方法
被引量:
2
1
作者
熊中敏
王佳艳
汪博
陈明
机构
上海海洋大学信息学院
农业部渔业信息重点实验室
出处
《计算机应用与软件》
北大核心
2019年第9期52-57,99,共7页
基金
国家自然科学基金项目(61702325)
上海市自然科学基金项目(16ZR14100)
上海市科技创新行动(16391902902)
文摘
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。
关键词
数据库
并发事务
可串行化
闭包
计算
逻辑公式
Keywords
Database
Concurrent transaction
Serializability
Closure calculation
Logical formula
分类号
TP311.131 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
关系闭包的计算
2
作者
刘化明
机构
厦门大学计算机与系统科学系
出处
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
1989年第1期25-29,共5页
基金
福建省自然科学基金
文摘
本文涉及演绎数据库递归查询的优化问题,提出算若干计算关系闭包的算法。算法的主要思想是及时地从关系中删去不产生新结果的元组,避免元组间多次重复的连接,提高查询效率。
关键词
演绎数据库
逆归查询
闭包
计算
Keywords
Deductive database,Recursive queries, Optimization, Relational closure
分类号
TP392 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于优先执行关系闭包运算的事务可串行化判定方法
熊中敏
王佳艳
汪博
陈明
《计算机应用与软件》
北大核心
2019
2
下载PDF
职称材料
2
关系闭包的计算
刘化明
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
1989
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部