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