OCC tests

for OCC tests, I think there are too many transactions that abort

BOCC: test3 - t2 & t3, test4 - t1 & t2, test5 - t3 & t4, test6 - t4 & t5, test7 - t2 FOCC: test3 - t1 & t3, test6 - t3

If I'm not misataken, in BOCC, when the committed transaction commits before the transaction thats in validation starts, we don't have to check the union of RS and WS for example: test7 - t2 starts reading after t1 commits, so there shouldn't be any conflicts (?) and for test3, the first trans thats goes into validation phase is t3, and there's no committed transactions before it, why does t3 aborts itself.

In FOCC, the transaction is only checking the union with running transactions test 3 - WS(t2) = {y} running trans = t1, RS(t1) = {z}, which means the union is empty, and t1 is the last transaction to commit, and theres no running transactions, so it wouldn't have a chance to abort itself