We want to verify that all possible types of write conflicts correctly abort transactions. This can generally be tested by running two transactions in different sessions, and exercising the cases listed below. There may be additional interesting cases that are worth testing.

Single Document Conflicts

1. Two transactions update the same document
2. Two transactions try to delete the same document
3. Two transactions try to insert identical documents
4. One transaction tries to delete a document D and the other transactions tries to update document D

Predicate Based Conflicts

1. Two transactions execute a predicate based update and the document sets updated by each transaction intersect
2. Two transactions execute a predicate based delete and the document sets delete by each transaction intersect
3. One transaction executes a predicate based delete, another transaction executes a predicate based update and the document sets targeted by each transaction intersect.