diff options
Diffstat (limited to 'src/test/isolation/expected/receipt-report.out')
| -rw-r--r-- | src/test/isolation/expected/receipt-report.out | 2940 |
1 files changed, 1470 insertions, 1470 deletions
diff --git a/src/test/isolation/expected/receipt-report.out b/src/test/isolation/expected/receipt-report.out index bcab10ea959..bc68d676a01 100644 --- a/src/test/isolation/expected/receipt-report.out +++ b/src/test/isolation/expected/receipt-report.out @@ -1,3379 +1,3379 @@ 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; |