3TS-Coo

3TS-Coo

3TS-Coo is a consistency check tool for transactional databases. Coo checks the consistency of databases in accurate (all types of anomalies), user-friendly (SQL-based test), and cost-effective (one-time checking in a few minutes) ways. You can check out the code and detailed result on GitHub branch. Contributions in any kind are welcome.

The original and executed schedules are available for analysis and debugging. You can click each hyperlink for more detailed test cases and executed results. The formal expressions of test cases are also available.

The result behaviors are classified into two types, i.e., anomaly (A) and consistency. For anomaly occurrence, data anomalies are not recognized by databases, resulting in data inconsistencies, meaning the executed schedule with no equivalent serializable execution (or a Partial Order Pair (POP) cycle). While for the consistent performance, databases either pass (P) the anomaly test cases with a serializable result (no POP cycle) or rollback transactions due to rules (R), deadlock detection (D), or timeout (T) reached. The isolation levels are Serializable (SER), Repeatable Read (RR), Read Committed (RC), Read Uncommitted (RU), and Snapshot Isolation (SI).

Follow up

We are testing the scenarios with predicates. Please stay tuned!