*** /home/postgres/pgreleases/postgresql/src/test/isolation/expected/receipt-report.out	2013-04-04 11:20:41.000000000 -0500
--- /home/postgres/pgreleases/postgresql/src/test/isolation/results/receipt-report.out	2013-04-06 13:09:57.000000000 -0500
***************
*** 1501,3379 ****
  step ry3: SELECT * FROM receipt WHERE 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;
  
  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';
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- 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';
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- 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';
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- 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';
- 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';
- 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;
- 
- 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';
- 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';
- 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;
- 
- 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';
- 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';
- 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;
- 
- 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';
- 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';
- 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;
- 
- 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';
- 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';
- 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;
- 
- 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';
- 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';
- 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;
- 
- 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';
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- 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';
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- 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';
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- 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';
- k              deposit_date   
- 
- receipt        12-22-2008     
- step ry3: SELECT * FROM receipt WHERE 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;
- 
- starting permutation: rx3 rxwy1 c1 wx2 c2 ry3 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- 
- starting permutation: rx3 rxwy1 c1 wx2 ry3 c2 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c2: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: rx3 rxwy1 c1 wx2 ry3 c3 c2
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: rx3 rxwy1 c1 ry3 wx2 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 c1 ry3 wx2 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 c1 ry3 c3 wx2 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 wx2 c1 c2 ry3 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- 
- starting permutation: rx3 rxwy1 wx2 c1 ry3 c2 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c2: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: rx3 rxwy1 wx2 c1 ry3 c3 c2
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: rx3 rxwy1 wx2 c2 c1 ry3 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- 
- starting permutation: rx3 rxwy1 wx2 c2 ry3 c1 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c1: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: rx3 rxwy1 wx2 c2 ry3 c3 c1
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: rx3 rxwy1 wx2 ry3 c1 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 wx2 ry3 c1 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 wx2 ry3 c2 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 wx2 ry3 c2 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 wx2 ry3 c3 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 wx2 ry3 c3 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 c1 wx2 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 c1 wx2 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 c1 c3 wx2 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 wx2 c1 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 wx2 c1 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 wx2 c2 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 wx2 c2 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 wx2 c3 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 wx2 c3 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 c3 c1 wx2 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 c3 wx2 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 rxwy1 ry3 c3 wx2 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 rxwy1 c1 c2 ry3 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- 
- starting permutation: rx3 wx2 rxwy1 c1 ry3 c2 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c2: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: rx3 wx2 rxwy1 c1 ry3 c3 c2
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: rx3 wx2 rxwy1 c2 c1 ry3 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- 
- starting permutation: rx3 wx2 rxwy1 c2 ry3 c1 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c1: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: rx3 wx2 rxwy1 c2 ry3 c3 c1
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: rx3 wx2 rxwy1 ry3 c1 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 wx2 rxwy1 ry3 c1 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 wx2 rxwy1 ry3 c2 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 wx2 rxwy1 ry3 c2 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 rxwy1 ry3 c3 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 wx2 rxwy1 ry3 c3 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 c2 rxwy1 c1 ry3 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- 
- starting permutation: rx3 wx2 c2 rxwy1 ry3 c1 c3
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c1: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: rx3 wx2 c2 rxwy1 ry3 c3 c1
- 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';
- receipt_no     deposit_date   amount         
- 
- 1              12-22-2008     1.00           
- 2              12-22-2008     2.00           
- step c3: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: rx3 wx2 c2 ry3 rxwy1 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 wx2 c2 ry3 rxwy1 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 c2 ry3 c3 rxwy1 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 rxwy1 c1 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 rxwy1 c1 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 rxwy1 c2 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 rxwy1 c2 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 rxwy1 c3 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 rxwy1 c3 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 c2 rxwy1 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 c2 rxwy1 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 c2 c3 rxwy1 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 c3 rxwy1 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 c3 rxwy1 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 wx2 ry3 c3 c2 rxwy1 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 c1 wx2 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 c1 wx2 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 c1 c3 wx2 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 wx2 c1 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 wx2 c1 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 wx2 c2 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 wx2 c2 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 wx2 c3 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 wx2 c3 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 c3 c1 wx2 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 c3 wx2 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 rxwy1 c3 wx2 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 rxwy1 c1 c2 c3
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 rxwy1 c1 c3 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 rxwy1 c2 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 rxwy1 c2 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 rxwy1 c3 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 rxwy1 c3 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 c2 rxwy1 c1 c3
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 c2 rxwy1 c3 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 c2 c3 rxwy1 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 c3 rxwy1 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 c3 rxwy1 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 wx2 c3 c2 rxwy1 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 c3 rxwy1 c1 wx2 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 c3 rxwy1 wx2 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 c3 rxwy1 wx2 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 c3 wx2 rxwy1 c1 c2
- 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';
- 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;
- 
- starting permutation: rx3 ry3 c3 wx2 rxwy1 c2 c1
- 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';
- 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;
- 
- starting permutation: rx3 ry3 c3 wx2 c2 rxwy1 c1
- 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';
- 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;
--- 1501,1510 ----
  step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
  receipt_no     deposit_date   amount         
  
