下周三19点直播:Paper与工程:数据库事务一致性检测 | DB・洞见
探索前沿研究,聚焦技术创新。我们带着每月一期的数据库论文解读又来啦!
数据库用户通常依赖隔离级别来确保数据一致性,然而很多数据库却并未达到其所表明的级别。主要原因是:一方面,数据库开发者对各个级别的理解有细微差异;另一方面,实现层面没有达到理论上的要求。
用户在使用或开发者在交付数据库前,需要对隔离级别进行快速的正确性验证,并且希望验证是可靠的(没有误差)、快速的(多项式时间)、有效的(找出异常)、通用的(任意数据库)、可解释的(可以debug,可以复现)。
Elle就是针对以上问题提出的一个基于Adya模型的黑盒一致性检测工具。Elle通过精心设计的读写操作和版本控制,可以检验出Adya提出的所有非谓词异常,并且具有可解释性和复现性。实践中,Elle在所测的四个数据库上都测出了数据异常(不一致)。
作为国内领先的数据库厂商,腾讯云数据库一直致力于推动国产数据库学术人才培养和技术创新生态建设发展。“DB·洞见”系列是腾讯云数据库举办的数据库论文精选解读活动,每期将邀请学界及腾讯技术大咖,解读数据库基础技术创新趋势,让更多数据库从业者了解行业前沿技术热点,分享数据库技术创新成果。
在本期“DB·洞见”直播中,我们邀请到了腾讯云数据库高级工程师 陈育兴,来为大家介绍数据库事务一致性检测的最新技术创新及相关实现。
8月31日(周三)19:00 - 20:00,让我们相约DB·洞见 8月场直播间,不见不散!
专家介绍
陈育兴,赫尔辛基大学博士,腾讯云数据库高级工程师、数据库研发部数据库基础软件研究员,研究方向包括多模数据库、事务处理、查询优化等。
直播预告
👇点击「阅读原文」,立即预约直播!
评论