基于语义的数据库并发控制研究进展
事务的语义信息可以从更高层次上刻划数据库的状态及其变化,提高数据库处理能力.这方面的研究已经产生了大量的研究成果,其核心是要解决语义信息层次性、灵活性、难以表达等难点问题.在回顾基于语义的数据库并发控制的研究背景和现状基础上,提出将数据库并发控制抽象为计算模型以便于数据库语义信息的表达;阐述了解决该问题的两类主要模型:一维计算模型和多维计算模型,介绍了两种模型的基本概念以及主要事务模型,总结了数据库并发控制的形式化方法,分析了基于高维计算模型研究并发控制模型的部分理论依据;最后展望了基于语义的数据库并发控制发展趋势.
事务处理、语义、并发控制、计算模型、形式化
32
TP311(计算技术、计算机技术)
国家自然科学基金项目61070035,60902036,40801160;高等学校博士学科点专项科研基金项目20104307110017;国家“八六三”高技术研究发展计划项目2011AA120306
2012-06-26(万方平台首次上网日期,不代表论文的发表时间)
共8页
2337-2344