! 1              12-22select failed: Interrupted system call
! -2008     1.00           
  2              12-22-2008     2.00           
  step c3: COMMIT;
  step c2: COMMIT;
  
  starting permutation: wx2 rx3 rxwy1 c2 c1 ry3 c3

======================================================================

*** /home/postgres/pgreleases/postgresql/src/test/isolation/expected/two-ids.out	2013-04-04 11:20:41.000000000 -0500
--- /home/postgres/pgreleases/postgresql/src/test/isolation/results/two-ids.out	2013-04-06 13:10:46.000000000 -0500
***************
*** 509,515 ****
  step rxwy2: update D2 set id = (select id+1 from D1);
  step c2: COMMIT;
  step ry3: select id from D2;
! id             
  
  2              
  step wx1: update D1 set id = id + 1;
--- 509,516 ----
  step rxwy2: update D2 set id = (select id+1 from D1);
  step c2: COMMIT;
  step ry3: select id from D2;
! id       select failed: Interrupted system call
!       
  
  2              
  step wx1: update D1 set id = id + 1;
***************
*** 669,1007 ****
  1              
  step c3: COMMIT;
  step c2: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- 
- starting permutation: ry3 wx1 c1 rxwy2 c2 c3
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: ry3 wx1 c1 rxwy2 c3 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c3: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: ry3 wx1 c1 c3 rxwy2 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step c3: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- 
- starting permutation: ry3 wx1 rxwy2 c1 c2 c3
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c1: COMMIT;
- step c2: COMMIT;
- ERROR:  could not serialize access due to read/write dependencies among transactions
- step c3: COMMIT;
- 
- starting permutation: ry3 wx1 rxwy2 c1 c3 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c1: COMMIT;
- step c3: COMMIT;
- step c2: COMMIT;
- ERROR:  could not serialize access due to read/write dependencies among transactions
- 
- starting permutation: ry3 wx1 rxwy2 c2 c1 c3
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step c1: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: ry3 wx1 rxwy2 c2 c3 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step c3: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 wx1 rxwy2 c3 c1 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c3: COMMIT;
- step c1: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: ry3 wx1 rxwy2 c3 c2 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c3: COMMIT;
- step c2: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 wx1 c3 c1 rxwy2 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step c3: COMMIT;
- step c1: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- 
- starting permutation: ry3 wx1 c3 rxwy2 c1 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step c3: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c1: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: ry3 wx1 c3 rxwy2 c2 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step wx1: update D1 set id = id + 1;
- step c3: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 rxwy2 wx1 c1 c2 c3
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step c2: COMMIT;
- ERROR:  could not serialize access due to read/write dependencies among transactions
- step c3: COMMIT;
- 
- starting permutation: ry3 rxwy2 wx1 c1 c3 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step c3: COMMIT;
- step c2: COMMIT;
- ERROR:  could not serialize access due to read/write dependencies among transactions
- 
- starting permutation: ry3 rxwy2 wx1 c2 c1 c3
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c2: COMMIT;
- step c1: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: ry3 rxwy2 wx1 c2 c3 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c2: COMMIT;
- step c3: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 rxwy2 wx1 c3 c1 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c3: COMMIT;
- step c1: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: ry3 rxwy2 wx1 c3 c2 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c3: COMMIT;
- step c2: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 rxwy2 c2 wx1 c1 c3
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step c3: COMMIT;
- 
- starting permutation: ry3 rxwy2 c2 wx1 c3 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c3: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 rxwy2 c2 c3 wx1 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step c3: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- 
- starting permutation: ry3 rxwy2 c3 wx1 c1 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c3: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: ry3 rxwy2 c3 wx1 c2 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c3: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c2: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 rxwy2 c3 c2 wx1 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c3: COMMIT;
- step c2: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- 
- starting permutation: ry3 c3 wx1 c1 rxwy2 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step c3: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- 
- starting permutation: ry3 c3 wx1 rxwy2 c1 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step c3: COMMIT;
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c1: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: ry3 c3 wx1 rxwy2 c2 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step c3: COMMIT;
- step wx1: update D1 set id = id + 1;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 c3 rxwy2 wx1 c1 c2
- step ry3: select id from D2;
- id             
- 
- 1              
- step c3: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
- step c2: COMMIT;
- 
- starting permutation: ry3 c3 rxwy2 wx1 c2 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step c3: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step wx1: update D1 set id = id + 1;
- step c2: COMMIT;
- step c1: COMMIT;
- 
- starting permutation: ry3 c3 rxwy2 c2 wx1 c1
- step ry3: select id from D2;
- id             
- 
- 1              
- step c3: COMMIT;
- step rxwy2: update D2 set id = (select id+1 from D1);
- step c2: COMMIT;
- step wx1: update D1 set id = id + 1;
- step c1: COMMIT;
--- 670,672 ----

