elle

Elle 是一个用于黑盒数据库的事务一致性检查器。纯粹基于客户对交易的观察，并给定对数据类型和操作的一些最小约束，它可以告诉您该观察是否表现出各种交易异常。就像聪明的律师一样，Elle 会在故事中寻找不可能按该顺序发生的一系列事件，并使用该推论来证明故事不能自洽。概述：Elle 适用于多种数据类型，并且仅对事务结构设......