分布式数据库多级一致性统一建模理论研究

摘要：

分布式数据库系统出现了支持多协调器和多副本存储的新架构,?这给事务调度的正确性带来了新的挑战,?包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.?基于事务隔离级别和分布式系统一致性协议的定义,?为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型.?该形式化模型为事务的正确调度提供具有鲁棒性的评价标准,?可以方便地对数据库事务调度情况进行动态或静态分析检验.

关键词：分布式数据库、一致性、隔离级别、混合依赖图

所属期刊栏目：34

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金;国家自然科学基金;中央高校基本科研业务费专项;中国人民大学-腾讯联合实验室联合项目

在线出版日期：2023-05-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共21页

页码：2392-2412