Parsed test spec with 3 sessions
starting permutation: rxwy1 c1 wx2 c2 rx3 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 c1 wx2 rx3 c2 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 c1 wx2 rx3 ry3 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 c1 wx2 rx3 ry3 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 c1 rx3 wx2 c2 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 c1 rx3 wx2 ry3 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 c1 rx3 wx2 ry3 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 c1 rx3 ry3 wx2 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 c1 rx3 ry3 wx2 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 c1 rx3 ry3 c3 wx2 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rxwy1 wx2 c1 c2 rx3 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 c1 rx3 c2 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 c1 rx3 ry3 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 c1 rx3 ry3 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 wx2 c2 c1 rx3 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 c2 rx3 c1 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 c2 rx3 ry3 c1 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
+step c1: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 c2 rx3 ry3 c3 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: rxwy1 wx2 rx3 c1 c2 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 rx3 c1 ry3 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 rx3 c1 ry3 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 wx2 rx3 c2 c1 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 rx3 c2 ry3 c1 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 rx3 c2 ry3 c3 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 wx2 rx3 ry3 c1 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 rx3 ry3 c1 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 wx2 rx3 ry3 c2 c1 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 wx2 rx3 ry3 c2 c3 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 wx2 rx3 ry3 c3 c1 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 wx2 rx3 ry3 c3 c2 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 rx3 c1 wx2 c2 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 c1 wx2 ry3 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 c1 wx2 ry3 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 c1 ry3 wx2 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 c1 ry3 wx2 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 c1 ry3 c3 wx2 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rxwy1 rx3 wx2 c1 c2 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 wx2 c1 ry3 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 wx2 c1 ry3 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 wx2 c2 c1 ry3 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 wx2 c2 ry3 c1 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 wx2 c2 ry3 c3 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 rx3 wx2 ry3 c1 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 wx2 ry3 c1 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 wx2 ry3 c2 c1 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 wx2 ry3 c2 c3 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 rx3 wx2 ry3 c3 c1 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 wx2 ry3 c3 c2 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 rx3 ry3 c1 wx2 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 ry3 c1 wx2 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 ry3 c1 c3 wx2 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rxwy1 rx3 ry3 wx2 c1 c2 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 ry3 wx2 c1 c3 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 ry3 wx2 c2 c1 c3
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy1 rx3 ry3 wx2 c2 c3 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 rx3 ry3 wx2 c3 c1 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 ry3 wx2 c3 c2 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy1 rx3 ry3 c3 c1 wx2 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rxwy1 rx3 ry3 c3 wx2 c1 c2
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy1 rx3 ry3 c3 wx2 c2 c1
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rxwy1 c1 c2 rx3 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 c1 rx3 c2 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 c1 rx3 ry3 c2 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 c1 rx3 ry3 c3 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rxwy1 c2 c1 rx3 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
3 12-22-2008 4.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 c2 rx3 c1 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 c2 rx3 ry3 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
+step c1: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 c2 rx3 ry3 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: wx2 rxwy1 rx3 c1 c2 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 rx3 c1 ry3 c2 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 rx3 c1 ry3 c3 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rxwy1 rx3 c2 c1 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 rx3 c2 ry3 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 rx3 c2 ry3 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rxwy1 rx3 ry3 c1 c2 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 rx3 ry3 c1 c3 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rxwy1 rx3 ry3 c2 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rxwy1 rx3 ry3 c2 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rxwy1 rx3 ry3 c3 c1 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rxwy1 rx3 ry3 c3 c2 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 c2 rxwy1 c1 rx3 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 c2 rxwy1 rx3 c1 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 c2 rxwy1 rx3 ry3 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 c2 rxwy1 rx3 ry3 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 c2 rx3 rxwy1 c1 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 c2 rx3 rxwy1 ry3 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 c2 rx3 rxwy1 ry3 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 c2 rx3 ry3 rxwy1 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 c2 rx3 ry3 rxwy1 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 c2 rx3 ry3 c3 rxwy1 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-23-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: wx2 rx3 rxwy1 c1 c2 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 rxwy1 c1 ry3 c2 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 rxwy1 c1 ry3 c3 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rx3 rxwy1 c2 c1 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 rxwy1 c2 ry3 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 rxwy1 c2 ry3 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 rxwy1 ry3 c1 c2 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 rxwy1 ry3 c1 c3 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rx3 rxwy1 ry3 c2 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 rxwy1 ry3 c2 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 rxwy1 ry3 c3 c1 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rx3 rxwy1 ry3 c3 c2 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 c2 rxwy1 c1 ry3 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 c2 rxwy1 ry3 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 c2 rxwy1 ry3 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 c2 ry3 rxwy1 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 c2 ry3 rxwy1 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 c2 ry3 c3 rxwy1 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: wx2 rx3 ry3 rxwy1 c1 c2 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 ry3 rxwy1 c1 c3 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rx3 ry3 rxwy1 c2 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 ry3 rxwy1 c2 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 ry3 rxwy1 c3 c1 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rx3 ry3 rxwy1 c3 c2 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 ry3 c2 rxwy1 c1 c3
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx2 rx3 ry3 c2 rxwy1 c3 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 ry3 c2 c3 rxwy1 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: wx2 rx3 ry3 c3 rxwy1 c1 c2
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx2 rx3 ry3 c3 rxwy1 c2 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx2 rx3 ry3 c3 c2 rxwy1 c1
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: rx3 rxwy1 c1 wx2 c2 ry3 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 c1 wx2 ry3 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 c1 wx2 ry3 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 c1 ry3 wx2 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 c1 ry3 wx2 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 c1 ry3 c3 wx2 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rx3 rxwy1 wx2 c1 c2 ry3 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 wx2 c1 ry3 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 wx2 c1 ry3 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 wx2 c2 c1 ry3 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 wx2 c2 ry3 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 wx2 c2 ry3 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 rxwy1 wx2 ry3 c1 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 wx2 ry3 c1 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 wx2 ry3 c2 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 wx2 ry3 c2 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 rxwy1 wx2 ry3 c3 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 wx2 ry3 c3 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 rxwy1 ry3 c1 wx2 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 ry3 c1 wx2 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 ry3 c1 c3 wx2 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rx3 rxwy1 ry3 wx2 c1 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 ry3 wx2 c1 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 ry3 wx2 c2 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 rxwy1 ry3 wx2 c2 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 rxwy1 ry3 wx2 c3 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 ry3 wx2 c3 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 rxwy1 ry3 c3 c1 wx2 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rx3 rxwy1 ry3 c3 wx2 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 rxwy1 ry3 c3 wx2 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 rxwy1 c1 c2 ry3 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 rxwy1 c1 ry3 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 rxwy1 c1 ry3 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 wx2 rxwy1 c2 c1 ry3 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 rxwy1 c2 ry3 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 rxwy1 c2 ry3 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 rxwy1 ry3 c1 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 rxwy1 ry3 c1 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 wx2 rxwy1 ry3 c2 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 rxwy1 ry3 c2 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 rxwy1 ry3 c3 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 wx2 rxwy1 ry3 c3 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 c2 rxwy1 c1 ry3 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 c2 rxwy1 ry3 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 c2 rxwy1 ry3 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 c2 ry3 rxwy1 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 c2 ry3 rxwy1 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 c2 ry3 c3 rxwy1 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: rx3 wx2 ry3 rxwy1 c1 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 ry3 rxwy1 c1 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 wx2 ry3 rxwy1 c2 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 ry3 rxwy1 c2 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 ry3 rxwy1 c3 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 wx2 ry3 rxwy1 c3 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 ry3 c2 rxwy1 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 wx2 ry3 c2 rxwy1 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 ry3 c2 c3 rxwy1 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c2: COMMIT;
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: rx3 wx2 ry3 c3 rxwy1 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 wx2 ry3 c3 rxwy1 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 wx2 ry3 c3 c2 rxwy1 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: rx3 ry3 rxwy1 c1 wx2 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 ry3 rxwy1 c1 wx2 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 rxwy1 c1 c3 wx2 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rx3 ry3 rxwy1 wx2 c1 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 ry3 rxwy1 wx2 c1 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 rxwy1 wx2 c2 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 ry3 rxwy1 wx2 c2 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 rxwy1 wx2 c3 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 rxwy1 wx2 c3 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 rxwy1 c3 c1 wx2 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rx3 ry3 rxwy1 c3 wx2 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 rxwy1 c3 wx2 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 wx2 rxwy1 c1 c2 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 ry3 wx2 rxwy1 c1 c3 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 wx2 rxwy1 c2 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 ry3 wx2 rxwy1 c2 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 wx2 rxwy1 c3 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 wx2 rxwy1 c3 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 wx2 c2 rxwy1 c1 c3
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rx3 ry3 wx2 c2 rxwy1 c3 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c3: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 wx2 c2 c3 rxwy1 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: rx3 ry3 wx2 c3 rxwy1 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 wx2 c3 rxwy1 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 wx2 c3 c2 rxwy1 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c3: COMMIT;
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c3: COMMIT;
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
starting permutation: rx3 ry3 c3 rxwy1 c1 wx2 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
starting permutation: rx3 ry3 c3 rxwy1 wx2 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 c3 rxwy1 wx2 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 c3 wx2 rxwy1 c1 c2
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rx3 ry3 c3 wx2 rxwy1 c2 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rx3 ry3 c3 wx2 c2 rxwy1 c1
-step rx3: SELECT * FROM ctl WHERE k = 'receipt';
+step rx3: SELECT * FROM ctl WHERE k = 'receipt';
k deposit_date
receipt 12-22-2008
-step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
+step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
receipt_no deposit_date amount
1 12-22-2008 1.00
2 12-22-2008 2.00
-step c3: COMMIT;
-step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
-step c2: COMMIT;
-step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
-step c1: COMMIT;
+step c3: COMMIT;
+step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
+step c2: COMMIT;
+step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
+step c1: COMMIT;
Parsed test spec with 3 sessions
starting permutation: wx1 c1 rxwy2 c2 ry3 c3
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
3
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 c1 rxwy2 ry3 c2 c3
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 c1 rxwy2 ry3 c3 c2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 c1 ry3 rxwy2 c2 c3
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 c1 ry3 rxwy2 c3 c2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 c1 ry3 c3 rxwy2 c2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: wx1 rxwy2 c1 c2 ry3 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c1 ry3 c2 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c1 ry3 c3 c2
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: wx1 rxwy2 c2 c1 ry3 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c2 ry3 c1 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c2 ry3 c3 c1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 rxwy2 ry3 c1 c2 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 ry3 c1 c3 c2
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: wx1 rxwy2 ry3 c2 c1 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 ry3 c2 c3 c1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 rxwy2 ry3 c3 c1 c2
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 rxwy2 ry3 c3 c2 c1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 ry3 c1 rxwy2 c2 c3
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 ry3 c1 rxwy2 c3 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 ry3 c1 c3 rxwy2 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: wx1 ry3 rxwy2 c1 c2 c3
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 ry3 rxwy2 c1 c3 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: wx1 ry3 rxwy2 c2 c1 c3
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 ry3 rxwy2 c2 c3 c1
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 ry3 rxwy2 c3 c1 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 ry3 rxwy2 c3 c2 c1
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 ry3 c3 c1 rxwy2 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: wx1 ry3 c3 rxwy2 c1 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 ry3 c3 rxwy2 c2 c1
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 wx1 c1 c2 ry3 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c1 ry3 c2 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c1 ry3 c3 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: rxwy2 wx1 c2 c1 ry3 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c2 ry3 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c2 ry3 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 wx1 ry3 c1 c2 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 ry3 c1 c3 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: rxwy2 wx1 ry3 c2 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 ry3 c2 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 wx1 ry3 c3 c1 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy2 wx1 ry3 c3 c2 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 c2 wx1 c1 ry3 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 c2 wx1 ry3 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
2
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 c2 wx1 ry3 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 c2 ry3 wx1 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 c2 ry3 wx1 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 c2 ry3 c3 wx1 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 wx1 c1 c2 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 ry3 wx1 c1 c3 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: rxwy2 ry3 wx1 c2 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 ry3 wx1 c2 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 wx1 c3 c1 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy2 ry3 wx1 c3 c2 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c2 wx1 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 ry3 c2 wx1 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c2 c3 wx1 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c3 wx1 c1 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy2 ry3 c3 wx1 c2 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c3 c2 wx1 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: ry3 wx1 c1 rxwy2 c2 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 wx1 c1 rxwy2 c3 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 wx1 c1 c3 rxwy2 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: ry3 wx1 rxwy2 c1 c2 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 wx1 rxwy2 c1 c3 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: ry3 wx1 rxwy2 c2 c1 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 wx1 rxwy2 c2 c3 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 wx1 rxwy2 c3 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 wx1 rxwy2 c3 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 wx1 c3 c1 rxwy2 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: ry3 wx1 c3 rxwy2 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 wx1 c3 rxwy2 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 wx1 c1 c2 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 rxwy2 wx1 c1 c3 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: ry3 rxwy2 wx1 c2 c1 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 rxwy2 wx1 c2 c3 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 wx1 c3 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 rxwy2 wx1 c3 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c2 wx1 c1 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 rxwy2 c2 wx1 c3 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c2 c3 wx1 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c3 wx1 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 rxwy2 c3 wx1 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c3 c2 wx1 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: ry3 c3 wx1 c1 rxwy2 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: ry3 c3 wx1 rxwy2 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 c3 wx1 rxwy2 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 c3 rxwy2 wx1 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 c3 rxwy2 wx1 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 c3 rxwy2 c2 wx1 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
projects / postgresql / commitdiff