标签：DBMS可串行性测试

2020-03-04半瓶木阅读(923)评论(0)赞(0)

序列化图用于测试计划的可序列化性。 假设有一个时间表S。对于S, 我们构造一个称为优先级图的图。该图具有一对G =（V, E）, 其中V包含一组顶点, E包含一组边。顶点集用于包含计划中的所有事务。边的集合用于包含三个条件之一成立的所有边T...