======================================================================

*** /home/postgres/pgreleases/postgresql/src/test/isolation/expected/delete-abort-savept-2.out	2013-04-04 11:20:41.000000000 -0500
--- /home/postgres/pgreleases/postgresql/src/test/isolation/results/delete-abort-savept-2.out	2013-04-06 13:11:30.000000000 -0500
***************
*** 1,3 ****
--- 1,4 ----
+ select failed: Interrupted system call
  Parsed test spec with 2 sessions
  
  starting permutation: s1l s1svp s1d s1r s2l s1c s2c
***************
*** 54,76 ****
  
  1              1              
  step s1c: COMMIT;
- step s2c: COMMIT;
- 
- starting permutation: s1l s1svp s1d s2l2 s1r s1c s2c
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1svp: SAVEPOINT f;
- step s1d: SELECT * FROM foo FOR NO KEY UPDATE;
- key            value          
- 
- 1              1              
- step s2l2: SELECT * FROM foo FOR NO KEY UPDATE; <waiting ...>
- step s1r: ROLLBACK TO f;
- step s2l2: <... completed>
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- step s2c: COMMIT;
--- 55,57 ----

======================================================================

*** /home/postgres/pgreleases/postgresql/src/test/isolation/expected/aborted-keyrevoke.out	2013-04-04 11:20:41.000000000 -0500
--- /home/postgres/pgreleases/postgresql/src/test/isolation/results/aborted-keyrevoke.out	2013-04-06 13:11:30.000000000 -0500
***************
*** 1,276 ****
  Parsed test spec with 2 sessions
  
  starting permutation: s1s s1u s1r s1l s1c s2l s2c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- 
- starting permutation: s1s s1u s1r s1l s2l s1c s2c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- step s2c: COMMIT;
- 
- starting permutation: s1s s1u s1r s1l s2l s2c s1c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- step s1c: COMMIT;
- 
- starting permutation: s1s s1u s1r s2l s1l s1c s2c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- step s2c: COMMIT;
- 
- starting permutation: s1s s1u s1r s2l s1l s2c s1c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- step s1c: COMMIT;
- 
- starting permutation: s1s s1u s1r s2l s2c s1l s1c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- 
- starting permutation: s1s s1u s2l s1r s1l s1c s2c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
- step s1r: ROLLBACK TO f;
- step s2l: <... completed>
- key            value          
- 
- 1              1              
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- step s2c: COMMIT;
- 
- starting permutation: s1s s1u s2l s1r s1l s2c s1c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
- step s1r: ROLLBACK TO f;
- step s2l: <... completed>
- key            value          
- 
- 1              1              
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- step s1c: COMMIT;
- 
- starting permutation: s1s s1u s2l s1r s2c s1l s1c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
- step s1r: ROLLBACK TO f;
- step s2l: <... completed>
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- 
- starting permutation: s1s s1u s2l s2c s1r s1l s1c
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
- invalid permutation detected
- 
- starting permutation: s1s s2l s1u s1r s1l s1c s2c
- step s1s: SAVEPOINT f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- invalid permutation detected
- 
- starting permutation: s1s s2l s1u s1r s1l s2c s1c
- step s1s: SAVEPOINT f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- invalid permutation detected
- 
- starting permutation: s1s s2l s1u s1r s2c s1l s1c
- step s1s: SAVEPOINT f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- invalid permutation detected
- 
- starting permutation: s1s s2l s1u s2c s1r s1l s1c
- step s1s: SAVEPOINT f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- step s2c: COMMIT;
- step s1u: <... completed>
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- 
- starting permutation: s1s s2l s2c s1u s1r s1l s1c
- step s1s: SAVEPOINT f;
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- 
- starting permutation: s2l s1s s1u s1r s1l s1c s2c
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- invalid permutation detected
- 
- starting permutation: s2l s1s s1u s1r s1l s2c s1c
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- invalid permutation detected
- 
- starting permutation: s2l s1s s1u s1r s2c s1l s1c
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- invalid permutation detected
- 
- starting permutation: s2l s1s s1u s2c s1r s1l s1c
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2; <waiting ...>
- step s2c: COMMIT;
- step s1u: <... completed>
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- 
- starting permutation: s2l s1s s2c s1u s1r s1l s1c
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1s: SAVEPOINT f;
- step s2c: COMMIT;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
- 
- starting permutation: s2l s2c s1s s1u s1r s1l s1c
- step s2l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s2c: COMMIT;
- step s1s: SAVEPOINT f;
- step s1u: UPDATE foo SET key = 2;
- step s1r: ROLLBACK TO f;
- step s1l: SELECT * FROM foo FOR KEY SHARE;
- key            value          
- 
- 1              1              
- step s1c: COMMIT;
--- 1,4 ----
+ setup failed: ERROR:  relation "foo" already exists
  Parsed test spec with 2 sessions
  
  starting permutation: s1s s1u s1r s1l s1c s2l s2c

======================================================================

