1Parsed test spec with 3 sessions
2
3starting permutation: rxwy1 c1 wx2 c2 rx3 ry3 c3
4step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
5step c1: COMMIT;
6step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
7step c2: COMMIT;
8step rx3: SELECT * FROM ctl WHERE k = 'receipt';
9k      |deposit_date
10-------+------------
11receipt|  12-23-2008
12(1 row)
13
14step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
15receipt_no|deposit_date|amount
16----------+------------+------
17         1|  12-22-2008|  1.00
18         2|  12-22-2008|  2.00
19         3|  12-22-2008|  4.00
20(3 rows)
21
22step c3: COMMIT;
23
24starting permutation: rxwy1 c1 wx2 rx3 c2 ry3 c3
25step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
26step c1: COMMIT;
27step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
28step rx3: SELECT * FROM ctl WHERE k = 'receipt';
29k      |deposit_date
30-------+------------
31receipt|  12-22-2008
32(1 row)
33
34step c2: COMMIT;
35step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
36receipt_no|deposit_date|amount
37----------+------------+------
38         1|  12-22-2008|  1.00
39         2|  12-22-2008|  2.00
40         3|  12-22-2008|  4.00
41(3 rows)
42
43step c3: COMMIT;
44
45starting permutation: rxwy1 c1 wx2 rx3 ry3 c2 c3
46step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
47step c1: COMMIT;
48step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
49step rx3: SELECT * FROM ctl WHERE k = 'receipt';
50k      |deposit_date
51-------+------------
52receipt|  12-22-2008
53(1 row)
54
55step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
56receipt_no|deposit_date|amount
57----------+------------+------
58         1|  12-22-2008|  1.00
59         2|  12-22-2008|  2.00
60         3|  12-22-2008|  4.00
61(3 rows)
62
63step c2: COMMIT;
64step c3: COMMIT;
65
66starting permutation: rxwy1 c1 wx2 rx3 ry3 c3 c2
67step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
68step c1: COMMIT;
69step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
70step rx3: SELECT * FROM ctl WHERE k = 'receipt';
71k      |deposit_date
72-------+------------
73receipt|  12-22-2008
74(1 row)
75
76step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
77receipt_no|deposit_date|amount
78----------+------------+------
79         1|  12-22-2008|  1.00
80         2|  12-22-2008|  2.00
81         3|  12-22-2008|  4.00
82(3 rows)
83
84step c3: COMMIT;
85step c2: COMMIT;
86
87starting permutation: rxwy1 c1 rx3 wx2 c2 ry3 c3
88step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
89step c1: COMMIT;
90step rx3: SELECT * FROM ctl WHERE k = 'receipt';
91k      |deposit_date
92-------+------------
93receipt|  12-22-2008
94(1 row)
95
96step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
97step c2: COMMIT;
98step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
99receipt_no|deposit_date|amount
100----------+------------+------
101         1|  12-22-2008|  1.00
102         2|  12-22-2008|  2.00
103         3|  12-22-2008|  4.00
104(3 rows)
105
106step c3: COMMIT;
107
108starting permutation: rxwy1 c1 rx3 wx2 ry3 c2 c3
109step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
110step c1: COMMIT;
111step rx3: SELECT * FROM ctl WHERE k = 'receipt';
112k      |deposit_date
113-------+------------
114receipt|  12-22-2008
115(1 row)
116
117step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
118step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
119receipt_no|deposit_date|amount
120----------+------------+------
121         1|  12-22-2008|  1.00
122         2|  12-22-2008|  2.00
123         3|  12-22-2008|  4.00
124(3 rows)
125
126step c2: COMMIT;
127step c3: COMMIT;
128
129starting permutation: rxwy1 c1 rx3 wx2 ry3 c3 c2
130step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
131step c1: COMMIT;
132step rx3: SELECT * FROM ctl WHERE k = 'receipt';
133k      |deposit_date
134-------+------------
135receipt|  12-22-2008
136(1 row)
137
138step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
139step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
140receipt_no|deposit_date|amount
141----------+------------+------
142         1|  12-22-2008|  1.00
143         2|  12-22-2008|  2.00
144         3|  12-22-2008|  4.00
145(3 rows)
146
147step c3: COMMIT;
148step c2: COMMIT;
149
150starting permutation: rxwy1 c1 rx3 ry3 wx2 c2 c3
151step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
152step c1: COMMIT;
153step rx3: SELECT * FROM ctl WHERE k = 'receipt';
154k      |deposit_date
155-------+------------
156receipt|  12-22-2008
157(1 row)
158
159step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
160receipt_no|deposit_date|amount
161----------+------------+------
162         1|  12-22-2008|  1.00
163         2|  12-22-2008|  2.00
164         3|  12-22-2008|  4.00
165(3 rows)
166
167step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
168step c2: COMMIT;
169step c3: COMMIT;
170
171starting permutation: rxwy1 c1 rx3 ry3 wx2 c3 c2
172step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
173step c1: COMMIT;
174step rx3: SELECT * FROM ctl WHERE k = 'receipt';
175k      |deposit_date
176-------+------------
177receipt|  12-22-2008
178(1 row)
179
180step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
181receipt_no|deposit_date|amount
182----------+------------+------
183         1|  12-22-2008|  1.00
184         2|  12-22-2008|  2.00
185         3|  12-22-2008|  4.00
186(3 rows)
187
188step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
189step c3: COMMIT;
190step c2: COMMIT;
191
192starting permutation: rxwy1 c1 rx3 ry3 c3 wx2 c2
193step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
194step c1: COMMIT;
195step rx3: SELECT * FROM ctl WHERE k = 'receipt';
196k      |deposit_date
197-------+------------
198receipt|  12-22-2008
199(1 row)
200
201step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
202receipt_no|deposit_date|amount
203----------+------------+------
204         1|  12-22-2008|  1.00
205         2|  12-22-2008|  2.00
206         3|  12-22-2008|  4.00
207(3 rows)
208
209step c3: COMMIT;
210step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
211step c2: COMMIT;
212
213starting permutation: rxwy1 wx2 c1 c2 rx3 ry3 c3
214step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
215step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
216step c1: COMMIT;
217step c2: COMMIT;
218step rx3: SELECT * FROM ctl WHERE k = 'receipt';
219k      |deposit_date
220-------+------------
221receipt|  12-23-2008
222(1 row)
223
224step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
225receipt_no|deposit_date|amount
226----------+------------+------
227         1|  12-22-2008|  1.00
228         2|  12-22-2008|  2.00
229         3|  12-22-2008|  4.00
230(3 rows)
231
232step c3: COMMIT;
233
234starting permutation: rxwy1 wx2 c1 rx3 c2 ry3 c3
235step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
236step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
237step c1: COMMIT;
238step rx3: SELECT * FROM ctl WHERE k = 'receipt';
239k      |deposit_date
240-------+------------
241receipt|  12-22-2008
242(1 row)
243
244step c2: COMMIT;
245step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
246receipt_no|deposit_date|amount
247----------+------------+------
248         1|  12-22-2008|  1.00
249         2|  12-22-2008|  2.00
250         3|  12-22-2008|  4.00
251(3 rows)
252
253step c3: COMMIT;
254
255starting permutation: rxwy1 wx2 c1 rx3 ry3 c2 c3
256step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
257step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
258step c1: COMMIT;
259step rx3: SELECT * FROM ctl WHERE k = 'receipt';
260k      |deposit_date
261-------+------------
262receipt|  12-22-2008
263(1 row)
264
265step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
266receipt_no|deposit_date|amount
267----------+------------+------
268         1|  12-22-2008|  1.00
269         2|  12-22-2008|  2.00
270         3|  12-22-2008|  4.00
271(3 rows)
272
273step c2: COMMIT;
274step c3: COMMIT;
275
276starting permutation: rxwy1 wx2 c1 rx3 ry3 c3 c2
277step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
278step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
279step c1: COMMIT;
280step rx3: SELECT * FROM ctl WHERE k = 'receipt';
281k      |deposit_date
282-------+------------
283receipt|  12-22-2008
284(1 row)
285
286step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
287receipt_no|deposit_date|amount
288----------+------------+------
289         1|  12-22-2008|  1.00
290         2|  12-22-2008|  2.00
291         3|  12-22-2008|  4.00
292(3 rows)
293
294step c3: COMMIT;
295step c2: COMMIT;
296
297starting permutation: rxwy1 wx2 c2 c1 rx3 ry3 c3
298step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
299step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
300step c2: COMMIT;
301step c1: COMMIT;
302step rx3: SELECT * FROM ctl WHERE k = 'receipt';
303k      |deposit_date
304-------+------------
305receipt|  12-23-2008
306(1 row)
307
308step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
309receipt_no|deposit_date|amount
310----------+------------+------
311         1|  12-22-2008|  1.00
312         2|  12-22-2008|  2.00
313         3|  12-22-2008|  4.00
314(3 rows)
315
316step c3: COMMIT;
317
318starting permutation: rxwy1 wx2 c2 rx3 c1 ry3 c3
319step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
320step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
321step c2: COMMIT;
322step rx3: SELECT * FROM ctl WHERE k = 'receipt';
323k      |deposit_date
324-------+------------
325receipt|  12-23-2008
326(1 row)
327
328step c1: COMMIT;
329step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
330ERROR:  could not serialize access due to read/write dependencies among transactions
331step c3: COMMIT;
332
333starting permutation: rxwy1 wx2 c2 rx3 ry3 c1 c3
334step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
335step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
336step c2: COMMIT;
337step rx3: SELECT * FROM ctl WHERE k = 'receipt';
338k      |deposit_date
339-------+------------
340receipt|  12-23-2008
341(1 row)
342
343step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
344receipt_no|deposit_date|amount
345----------+------------+------
346         1|  12-22-2008|  1.00
347         2|  12-22-2008|  2.00
348(2 rows)
349
350step c1: COMMIT;
351ERROR:  could not serialize access due to read/write dependencies among transactions
352step c3: COMMIT;
353
354starting permutation: rxwy1 wx2 c2 rx3 ry3 c3 c1
355step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
356step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
357step c2: COMMIT;
358step rx3: SELECT * FROM ctl WHERE k = 'receipt';
359k      |deposit_date
360-------+------------
361receipt|  12-23-2008
362(1 row)
363
364step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
365receipt_no|deposit_date|amount
366----------+------------+------
367         1|  12-22-2008|  1.00
368         2|  12-22-2008|  2.00
369(2 rows)
370
371step c3: COMMIT;
372step c1: COMMIT;
373ERROR:  could not serialize access due to read/write dependencies among transactions
374
375starting permutation: rxwy1 wx2 rx3 c1 c2 ry3 c3
376step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
377step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
378step rx3: SELECT * FROM ctl WHERE k = 'receipt';
379k      |deposit_date
380-------+------------
381receipt|  12-22-2008
382(1 row)
383
384step c1: COMMIT;
385step c2: COMMIT;
386step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
387receipt_no|deposit_date|amount
388----------+------------+------
389         1|  12-22-2008|  1.00
390         2|  12-22-2008|  2.00
391(2 rows)
392
393step c3: COMMIT;
394
395starting permutation: rxwy1 wx2 rx3 c1 ry3 c2 c3
396step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
397step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
398step rx3: SELECT * FROM ctl WHERE k = 'receipt';
399k      |deposit_date
400-------+------------
401receipt|  12-22-2008
402(1 row)
403
404step c1: COMMIT;
405step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
406receipt_no|deposit_date|amount
407----------+------------+------
408         1|  12-22-2008|  1.00
409         2|  12-22-2008|  2.00
410(2 rows)
411
412step c2: COMMIT;
413step c3: COMMIT;
414
415starting permutation: rxwy1 wx2 rx3 c1 ry3 c3 c2
416step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
417step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
418step rx3: SELECT * FROM ctl WHERE k = 'receipt';
419k      |deposit_date
420-------+------------
421receipt|  12-22-2008
422(1 row)
423
424step c1: COMMIT;
425step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
426receipt_no|deposit_date|amount
427----------+------------+------
428         1|  12-22-2008|  1.00
429         2|  12-22-2008|  2.00
430(2 rows)
431
432step c3: COMMIT;
433step c2: COMMIT;
434
435starting permutation: rxwy1 wx2 rx3 c2 c1 ry3 c3
436step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
437step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
438step rx3: SELECT * FROM ctl WHERE k = 'receipt';
439k      |deposit_date
440-------+------------
441receipt|  12-22-2008
442(1 row)
443
444step c2: COMMIT;
445step c1: COMMIT;
446step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
447receipt_no|deposit_date|amount
448----------+------------+------
449         1|  12-22-2008|  1.00
450         2|  12-22-2008|  2.00
451(2 rows)
452
453step c3: COMMIT;
454
455starting permutation: rxwy1 wx2 rx3 c2 ry3 c1 c3
456step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
457step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
458step rx3: SELECT * FROM ctl WHERE k = 'receipt';
459k      |deposit_date
460-------+------------
461receipt|  12-22-2008
462(1 row)
463
464step c2: COMMIT;
465step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
466receipt_no|deposit_date|amount
467----------+------------+------
468         1|  12-22-2008|  1.00
469         2|  12-22-2008|  2.00
470(2 rows)
471
472step c1: COMMIT;
473step c3: COMMIT;
474
475starting permutation: rxwy1 wx2 rx3 c2 ry3 c3 c1
476step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
477step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
478step rx3: SELECT * FROM ctl WHERE k = 'receipt';
479k      |deposit_date
480-------+------------
481receipt|  12-22-2008
482(1 row)
483
484step c2: COMMIT;
485step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
486receipt_no|deposit_date|amount
487----------+------------+------
488         1|  12-22-2008|  1.00
489         2|  12-22-2008|  2.00
490(2 rows)
491
492step c3: COMMIT;
493step c1: COMMIT;
494
495starting permutation: rxwy1 wx2 rx3 ry3 c1 c2 c3
496step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
497step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
498step rx3: SELECT * FROM ctl WHERE k = 'receipt';
499k      |deposit_date
500-------+------------
501receipt|  12-22-2008
502(1 row)
503
504step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
505receipt_no|deposit_date|amount
506----------+------------+------
507         1|  12-22-2008|  1.00
508         2|  12-22-2008|  2.00
509(2 rows)
510
511step c1: COMMIT;
512step c2: COMMIT;
513step c3: COMMIT;
514
515starting permutation: rxwy1 wx2 rx3 ry3 c1 c3 c2
516step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
517step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
518step rx3: SELECT * FROM ctl WHERE k = 'receipt';
519k      |deposit_date
520-------+------------
521receipt|  12-22-2008
522(1 row)
523
524step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
525receipt_no|deposit_date|amount
526----------+------------+------
527         1|  12-22-2008|  1.00
528         2|  12-22-2008|  2.00
529(2 rows)
530
531step c1: COMMIT;
532step c3: COMMIT;
533step c2: COMMIT;
534
535starting permutation: rxwy1 wx2 rx3 ry3 c2 c1 c3
536step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
537step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
538step rx3: SELECT * FROM ctl WHERE k = 'receipt';
539k      |deposit_date
540-------+------------
541receipt|  12-22-2008
542(1 row)
543
544step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
545receipt_no|deposit_date|amount
546----------+------------+------
547         1|  12-22-2008|  1.00
548         2|  12-22-2008|  2.00
549(2 rows)
550
551step c2: COMMIT;
552step c1: COMMIT;
553step c3: COMMIT;
554
555starting permutation: rxwy1 wx2 rx3 ry3 c2 c3 c1
556step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
557step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
558step rx3: SELECT * FROM ctl WHERE k = 'receipt';
559k      |deposit_date
560-------+------------
561receipt|  12-22-2008
562(1 row)
563
564step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
565receipt_no|deposit_date|amount
566----------+------------+------
567         1|  12-22-2008|  1.00
568         2|  12-22-2008|  2.00
569(2 rows)
570
571step c2: COMMIT;
572step c3: COMMIT;
573step c1: COMMIT;
574
575starting permutation: rxwy1 wx2 rx3 ry3 c3 c1 c2
576step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
577step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
578step rx3: SELECT * FROM ctl WHERE k = 'receipt';
579k      |deposit_date
580-------+------------
581receipt|  12-22-2008
582(1 row)
583
584step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
585receipt_no|deposit_date|amount
586----------+------------+------
587         1|  12-22-2008|  1.00
588         2|  12-22-2008|  2.00
589(2 rows)
590
591step c3: COMMIT;
592step c1: COMMIT;
593step c2: COMMIT;
594
595starting permutation: rxwy1 wx2 rx3 ry3 c3 c2 c1
596step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
597step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
598step rx3: SELECT * FROM ctl WHERE k = 'receipt';
599k      |deposit_date
600-------+------------
601receipt|  12-22-2008
602(1 row)
603
604step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
605receipt_no|deposit_date|amount
606----------+------------+------
607         1|  12-22-2008|  1.00
608         2|  12-22-2008|  2.00
609(2 rows)
610
611step c3: COMMIT;
612step c2: COMMIT;
613step c1: COMMIT;
614
615starting permutation: rxwy1 rx3 c1 wx2 c2 ry3 c3
616step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
617step rx3: SELECT * FROM ctl WHERE k = 'receipt';
618k      |deposit_date
619-------+------------
620receipt|  12-22-2008
621(1 row)
622
623step c1: COMMIT;
624step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
625step c2: COMMIT;
626step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
627receipt_no|deposit_date|amount
628----------+------------+------
629         1|  12-22-2008|  1.00
630         2|  12-22-2008|  2.00
631(2 rows)
632
633step c3: COMMIT;
634
635starting permutation: rxwy1 rx3 c1 wx2 ry3 c2 c3
636step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
637step rx3: SELECT * FROM ctl WHERE k = 'receipt';
638k      |deposit_date
639-------+------------
640receipt|  12-22-2008
641(1 row)
642
643step c1: COMMIT;
644step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
645step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
646receipt_no|deposit_date|amount
647----------+------------+------
648         1|  12-22-2008|  1.00
649         2|  12-22-2008|  2.00
650(2 rows)
651
652step c2: COMMIT;
653step c3: COMMIT;
654
655starting permutation: rxwy1 rx3 c1 wx2 ry3 c3 c2
656step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
657step rx3: SELECT * FROM ctl WHERE k = 'receipt';
658k      |deposit_date
659-------+------------
660receipt|  12-22-2008
661(1 row)
662
663step c1: COMMIT;
664step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
665step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
666receipt_no|deposit_date|amount
667----------+------------+------
668         1|  12-22-2008|  1.00
669         2|  12-22-2008|  2.00
670(2 rows)
671
672step c3: COMMIT;
673step c2: COMMIT;
674
675starting permutation: rxwy1 rx3 c1 ry3 wx2 c2 c3
676step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
677step rx3: SELECT * FROM ctl WHERE k = 'receipt';
678k      |deposit_date
679-------+------------
680receipt|  12-22-2008
681(1 row)
682
683step c1: COMMIT;
684step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
685receipt_no|deposit_date|amount
686----------+------------+------
687         1|  12-22-2008|  1.00
688         2|  12-22-2008|  2.00
689(2 rows)
690
691step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
692step c2: COMMIT;
693step c3: COMMIT;
694
695starting permutation: rxwy1 rx3 c1 ry3 wx2 c3 c2
696step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
697step rx3: SELECT * FROM ctl WHERE k = 'receipt';
698k      |deposit_date
699-------+------------
700receipt|  12-22-2008
701(1 row)
702
703step c1: COMMIT;
704step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
705receipt_no|deposit_date|amount
706----------+------------+------
707         1|  12-22-2008|  1.00
708         2|  12-22-2008|  2.00
709(2 rows)
710
711step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
712step c3: COMMIT;
713step c2: COMMIT;
714
715starting permutation: rxwy1 rx3 c1 ry3 c3 wx2 c2
716step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
717step rx3: SELECT * FROM ctl WHERE k = 'receipt';
718k      |deposit_date
719-------+------------
720receipt|  12-22-2008
721(1 row)
722
723step c1: COMMIT;
724step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
725receipt_no|deposit_date|amount
726----------+------------+------
727         1|  12-22-2008|  1.00
728         2|  12-22-2008|  2.00
729(2 rows)
730
731step c3: COMMIT;
732step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
733step c2: COMMIT;
734
735starting permutation: rxwy1 rx3 wx2 c1 c2 ry3 c3
736step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
737step rx3: SELECT * FROM ctl WHERE k = 'receipt';
738k      |deposit_date
739-------+------------
740receipt|  12-22-2008
741(1 row)
742
743step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
744step c1: COMMIT;
745step c2: COMMIT;
746step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
747receipt_no|deposit_date|amount
748----------+------------+------
749         1|  12-22-2008|  1.00
750         2|  12-22-2008|  2.00
751(2 rows)
752
753step c3: COMMIT;
754
755starting permutation: rxwy1 rx3 wx2 c1 ry3 c2 c3
756step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
757step rx3: SELECT * FROM ctl WHERE k = 'receipt';
758k      |deposit_date
759-------+------------
760receipt|  12-22-2008
761(1 row)
762
763step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
764step c1: COMMIT;
765step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
766receipt_no|deposit_date|amount
767----------+------------+------
768         1|  12-22-2008|  1.00
769         2|  12-22-2008|  2.00
770(2 rows)
771
772step c2: COMMIT;
773step c3: COMMIT;
774
775starting permutation: rxwy1 rx3 wx2 c1 ry3 c3 c2
776step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
777step rx3: SELECT * FROM ctl WHERE k = 'receipt';
778k      |deposit_date
779-------+------------
780receipt|  12-22-2008
781(1 row)
782
783step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
784step c1: COMMIT;
785step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
786receipt_no|deposit_date|amount
787----------+------------+------
788         1|  12-22-2008|  1.00
789         2|  12-22-2008|  2.00
790(2 rows)
791
792step c3: COMMIT;
793step c2: COMMIT;
794
795starting permutation: rxwy1 rx3 wx2 c2 c1 ry3 c3
796step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
797step rx3: SELECT * FROM ctl WHERE k = 'receipt';
798k      |deposit_date
799-------+------------
800receipt|  12-22-2008
801(1 row)
802
803step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
804step c2: COMMIT;
805step c1: COMMIT;
806step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
807receipt_no|deposit_date|amount
808----------+------------+------
809         1|  12-22-2008|  1.00
810         2|  12-22-2008|  2.00
811(2 rows)
812
813step c3: COMMIT;
814
815starting permutation: rxwy1 rx3 wx2 c2 ry3 c1 c3
816step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
817step rx3: SELECT * FROM ctl WHERE k = 'receipt';
818k      |deposit_date
819-------+------------
820receipt|  12-22-2008
821(1 row)
822
823step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
824step c2: COMMIT;
825step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
826receipt_no|deposit_date|amount
827----------+------------+------
828         1|  12-22-2008|  1.00
829         2|  12-22-2008|  2.00
830(2 rows)
831
832step c1: COMMIT;
833step c3: COMMIT;
834
835starting permutation: rxwy1 rx3 wx2 c2 ry3 c3 c1
836step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
837step rx3: SELECT * FROM ctl WHERE k = 'receipt';
838k      |deposit_date
839-------+------------
840receipt|  12-22-2008
841(1 row)
842
843step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
844step c2: COMMIT;
845step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
846receipt_no|deposit_date|amount
847----------+------------+------
848         1|  12-22-2008|  1.00
849         2|  12-22-2008|  2.00
850(2 rows)
851
852step c3: COMMIT;
853step c1: COMMIT;
854
855starting permutation: rxwy1 rx3 wx2 ry3 c1 c2 c3
856step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
857step rx3: SELECT * FROM ctl WHERE k = 'receipt';
858k      |deposit_date
859-------+------------
860receipt|  12-22-2008
861(1 row)
862
863step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
864step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
865receipt_no|deposit_date|amount
866----------+------------+------
867         1|  12-22-2008|  1.00
868         2|  12-22-2008|  2.00
869(2 rows)
870
871step c1: COMMIT;
872step c2: COMMIT;
873step c3: COMMIT;
874
875starting permutation: rxwy1 rx3 wx2 ry3 c1 c3 c2
876step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
877step rx3: SELECT * FROM ctl WHERE k = 'receipt';
878k      |deposit_date
879-------+------------
880receipt|  12-22-2008
881(1 row)
882
883step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
884step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
885receipt_no|deposit_date|amount
886----------+------------+------
887         1|  12-22-2008|  1.00
888         2|  12-22-2008|  2.00
889(2 rows)
890
891step c1: COMMIT;
892step c3: COMMIT;
893step c2: COMMIT;
894
895starting permutation: rxwy1 rx3 wx2 ry3 c2 c1 c3
896step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
897step rx3: SELECT * FROM ctl WHERE k = 'receipt';
898k      |deposit_date
899-------+------------
900receipt|  12-22-2008
901(1 row)
902
903step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
904step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
905receipt_no|deposit_date|amount
906----------+------------+------
907         1|  12-22-2008|  1.00
908         2|  12-22-2008|  2.00
909(2 rows)
910
911step c2: COMMIT;
912step c1: COMMIT;
913step c3: COMMIT;
914
915starting permutation: rxwy1 rx3 wx2 ry3 c2 c3 c1
916step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
917step rx3: SELECT * FROM ctl WHERE k = 'receipt';
918k      |deposit_date
919-------+------------
920receipt|  12-22-2008
921(1 row)
922
923step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
924step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
925receipt_no|deposit_date|amount
926----------+------------+------
927         1|  12-22-2008|  1.00
928         2|  12-22-2008|  2.00
929(2 rows)
930
931step c2: COMMIT;
932step c3: COMMIT;
933step c1: COMMIT;
934
935starting permutation: rxwy1 rx3 wx2 ry3 c3 c1 c2
936step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
937step rx3: SELECT * FROM ctl WHERE k = 'receipt';
938k      |deposit_date
939-------+------------
940receipt|  12-22-2008
941(1 row)
942
943step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
944step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
945receipt_no|deposit_date|amount
946----------+------------+------
947         1|  12-22-2008|  1.00
948         2|  12-22-2008|  2.00
949(2 rows)
950
951step c3: COMMIT;
952step c1: COMMIT;
953step c2: COMMIT;
954
955starting permutation: rxwy1 rx3 wx2 ry3 c3 c2 c1
956step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
957step rx3: SELECT * FROM ctl WHERE k = 'receipt';
958k      |deposit_date
959-------+------------
960receipt|  12-22-2008
961(1 row)
962
963step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
964step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
965receipt_no|deposit_date|amount
966----------+------------+------
967         1|  12-22-2008|  1.00
968         2|  12-22-2008|  2.00
969(2 rows)
970
971step c3: COMMIT;
972step c2: COMMIT;
973step c1: COMMIT;
974
975starting permutation: rxwy1 rx3 ry3 c1 wx2 c2 c3
976step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
977step rx3: SELECT * FROM ctl WHERE k = 'receipt';
978k      |deposit_date
979-------+------------
980receipt|  12-22-2008
981(1 row)
982
983step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
984receipt_no|deposit_date|amount
985----------+------------+------
986         1|  12-22-2008|  1.00
987         2|  12-22-2008|  2.00
988(2 rows)
989
990step c1: COMMIT;
991step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
992step c2: COMMIT;
993step c3: COMMIT;
994
995starting permutation: rxwy1 rx3 ry3 c1 wx2 c3 c2
996step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
997step rx3: SELECT * FROM ctl WHERE k = 'receipt';
998k      |deposit_date
999-------+------------
1000receipt|  12-22-2008
1001(1 row)
1002
1003step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1004receipt_no|deposit_date|amount
1005----------+------------+------
1006         1|  12-22-2008|  1.00
1007         2|  12-22-2008|  2.00
1008(2 rows)
1009
1010step c1: COMMIT;
1011step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1012step c3: COMMIT;
1013step c2: COMMIT;
1014
1015starting permutation: rxwy1 rx3 ry3 c1 c3 wx2 c2
1016step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1017step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1018k      |deposit_date
1019-------+------------
1020receipt|  12-22-2008
1021(1 row)
1022
1023step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1024receipt_no|deposit_date|amount
1025----------+------------+------
1026         1|  12-22-2008|  1.00
1027         2|  12-22-2008|  2.00
1028(2 rows)
1029
1030step c1: COMMIT;
1031step c3: COMMIT;
1032step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1033step c2: COMMIT;
1034
1035starting permutation: rxwy1 rx3 ry3 wx2 c1 c2 c3
1036step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1037step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1038k      |deposit_date
1039-------+------------
1040receipt|  12-22-2008
1041(1 row)
1042
1043step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1044receipt_no|deposit_date|amount
1045----------+------------+------
1046         1|  12-22-2008|  1.00
1047         2|  12-22-2008|  2.00
1048(2 rows)
1049
1050step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1051step c1: COMMIT;
1052step c2: COMMIT;
1053step c3: COMMIT;
1054
1055starting permutation: rxwy1 rx3 ry3 wx2 c1 c3 c2
1056step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1057step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1058k      |deposit_date
1059-------+------------
1060receipt|  12-22-2008
1061(1 row)
1062
1063step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1064receipt_no|deposit_date|amount
1065----------+------------+------
1066         1|  12-22-2008|  1.00
1067         2|  12-22-2008|  2.00
1068(2 rows)
1069
1070step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1071step c1: COMMIT;
1072step c3: COMMIT;
1073step c2: COMMIT;
1074
1075starting permutation: rxwy1 rx3 ry3 wx2 c2 c1 c3
1076step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1077step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1078k      |deposit_date
1079-------+------------
1080receipt|  12-22-2008
1081(1 row)
1082
1083step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1084receipt_no|deposit_date|amount
1085----------+------------+------
1086         1|  12-22-2008|  1.00
1087         2|  12-22-2008|  2.00
1088(2 rows)
1089
1090step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1091step c2: COMMIT;
1092step c1: COMMIT;
1093step c3: COMMIT;
1094
1095starting permutation: rxwy1 rx3 ry3 wx2 c2 c3 c1
1096step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1097step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1098k      |deposit_date
1099-------+------------
1100receipt|  12-22-2008
1101(1 row)
1102
1103step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1104receipt_no|deposit_date|amount
1105----------+------------+------
1106         1|  12-22-2008|  1.00
1107         2|  12-22-2008|  2.00
1108(2 rows)
1109
1110step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1111step c2: COMMIT;
1112step c3: COMMIT;
1113step c1: COMMIT;
1114
1115starting permutation: rxwy1 rx3 ry3 wx2 c3 c1 c2
1116step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1117step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1118k      |deposit_date
1119-------+------------
1120receipt|  12-22-2008
1121(1 row)
1122
1123step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1124receipt_no|deposit_date|amount
1125----------+------------+------
1126         1|  12-22-2008|  1.00
1127         2|  12-22-2008|  2.00
1128(2 rows)
1129
1130step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1131step c3: COMMIT;
1132step c1: COMMIT;
1133step c2: COMMIT;
1134
1135starting permutation: rxwy1 rx3 ry3 wx2 c3 c2 c1
1136step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1137step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1138k      |deposit_date
1139-------+------------
1140receipt|  12-22-2008
1141(1 row)
1142
1143step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1144receipt_no|deposit_date|amount
1145----------+------------+------
1146         1|  12-22-2008|  1.00
1147         2|  12-22-2008|  2.00
1148(2 rows)
1149
1150step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1151step c3: COMMIT;
1152step c2: COMMIT;
1153step c1: COMMIT;
1154
1155starting permutation: rxwy1 rx3 ry3 c3 c1 wx2 c2
1156step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1157step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1158k      |deposit_date
1159-------+------------
1160receipt|  12-22-2008
1161(1 row)
1162
1163step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1164receipt_no|deposit_date|amount
1165----------+------------+------
1166         1|  12-22-2008|  1.00
1167         2|  12-22-2008|  2.00
1168(2 rows)
1169
1170step c3: COMMIT;
1171step c1: COMMIT;
1172step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1173step c2: COMMIT;
1174
1175starting permutation: rxwy1 rx3 ry3 c3 wx2 c1 c2
1176step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1177step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1178k      |deposit_date
1179-------+------------
1180receipt|  12-22-2008
1181(1 row)
1182
1183step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1184receipt_no|deposit_date|amount
1185----------+------------+------
1186         1|  12-22-2008|  1.00
1187         2|  12-22-2008|  2.00
1188(2 rows)
1189
1190step c3: COMMIT;
1191step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1192step c1: COMMIT;
1193step c2: COMMIT;
1194
1195starting permutation: rxwy1 rx3 ry3 c3 wx2 c2 c1
1196step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1197step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1198k      |deposit_date
1199-------+------------
1200receipt|  12-22-2008
1201(1 row)
1202
1203step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1204receipt_no|deposit_date|amount
1205----------+------------+------
1206         1|  12-22-2008|  1.00
1207         2|  12-22-2008|  2.00
1208(2 rows)
1209
1210step c3: COMMIT;
1211step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1212step c2: COMMIT;
1213step c1: COMMIT;
1214
1215starting permutation: wx2 rxwy1 c1 c2 rx3 ry3 c3
1216step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1217step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1218step c1: COMMIT;
1219step c2: COMMIT;
1220step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1221k      |deposit_date
1222-------+------------
1223receipt|  12-23-2008
1224(1 row)
1225
1226step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1227receipt_no|deposit_date|amount
1228----------+------------+------
1229         1|  12-22-2008|  1.00
1230         2|  12-22-2008|  2.00
1231         3|  12-22-2008|  4.00
1232(3 rows)
1233
1234step c3: COMMIT;
1235
1236starting permutation: wx2 rxwy1 c1 rx3 c2 ry3 c3
1237step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1238step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1239step c1: COMMIT;
1240step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1241k      |deposit_date
1242-------+------------
1243receipt|  12-22-2008
1244(1 row)
1245
1246step c2: COMMIT;
1247step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1248receipt_no|deposit_date|amount
1249----------+------------+------
1250         1|  12-22-2008|  1.00
1251         2|  12-22-2008|  2.00
1252         3|  12-22-2008|  4.00
1253(3 rows)
1254
1255step c3: COMMIT;
1256
1257starting permutation: wx2 rxwy1 c1 rx3 ry3 c2 c3
1258step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1259step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1260step c1: COMMIT;
1261step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1262k      |deposit_date
1263-------+------------
1264receipt|  12-22-2008
1265(1 row)
1266
1267step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1268receipt_no|deposit_date|amount
1269----------+------------+------
1270         1|  12-22-2008|  1.00
1271         2|  12-22-2008|  2.00
1272         3|  12-22-2008|  4.00
1273(3 rows)
1274
1275step c2: COMMIT;
1276step c3: COMMIT;
1277
1278starting permutation: wx2 rxwy1 c1 rx3 ry3 c3 c2
1279step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1280step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1281step c1: COMMIT;
1282step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1283k      |deposit_date
1284-------+------------
1285receipt|  12-22-2008
1286(1 row)
1287
1288step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1289receipt_no|deposit_date|amount
1290----------+------------+------
1291         1|  12-22-2008|  1.00
1292         2|  12-22-2008|  2.00
1293         3|  12-22-2008|  4.00
1294(3 rows)
1295
1296step c3: COMMIT;
1297step c2: COMMIT;
1298
1299starting permutation: wx2 rxwy1 c2 c1 rx3 ry3 c3
1300step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1301step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1302step c2: COMMIT;
1303step c1: COMMIT;
1304step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1305k      |deposit_date
1306-------+------------
1307receipt|  12-23-2008
1308(1 row)
1309
1310step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1311receipt_no|deposit_date|amount
1312----------+------------+------
1313         1|  12-22-2008|  1.00
1314         2|  12-22-2008|  2.00
1315         3|  12-22-2008|  4.00
1316(3 rows)
1317
1318step c3: COMMIT;
1319
1320starting permutation: wx2 rxwy1 c2 rx3 c1 ry3 c3
1321step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1322step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1323step c2: COMMIT;
1324step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1325k      |deposit_date
1326-------+------------
1327receipt|  12-23-2008
1328(1 row)
1329
1330step c1: COMMIT;
1331step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1332ERROR:  could not serialize access due to read/write dependencies among transactions
1333step c3: COMMIT;
1334
1335starting permutation: wx2 rxwy1 c2 rx3 ry3 c1 c3
1336step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1337step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1338step c2: COMMIT;
1339step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1340k      |deposit_date
1341-------+------------
1342receipt|  12-23-2008
1343(1 row)
1344
1345step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1346receipt_no|deposit_date|amount
1347----------+------------+------
1348         1|  12-22-2008|  1.00
1349         2|  12-22-2008|  2.00
1350(2 rows)
1351
1352step c1: COMMIT;
1353ERROR:  could not serialize access due to read/write dependencies among transactions
1354step c3: COMMIT;
1355
1356starting permutation: wx2 rxwy1 c2 rx3 ry3 c3 c1
1357step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1358step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1359step c2: COMMIT;
1360step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1361k      |deposit_date
1362-------+------------
1363receipt|  12-23-2008
1364(1 row)
1365
1366step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1367receipt_no|deposit_date|amount
1368----------+------------+------
1369         1|  12-22-2008|  1.00
1370         2|  12-22-2008|  2.00
1371(2 rows)
1372
1373step c3: COMMIT;
1374step c1: COMMIT;
1375ERROR:  could not serialize access due to read/write dependencies among transactions
1376
1377starting permutation: wx2 rxwy1 rx3 c1 c2 ry3 c3
1378step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1379step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1380step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1381k      |deposit_date
1382-------+------------
1383receipt|  12-22-2008
1384(1 row)
1385
1386step c1: COMMIT;
1387step c2: COMMIT;
1388step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1389receipt_no|deposit_date|amount
1390----------+------------+------
1391         1|  12-22-2008|  1.00
1392         2|  12-22-2008|  2.00
1393(2 rows)
1394
1395step c3: COMMIT;
1396
1397starting permutation: wx2 rxwy1 rx3 c1 ry3 c2 c3
1398step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1399step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1400step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1401k      |deposit_date
1402-------+------------
1403receipt|  12-22-2008
1404(1 row)
1405
1406step c1: COMMIT;
1407step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1408receipt_no|deposit_date|amount
1409----------+------------+------
1410         1|  12-22-2008|  1.00
1411         2|  12-22-2008|  2.00
1412(2 rows)
1413
1414step c2: COMMIT;
1415step c3: COMMIT;
1416
1417starting permutation: wx2 rxwy1 rx3 c1 ry3 c3 c2
1418step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1419step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1420step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1421k      |deposit_date
1422-------+------------
1423receipt|  12-22-2008
1424(1 row)
1425
1426step c1: COMMIT;
1427step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1428receipt_no|deposit_date|amount
1429----------+------------+------
1430         1|  12-22-2008|  1.00
1431         2|  12-22-2008|  2.00
1432(2 rows)
1433
1434step c3: COMMIT;
1435step c2: COMMIT;
1436
1437starting permutation: wx2 rxwy1 rx3 c2 c1 ry3 c3
1438step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1439step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1440step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1441k      |deposit_date
1442-------+------------
1443receipt|  12-22-2008
1444(1 row)
1445
1446step c2: COMMIT;
1447step c1: COMMIT;
1448step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1449receipt_no|deposit_date|amount
1450----------+------------+------
1451         1|  12-22-2008|  1.00
1452         2|  12-22-2008|  2.00
1453(2 rows)
1454
1455step c3: COMMIT;
1456
1457starting permutation: wx2 rxwy1 rx3 c2 ry3 c1 c3
1458step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1459step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1460step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1461k      |deposit_date
1462-------+------------
1463receipt|  12-22-2008
1464(1 row)
1465
1466step c2: COMMIT;
1467step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1468receipt_no|deposit_date|amount
1469----------+------------+------
1470         1|  12-22-2008|  1.00
1471         2|  12-22-2008|  2.00
1472(2 rows)
1473
1474step c1: COMMIT;
1475step c3: COMMIT;
1476
1477starting permutation: wx2 rxwy1 rx3 c2 ry3 c3 c1
1478step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1479step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1480step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1481k      |deposit_date
1482-------+------------
1483receipt|  12-22-2008
1484(1 row)
1485
1486step c2: COMMIT;
1487step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1488receipt_no|deposit_date|amount
1489----------+------------+------
1490         1|  12-22-2008|  1.00
1491         2|  12-22-2008|  2.00
1492(2 rows)
1493
1494step c3: COMMIT;
1495step c1: COMMIT;
1496
1497starting permutation: wx2 rxwy1 rx3 ry3 c1 c2 c3
1498step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1499step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1500step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1501k      |deposit_date
1502-------+------------
1503receipt|  12-22-2008
1504(1 row)
1505
1506step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1507receipt_no|deposit_date|amount
1508----------+------------+------
1509         1|  12-22-2008|  1.00
1510         2|  12-22-2008|  2.00
1511(2 rows)
1512
1513step c1: COMMIT;
1514step c2: COMMIT;
1515step c3: COMMIT;
1516
1517starting permutation: wx2 rxwy1 rx3 ry3 c1 c3 c2
1518step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1519step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1520step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1521k      |deposit_date
1522-------+------------
1523receipt|  12-22-2008
1524(1 row)
1525
1526step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1527receipt_no|deposit_date|amount
1528----------+------------+------
1529         1|  12-22-2008|  1.00
1530         2|  12-22-2008|  2.00
1531(2 rows)
1532
1533step c1: COMMIT;
1534step c3: COMMIT;
1535step c2: COMMIT;
1536
1537starting permutation: wx2 rxwy1 rx3 ry3 c2 c1 c3
1538step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1539step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1540step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1541k      |deposit_date
1542-------+------------
1543receipt|  12-22-2008
1544(1 row)
1545
1546step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1547receipt_no|deposit_date|amount
1548----------+------------+------
1549         1|  12-22-2008|  1.00
1550         2|  12-22-2008|  2.00
1551(2 rows)
1552
1553step c2: COMMIT;
1554step c1: COMMIT;
1555step c3: COMMIT;
1556
1557starting permutation: wx2 rxwy1 rx3 ry3 c2 c3 c1
1558step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1559step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1560step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1561k      |deposit_date
1562-------+------------
1563receipt|  12-22-2008
1564(1 row)
1565
1566step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1567receipt_no|deposit_date|amount
1568----------+------------+------
1569         1|  12-22-2008|  1.00
1570         2|  12-22-2008|  2.00
1571(2 rows)
1572
1573step c2: COMMIT;
1574step c3: COMMIT;
1575step c1: COMMIT;
1576
1577starting permutation: wx2 rxwy1 rx3 ry3 c3 c1 c2
1578step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1579step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1580step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1581k      |deposit_date
1582-------+------------
1583receipt|  12-22-2008
1584(1 row)
1585
1586step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1587receipt_no|deposit_date|amount
1588----------+------------+------
1589         1|  12-22-2008|  1.00
1590         2|  12-22-2008|  2.00
1591(2 rows)
1592
1593step c3: COMMIT;
1594step c1: COMMIT;
1595step c2: COMMIT;
1596
1597starting permutation: wx2 rxwy1 rx3 ry3 c3 c2 c1
1598step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1599step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1600step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1601k      |deposit_date
1602-------+------------
1603receipt|  12-22-2008
1604(1 row)
1605
1606step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1607receipt_no|deposit_date|amount
1608----------+------------+------
1609         1|  12-22-2008|  1.00
1610         2|  12-22-2008|  2.00
1611(2 rows)
1612
1613step c3: COMMIT;
1614step c2: COMMIT;
1615step c1: COMMIT;
1616
1617starting permutation: wx2 c2 rxwy1 c1 rx3 ry3 c3
1618step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1619step c2: COMMIT;
1620step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1621step c1: COMMIT;
1622step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1623k      |deposit_date
1624-------+------------
1625receipt|  12-23-2008
1626(1 row)
1627
1628step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1629receipt_no|deposit_date|amount
1630----------+------------+------
1631         1|  12-22-2008|  1.00
1632         2|  12-22-2008|  2.00
1633(2 rows)
1634
1635step c3: COMMIT;
1636
1637starting permutation: wx2 c2 rxwy1 rx3 c1 ry3 c3
1638step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1639step c2: COMMIT;
1640step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1641step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1642k      |deposit_date
1643-------+------------
1644receipt|  12-23-2008
1645(1 row)
1646
1647step c1: COMMIT;
1648step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1649receipt_no|deposit_date|amount
1650----------+------------+------
1651         1|  12-22-2008|  1.00
1652         2|  12-22-2008|  2.00
1653(2 rows)
1654
1655step c3: COMMIT;
1656
1657starting permutation: wx2 c2 rxwy1 rx3 ry3 c1 c3
1658step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1659step c2: COMMIT;
1660step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1661step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1662k      |deposit_date
1663-------+------------
1664receipt|  12-23-2008
1665(1 row)
1666
1667step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1668receipt_no|deposit_date|amount
1669----------+------------+------
1670         1|  12-22-2008|  1.00
1671         2|  12-22-2008|  2.00
1672(2 rows)
1673
1674step c1: COMMIT;
1675step c3: COMMIT;
1676
1677starting permutation: wx2 c2 rxwy1 rx3 ry3 c3 c1
1678step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1679step c2: COMMIT;
1680step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1681step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1682k      |deposit_date
1683-------+------------
1684receipt|  12-23-2008
1685(1 row)
1686
1687step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1688receipt_no|deposit_date|amount
1689----------+------------+------
1690         1|  12-22-2008|  1.00
1691         2|  12-22-2008|  2.00
1692(2 rows)
1693
1694step c3: COMMIT;
1695step c1: COMMIT;
1696
1697starting permutation: wx2 c2 rx3 rxwy1 c1 ry3 c3
1698step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1699step c2: COMMIT;
1700step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1701k      |deposit_date
1702-------+------------
1703receipt|  12-23-2008
1704(1 row)
1705
1706step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1707step c1: COMMIT;
1708step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1709receipt_no|deposit_date|amount
1710----------+------------+------
1711         1|  12-22-2008|  1.00
1712         2|  12-22-2008|  2.00
1713(2 rows)
1714
1715step c3: COMMIT;
1716
1717starting permutation: wx2 c2 rx3 rxwy1 ry3 c1 c3
1718step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1719step c2: COMMIT;
1720step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1721k      |deposit_date
1722-------+------------
1723receipt|  12-23-2008
1724(1 row)
1725
1726step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1727step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1728receipt_no|deposit_date|amount
1729----------+------------+------
1730         1|  12-22-2008|  1.00
1731         2|  12-22-2008|  2.00
1732(2 rows)
1733
1734step c1: COMMIT;
1735step c3: COMMIT;
1736
1737starting permutation: wx2 c2 rx3 rxwy1 ry3 c3 c1
1738step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1739step c2: COMMIT;
1740step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1741k      |deposit_date
1742-------+------------
1743receipt|  12-23-2008
1744(1 row)
1745
1746step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1747step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1748receipt_no|deposit_date|amount
1749----------+------------+------
1750         1|  12-22-2008|  1.00
1751         2|  12-22-2008|  2.00
1752(2 rows)
1753
1754step c3: COMMIT;
1755step c1: COMMIT;
1756
1757starting permutation: wx2 c2 rx3 ry3 rxwy1 c1 c3
1758step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1759step c2: COMMIT;
1760step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1761k      |deposit_date
1762-------+------------
1763receipt|  12-23-2008
1764(1 row)
1765
1766step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1767receipt_no|deposit_date|amount
1768----------+------------+------
1769         1|  12-22-2008|  1.00
1770         2|  12-22-2008|  2.00
1771(2 rows)
1772
1773step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1774step c1: COMMIT;
1775step c3: COMMIT;
1776
1777starting permutation: wx2 c2 rx3 ry3 rxwy1 c3 c1
1778step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1779step c2: COMMIT;
1780step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1781k      |deposit_date
1782-------+------------
1783receipt|  12-23-2008
1784(1 row)
1785
1786step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1787receipt_no|deposit_date|amount
1788----------+------------+------
1789         1|  12-22-2008|  1.00
1790         2|  12-22-2008|  2.00
1791(2 rows)
1792
1793step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1794step c3: COMMIT;
1795step c1: COMMIT;
1796
1797starting permutation: wx2 c2 rx3 ry3 c3 rxwy1 c1
1798step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1799step c2: COMMIT;
1800step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1801k      |deposit_date
1802-------+------------
1803receipt|  12-23-2008
1804(1 row)
1805
1806step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1807receipt_no|deposit_date|amount
1808----------+------------+------
1809         1|  12-22-2008|  1.00
1810         2|  12-22-2008|  2.00
1811(2 rows)
1812
1813step c3: COMMIT;
1814step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1815step c1: COMMIT;
1816
1817starting permutation: wx2 rx3 rxwy1 c1 c2 ry3 c3
1818step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1819step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1820k      |deposit_date
1821-------+------------
1822receipt|  12-22-2008
1823(1 row)
1824
1825step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1826step c1: COMMIT;
1827step c2: COMMIT;
1828step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1829receipt_no|deposit_date|amount
1830----------+------------+------
1831         1|  12-22-2008|  1.00
1832         2|  12-22-2008|  2.00
1833(2 rows)
1834
1835step c3: COMMIT;
1836
1837starting permutation: wx2 rx3 rxwy1 c1 ry3 c2 c3
1838step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1839step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1840k      |deposit_date
1841-------+------------
1842receipt|  12-22-2008
1843(1 row)
1844
1845step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1846step c1: COMMIT;
1847step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1848receipt_no|deposit_date|amount
1849----------+------------+------
1850         1|  12-22-2008|  1.00
1851         2|  12-22-2008|  2.00
1852(2 rows)
1853
1854step c2: COMMIT;
1855step c3: COMMIT;
1856
1857starting permutation: wx2 rx3 rxwy1 c1 ry3 c3 c2
1858step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1859step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1860k      |deposit_date
1861-------+------------
1862receipt|  12-22-2008
1863(1 row)
1864
1865step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1866step c1: COMMIT;
1867step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1868receipt_no|deposit_date|amount
1869----------+------------+------
1870         1|  12-22-2008|  1.00
1871         2|  12-22-2008|  2.00
1872(2 rows)
1873
1874step c3: COMMIT;
1875step c2: COMMIT;
1876
1877starting permutation: wx2 rx3 rxwy1 c2 c1 ry3 c3
1878step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1879step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1880k      |deposit_date
1881-------+------------
1882receipt|  12-22-2008
1883(1 row)
1884
1885step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1886step c2: COMMIT;
1887step c1: COMMIT;
1888step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1889receipt_no|deposit_date|amount
1890----------+------------+------
1891         1|  12-22-2008|  1.00
1892         2|  12-22-2008|  2.00
1893(2 rows)
1894
1895step c3: COMMIT;
1896
1897starting permutation: wx2 rx3 rxwy1 c2 ry3 c1 c3
1898step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1899step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1900k      |deposit_date
1901-------+------------
1902receipt|  12-22-2008
1903(1 row)
1904
1905step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1906step c2: COMMIT;
1907step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1908receipt_no|deposit_date|amount
1909----------+------------+------
1910         1|  12-22-2008|  1.00
1911         2|  12-22-2008|  2.00
1912(2 rows)
1913
1914step c1: COMMIT;
1915step c3: COMMIT;
1916
1917starting permutation: wx2 rx3 rxwy1 c2 ry3 c3 c1
1918step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1919step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1920k      |deposit_date
1921-------+------------
1922receipt|  12-22-2008
1923(1 row)
1924
1925step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1926step c2: COMMIT;
1927step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1928receipt_no|deposit_date|amount
1929----------+------------+------
1930         1|  12-22-2008|  1.00
1931         2|  12-22-2008|  2.00
1932(2 rows)
1933
1934step c3: COMMIT;
1935step c1: COMMIT;
1936
1937starting permutation: wx2 rx3 rxwy1 ry3 c1 c2 c3
1938step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1939step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1940k      |deposit_date
1941-------+------------
1942receipt|  12-22-2008
1943(1 row)
1944
1945step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1946step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1947receipt_no|deposit_date|amount
1948----------+------------+------
1949         1|  12-22-2008|  1.00
1950         2|  12-22-2008|  2.00
1951(2 rows)
1952
1953step c1: COMMIT;
1954step c2: COMMIT;
1955step c3: COMMIT;
1956
1957starting permutation: wx2 rx3 rxwy1 ry3 c1 c3 c2
1958step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1959step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1960k      |deposit_date
1961-------+------------
1962receipt|  12-22-2008
1963(1 row)
1964
1965step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1966step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1967receipt_no|deposit_date|amount
1968----------+------------+------
1969         1|  12-22-2008|  1.00
1970         2|  12-22-2008|  2.00
1971(2 rows)
1972
1973step c1: COMMIT;
1974step c3: COMMIT;
1975step c2: COMMIT;
1976
1977starting permutation: wx2 rx3 rxwy1 ry3 c2 c1 c3
1978step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1979step rx3: SELECT * FROM ctl WHERE k = 'receipt';
1980k      |deposit_date
1981-------+------------
1982receipt|  12-22-2008
1983(1 row)
1984
1985step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
1986step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
1987receipt_no|deposit_date|amount
1988----------+------------+------
1989         1|  12-22-2008|  1.00
1990         2|  12-22-2008|  2.00
1991(2 rows)
1992
1993step c2: COMMIT;
1994step c1: COMMIT;
1995step c3: COMMIT;
1996
1997starting permutation: wx2 rx3 rxwy1 ry3 c2 c3 c1
1998step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
1999step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2000k      |deposit_date
2001-------+------------
2002receipt|  12-22-2008
2003(1 row)
2004
2005step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2006step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2007receipt_no|deposit_date|amount
2008----------+------------+------
2009         1|  12-22-2008|  1.00
2010         2|  12-22-2008|  2.00
2011(2 rows)
2012
2013step c2: COMMIT;
2014step c3: COMMIT;
2015step c1: COMMIT;
2016
2017starting permutation: wx2 rx3 rxwy1 ry3 c3 c1 c2
2018step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2019step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2020k      |deposit_date
2021-------+------------
2022receipt|  12-22-2008
2023(1 row)
2024
2025step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2026step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2027receipt_no|deposit_date|amount
2028----------+------------+------
2029         1|  12-22-2008|  1.00
2030         2|  12-22-2008|  2.00
2031(2 rows)
2032
2033step c3: COMMIT;
2034step c1: COMMIT;
2035step c2: COMMIT;
2036
2037starting permutation: wx2 rx3 rxwy1 ry3 c3 c2 c1
2038step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2039step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2040k      |deposit_date
2041-------+------------
2042receipt|  12-22-2008
2043(1 row)
2044
2045step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2046step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2047receipt_no|deposit_date|amount
2048----------+------------+------
2049         1|  12-22-2008|  1.00
2050         2|  12-22-2008|  2.00
2051(2 rows)
2052
2053step c3: COMMIT;
2054step c2: COMMIT;
2055step c1: COMMIT;
2056
2057starting permutation: wx2 rx3 c2 rxwy1 c1 ry3 c3
2058step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2059step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2060k      |deposit_date
2061-------+------------
2062receipt|  12-22-2008
2063(1 row)
2064
2065step c2: COMMIT;
2066step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2067step c1: COMMIT;
2068step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2069receipt_no|deposit_date|amount
2070----------+------------+------
2071         1|  12-22-2008|  1.00
2072         2|  12-22-2008|  2.00
2073(2 rows)
2074
2075step c3: COMMIT;
2076
2077starting permutation: wx2 rx3 c2 rxwy1 ry3 c1 c3
2078step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2079step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2080k      |deposit_date
2081-------+------------
2082receipt|  12-22-2008
2083(1 row)
2084
2085step c2: COMMIT;
2086step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2087step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2088receipt_no|deposit_date|amount
2089----------+------------+------
2090         1|  12-22-2008|  1.00
2091         2|  12-22-2008|  2.00
2092(2 rows)
2093
2094step c1: COMMIT;
2095step c3: COMMIT;
2096
2097starting permutation: wx2 rx3 c2 rxwy1 ry3 c3 c1
2098step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2099step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2100k      |deposit_date
2101-------+------------
2102receipt|  12-22-2008
2103(1 row)
2104
2105step c2: COMMIT;
2106step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2107step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2108receipt_no|deposit_date|amount
2109----------+------------+------
2110         1|  12-22-2008|  1.00
2111         2|  12-22-2008|  2.00
2112(2 rows)
2113
2114step c3: COMMIT;
2115step c1: COMMIT;
2116
2117starting permutation: wx2 rx3 c2 ry3 rxwy1 c1 c3
2118step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2119step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2120k      |deposit_date
2121-------+------------
2122receipt|  12-22-2008
2123(1 row)
2124
2125step c2: COMMIT;
2126step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2127receipt_no|deposit_date|amount
2128----------+------------+------
2129         1|  12-22-2008|  1.00
2130         2|  12-22-2008|  2.00
2131(2 rows)
2132
2133step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2134step c1: COMMIT;
2135step c3: COMMIT;
2136
2137starting permutation: wx2 rx3 c2 ry3 rxwy1 c3 c1
2138step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2139step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2140k      |deposit_date
2141-------+------------
2142receipt|  12-22-2008
2143(1 row)
2144
2145step c2: COMMIT;
2146step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2147receipt_no|deposit_date|amount
2148----------+------------+------
2149         1|  12-22-2008|  1.00
2150         2|  12-22-2008|  2.00
2151(2 rows)
2152
2153step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2154step c3: COMMIT;
2155step c1: COMMIT;
2156
2157starting permutation: wx2 rx3 c2 ry3 c3 rxwy1 c1
2158step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2159step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2160k      |deposit_date
2161-------+------------
2162receipt|  12-22-2008
2163(1 row)
2164
2165step c2: COMMIT;
2166step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2167receipt_no|deposit_date|amount
2168----------+------------+------
2169         1|  12-22-2008|  1.00
2170         2|  12-22-2008|  2.00
2171(2 rows)
2172
2173step c3: COMMIT;
2174step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2175step c1: COMMIT;
2176
2177starting permutation: wx2 rx3 ry3 rxwy1 c1 c2 c3
2178step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2179step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2180k      |deposit_date
2181-------+------------
2182receipt|  12-22-2008
2183(1 row)
2184
2185step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2186receipt_no|deposit_date|amount
2187----------+------------+------
2188         1|  12-22-2008|  1.00
2189         2|  12-22-2008|  2.00
2190(2 rows)
2191
2192step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2193step c1: COMMIT;
2194step c2: COMMIT;
2195step c3: COMMIT;
2196
2197starting permutation: wx2 rx3 ry3 rxwy1 c1 c3 c2
2198step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2199step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2200k      |deposit_date
2201-------+------------
2202receipt|  12-22-2008
2203(1 row)
2204
2205step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2206receipt_no|deposit_date|amount
2207----------+------------+------
2208         1|  12-22-2008|  1.00
2209         2|  12-22-2008|  2.00
2210(2 rows)
2211
2212step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2213step c1: COMMIT;
2214step c3: COMMIT;
2215step c2: COMMIT;
2216
2217starting permutation: wx2 rx3 ry3 rxwy1 c2 c1 c3
2218step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2219step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2220k      |deposit_date
2221-------+------------
2222receipt|  12-22-2008
2223(1 row)
2224
2225step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2226receipt_no|deposit_date|amount
2227----------+------------+------
2228         1|  12-22-2008|  1.00
2229         2|  12-22-2008|  2.00
2230(2 rows)
2231
2232step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2233step c2: COMMIT;
2234step c1: COMMIT;
2235step c3: COMMIT;
2236
2237starting permutation: wx2 rx3 ry3 rxwy1 c2 c3 c1
2238step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2239step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2240k      |deposit_date
2241-------+------------
2242receipt|  12-22-2008
2243(1 row)
2244
2245step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2246receipt_no|deposit_date|amount
2247----------+------------+------
2248         1|  12-22-2008|  1.00
2249         2|  12-22-2008|  2.00
2250(2 rows)
2251
2252step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2253step c2: COMMIT;
2254step c3: COMMIT;
2255step c1: COMMIT;
2256
2257starting permutation: wx2 rx3 ry3 rxwy1 c3 c1 c2
2258step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2259step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2260k      |deposit_date
2261-------+------------
2262receipt|  12-22-2008
2263(1 row)
2264
2265step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2266receipt_no|deposit_date|amount
2267----------+------------+------
2268         1|  12-22-2008|  1.00
2269         2|  12-22-2008|  2.00
2270(2 rows)
2271
2272step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2273step c3: COMMIT;
2274step c1: COMMIT;
2275step c2: COMMIT;
2276
2277starting permutation: wx2 rx3 ry3 rxwy1 c3 c2 c1
2278step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2279step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2280k      |deposit_date
2281-------+------------
2282receipt|  12-22-2008
2283(1 row)
2284
2285step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2286receipt_no|deposit_date|amount
2287----------+------------+------
2288         1|  12-22-2008|  1.00
2289         2|  12-22-2008|  2.00
2290(2 rows)
2291
2292step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2293step c3: COMMIT;
2294step c2: COMMIT;
2295step c1: COMMIT;
2296
2297starting permutation: wx2 rx3 ry3 c2 rxwy1 c1 c3
2298step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2299step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2300k      |deposit_date
2301-------+------------
2302receipt|  12-22-2008
2303(1 row)
2304
2305step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2306receipt_no|deposit_date|amount
2307----------+------------+------
2308         1|  12-22-2008|  1.00
2309         2|  12-22-2008|  2.00
2310(2 rows)
2311
2312step c2: COMMIT;
2313step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2314step c1: COMMIT;
2315step c3: COMMIT;
2316
2317starting permutation: wx2 rx3 ry3 c2 rxwy1 c3 c1
2318step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2319step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2320k      |deposit_date
2321-------+------------
2322receipt|  12-22-2008
2323(1 row)
2324
2325step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2326receipt_no|deposit_date|amount
2327----------+------------+------
2328         1|  12-22-2008|  1.00
2329         2|  12-22-2008|  2.00
2330(2 rows)
2331
2332step c2: COMMIT;
2333step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2334step c3: COMMIT;
2335step c1: COMMIT;
2336
2337starting permutation: wx2 rx3 ry3 c2 c3 rxwy1 c1
2338step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2339step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2340k      |deposit_date
2341-------+------------
2342receipt|  12-22-2008
2343(1 row)
2344
2345step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2346receipt_no|deposit_date|amount
2347----------+------------+------
2348         1|  12-22-2008|  1.00
2349         2|  12-22-2008|  2.00
2350(2 rows)
2351
2352step c2: COMMIT;
2353step c3: COMMIT;
2354step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2355step c1: COMMIT;
2356
2357starting permutation: wx2 rx3 ry3 c3 rxwy1 c1 c2
2358step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2359step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2360k      |deposit_date
2361-------+------------
2362receipt|  12-22-2008
2363(1 row)
2364
2365step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2366receipt_no|deposit_date|amount
2367----------+------------+------
2368         1|  12-22-2008|  1.00
2369         2|  12-22-2008|  2.00
2370(2 rows)
2371
2372step c3: COMMIT;
2373step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2374step c1: COMMIT;
2375step c2: COMMIT;
2376
2377starting permutation: wx2 rx3 ry3 c3 rxwy1 c2 c1
2378step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2379step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2380k      |deposit_date
2381-------+------------
2382receipt|  12-22-2008
2383(1 row)
2384
2385step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2386receipt_no|deposit_date|amount
2387----------+------------+------
2388         1|  12-22-2008|  1.00
2389         2|  12-22-2008|  2.00
2390(2 rows)
2391
2392step c3: COMMIT;
2393step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2394step c2: COMMIT;
2395step c1: COMMIT;
2396
2397starting permutation: wx2 rx3 ry3 c3 c2 rxwy1 c1
2398step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2399step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2400k      |deposit_date
2401-------+------------
2402receipt|  12-22-2008
2403(1 row)
2404
2405step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2406receipt_no|deposit_date|amount
2407----------+------------+------
2408         1|  12-22-2008|  1.00
2409         2|  12-22-2008|  2.00
2410(2 rows)
2411
2412step c3: COMMIT;
2413step c2: COMMIT;
2414step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2415step c1: COMMIT;
2416
2417starting permutation: rx3 rxwy1 c1 wx2 c2 ry3 c3
2418step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2419k      |deposit_date
2420-------+------------
2421receipt|  12-22-2008
2422(1 row)
2423
2424step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2425step c1: COMMIT;
2426step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2427step c2: COMMIT;
2428step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2429receipt_no|deposit_date|amount
2430----------+------------+------
2431         1|  12-22-2008|  1.00
2432         2|  12-22-2008|  2.00
2433(2 rows)
2434
2435step c3: COMMIT;
2436
2437starting permutation: rx3 rxwy1 c1 wx2 ry3 c2 c3
2438step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2439k      |deposit_date
2440-------+------------
2441receipt|  12-22-2008
2442(1 row)
2443
2444step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2445step c1: COMMIT;
2446step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2447step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2448receipt_no|deposit_date|amount
2449----------+------------+------
2450         1|  12-22-2008|  1.00
2451         2|  12-22-2008|  2.00
2452(2 rows)
2453
2454step c2: COMMIT;
2455step c3: COMMIT;
2456
2457starting permutation: rx3 rxwy1 c1 wx2 ry3 c3 c2
2458step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2459k      |deposit_date
2460-------+------------
2461receipt|  12-22-2008
2462(1 row)
2463
2464step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2465step c1: COMMIT;
2466step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2467step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2468receipt_no|deposit_date|amount
2469----------+------------+------
2470         1|  12-22-2008|  1.00
2471         2|  12-22-2008|  2.00
2472(2 rows)
2473
2474step c3: COMMIT;
2475step c2: COMMIT;
2476
2477starting permutation: rx3 rxwy1 c1 ry3 wx2 c2 c3
2478step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2479k      |deposit_date
2480-------+------------
2481receipt|  12-22-2008
2482(1 row)
2483
2484step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2485step c1: COMMIT;
2486step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2487receipt_no|deposit_date|amount
2488----------+------------+------
2489         1|  12-22-2008|  1.00
2490         2|  12-22-2008|  2.00
2491(2 rows)
2492
2493step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2494step c2: COMMIT;
2495step c3: COMMIT;
2496
2497starting permutation: rx3 rxwy1 c1 ry3 wx2 c3 c2
2498step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2499k      |deposit_date
2500-------+------------
2501receipt|  12-22-2008
2502(1 row)
2503
2504step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2505step c1: COMMIT;
2506step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2507receipt_no|deposit_date|amount
2508----------+------------+------
2509         1|  12-22-2008|  1.00
2510         2|  12-22-2008|  2.00
2511(2 rows)
2512
2513step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2514step c3: COMMIT;
2515step c2: COMMIT;
2516
2517starting permutation: rx3 rxwy1 c1 ry3 c3 wx2 c2
2518step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2519k      |deposit_date
2520-------+------------
2521receipt|  12-22-2008
2522(1 row)
2523
2524step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2525step c1: COMMIT;
2526step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2527receipt_no|deposit_date|amount
2528----------+------------+------
2529         1|  12-22-2008|  1.00
2530         2|  12-22-2008|  2.00
2531(2 rows)
2532
2533step c3: COMMIT;
2534step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2535step c2: COMMIT;
2536
2537starting permutation: rx3 rxwy1 wx2 c1 c2 ry3 c3
2538step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2539k      |deposit_date
2540-------+------------
2541receipt|  12-22-2008
2542(1 row)
2543
2544step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2545step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2546step c1: COMMIT;
2547step c2: COMMIT;
2548step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2549receipt_no|deposit_date|amount
2550----------+------------+------
2551         1|  12-22-2008|  1.00
2552         2|  12-22-2008|  2.00
2553(2 rows)
2554
2555step c3: COMMIT;
2556
2557starting permutation: rx3 rxwy1 wx2 c1 ry3 c2 c3
2558step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2559k      |deposit_date
2560-------+------------
2561receipt|  12-22-2008
2562(1 row)
2563
2564step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2565step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2566step c1: COMMIT;
2567step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2568receipt_no|deposit_date|amount
2569----------+------------+------
2570         1|  12-22-2008|  1.00
2571         2|  12-22-2008|  2.00
2572(2 rows)
2573
2574step c2: COMMIT;
2575step c3: COMMIT;
2576
2577starting permutation: rx3 rxwy1 wx2 c1 ry3 c3 c2
2578step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2579k      |deposit_date
2580-------+------------
2581receipt|  12-22-2008
2582(1 row)
2583
2584step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2585step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2586step c1: COMMIT;
2587step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2588receipt_no|deposit_date|amount
2589----------+------------+------
2590         1|  12-22-2008|  1.00
2591         2|  12-22-2008|  2.00
2592(2 rows)
2593
2594step c3: COMMIT;
2595step c2: COMMIT;
2596
2597starting permutation: rx3 rxwy1 wx2 c2 c1 ry3 c3
2598step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2599k      |deposit_date
2600-------+------------
2601receipt|  12-22-2008
2602(1 row)
2603
2604step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2605step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2606step c2: COMMIT;
2607step c1: COMMIT;
2608step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2609receipt_no|deposit_date|amount
2610----------+------------+------
2611         1|  12-22-2008|  1.00
2612         2|  12-22-2008|  2.00
2613(2 rows)
2614
2615step c3: COMMIT;
2616
2617starting permutation: rx3 rxwy1 wx2 c2 ry3 c1 c3
2618step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2619k      |deposit_date
2620-------+------------
2621receipt|  12-22-2008
2622(1 row)
2623
2624step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2625step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2626step c2: COMMIT;
2627step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2628receipt_no|deposit_date|amount
2629----------+------------+------
2630         1|  12-22-2008|  1.00
2631         2|  12-22-2008|  2.00
2632(2 rows)
2633
2634step c1: COMMIT;
2635step c3: COMMIT;
2636
2637starting permutation: rx3 rxwy1 wx2 c2 ry3 c3 c1
2638step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2639k      |deposit_date
2640-------+------------
2641receipt|  12-22-2008
2642(1 row)
2643
2644step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2645step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2646step c2: COMMIT;
2647step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2648receipt_no|deposit_date|amount
2649----------+------------+------
2650         1|  12-22-2008|  1.00
2651         2|  12-22-2008|  2.00
2652(2 rows)
2653
2654step c3: COMMIT;
2655step c1: COMMIT;
2656
2657starting permutation: rx3 rxwy1 wx2 ry3 c1 c2 c3
2658step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2659k      |deposit_date
2660-------+------------
2661receipt|  12-22-2008
2662(1 row)
2663
2664step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2665step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2666step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2667receipt_no|deposit_date|amount
2668----------+------------+------
2669         1|  12-22-2008|  1.00
2670         2|  12-22-2008|  2.00
2671(2 rows)
2672
2673step c1: COMMIT;
2674step c2: COMMIT;
2675step c3: COMMIT;
2676
2677starting permutation: rx3 rxwy1 wx2 ry3 c1 c3 c2
2678step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2679k      |deposit_date
2680-------+------------
2681receipt|  12-22-2008
2682(1 row)
2683
2684step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2685step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2686step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2687receipt_no|deposit_date|amount
2688----------+------------+------
2689         1|  12-22-2008|  1.00
2690         2|  12-22-2008|  2.00
2691(2 rows)
2692
2693step c1: COMMIT;
2694step c3: COMMIT;
2695step c2: COMMIT;
2696
2697starting permutation: rx3 rxwy1 wx2 ry3 c2 c1 c3
2698step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2699k      |deposit_date
2700-------+------------
2701receipt|  12-22-2008
2702(1 row)
2703
2704step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2705step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2706step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2707receipt_no|deposit_date|amount
2708----------+------------+------
2709         1|  12-22-2008|  1.00
2710         2|  12-22-2008|  2.00
2711(2 rows)
2712
2713step c2: COMMIT;
2714step c1: COMMIT;
2715step c3: COMMIT;
2716
2717starting permutation: rx3 rxwy1 wx2 ry3 c2 c3 c1
2718step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2719k      |deposit_date
2720-------+------------
2721receipt|  12-22-2008
2722(1 row)
2723
2724step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2725step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2726step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2727receipt_no|deposit_date|amount
2728----------+------------+------
2729         1|  12-22-2008|  1.00
2730         2|  12-22-2008|  2.00
2731(2 rows)
2732
2733step c2: COMMIT;
2734step c3: COMMIT;
2735step c1: COMMIT;
2736
2737starting permutation: rx3 rxwy1 wx2 ry3 c3 c1 c2
2738step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2739k      |deposit_date
2740-------+------------
2741receipt|  12-22-2008
2742(1 row)
2743
2744step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2745step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2746step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2747receipt_no|deposit_date|amount
2748----------+------------+------
2749         1|  12-22-2008|  1.00
2750         2|  12-22-2008|  2.00
2751(2 rows)
2752
2753step c3: COMMIT;
2754step c1: COMMIT;
2755step c2: COMMIT;
2756
2757starting permutation: rx3 rxwy1 wx2 ry3 c3 c2 c1
2758step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2759k      |deposit_date
2760-------+------------
2761receipt|  12-22-2008
2762(1 row)
2763
2764step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2765step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2766step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2767receipt_no|deposit_date|amount
2768----------+------------+------
2769         1|  12-22-2008|  1.00
2770         2|  12-22-2008|  2.00
2771(2 rows)
2772
2773step c3: COMMIT;
2774step c2: COMMIT;
2775step c1: COMMIT;
2776
2777starting permutation: rx3 rxwy1 ry3 c1 wx2 c2 c3
2778step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2779k      |deposit_date
2780-------+------------
2781receipt|  12-22-2008
2782(1 row)
2783
2784step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2785step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2786receipt_no|deposit_date|amount
2787----------+------------+------
2788         1|  12-22-2008|  1.00
2789         2|  12-22-2008|  2.00
2790(2 rows)
2791
2792step c1: COMMIT;
2793step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2794step c2: COMMIT;
2795step c3: COMMIT;
2796
2797starting permutation: rx3 rxwy1 ry3 c1 wx2 c3 c2
2798step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2799k      |deposit_date
2800-------+------------
2801receipt|  12-22-2008
2802(1 row)
2803
2804step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2805step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2806receipt_no|deposit_date|amount
2807----------+------------+------
2808         1|  12-22-2008|  1.00
2809         2|  12-22-2008|  2.00
2810(2 rows)
2811
2812step c1: COMMIT;
2813step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2814step c3: COMMIT;
2815step c2: COMMIT;
2816
2817starting permutation: rx3 rxwy1 ry3 c1 c3 wx2 c2
2818step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2819k      |deposit_date
2820-------+------------
2821receipt|  12-22-2008
2822(1 row)
2823
2824step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2825step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2826receipt_no|deposit_date|amount
2827----------+------------+------
2828         1|  12-22-2008|  1.00
2829         2|  12-22-2008|  2.00
2830(2 rows)
2831
2832step c1: COMMIT;
2833step c3: COMMIT;
2834step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2835step c2: COMMIT;
2836
2837starting permutation: rx3 rxwy1 ry3 wx2 c1 c2 c3
2838step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2839k      |deposit_date
2840-------+------------
2841receipt|  12-22-2008
2842(1 row)
2843
2844step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2845step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2846receipt_no|deposit_date|amount
2847----------+------------+------
2848         1|  12-22-2008|  1.00
2849         2|  12-22-2008|  2.00
2850(2 rows)
2851
2852step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2853step c1: COMMIT;
2854step c2: COMMIT;
2855step c3: COMMIT;
2856
2857starting permutation: rx3 rxwy1 ry3 wx2 c1 c3 c2
2858step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2859k      |deposit_date
2860-------+------------
2861receipt|  12-22-2008
2862(1 row)
2863
2864step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2865step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2866receipt_no|deposit_date|amount
2867----------+------------+------
2868         1|  12-22-2008|  1.00
2869         2|  12-22-2008|  2.00
2870(2 rows)
2871
2872step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2873step c1: COMMIT;
2874step c3: COMMIT;
2875step c2: COMMIT;
2876
2877starting permutation: rx3 rxwy1 ry3 wx2 c2 c1 c3
2878step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2879k      |deposit_date
2880-------+------------
2881receipt|  12-22-2008
2882(1 row)
2883
2884step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2885step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2886receipt_no|deposit_date|amount
2887----------+------------+------
2888         1|  12-22-2008|  1.00
2889         2|  12-22-2008|  2.00
2890(2 rows)
2891
2892step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2893step c2: COMMIT;
2894step c1: COMMIT;
2895step c3: COMMIT;
2896
2897starting permutation: rx3 rxwy1 ry3 wx2 c2 c3 c1
2898step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2899k      |deposit_date
2900-------+------------
2901receipt|  12-22-2008
2902(1 row)
2903
2904step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2905step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2906receipt_no|deposit_date|amount
2907----------+------------+------
2908         1|  12-22-2008|  1.00
2909         2|  12-22-2008|  2.00
2910(2 rows)
2911
2912step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2913step c2: COMMIT;
2914step c3: COMMIT;
2915step c1: COMMIT;
2916
2917starting permutation: rx3 rxwy1 ry3 wx2 c3 c1 c2
2918step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2919k      |deposit_date
2920-------+------------
2921receipt|  12-22-2008
2922(1 row)
2923
2924step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2925step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2926receipt_no|deposit_date|amount
2927----------+------------+------
2928         1|  12-22-2008|  1.00
2929         2|  12-22-2008|  2.00
2930(2 rows)
2931
2932step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2933step c3: COMMIT;
2934step c1: COMMIT;
2935step c2: COMMIT;
2936
2937starting permutation: rx3 rxwy1 ry3 wx2 c3 c2 c1
2938step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2939k      |deposit_date
2940-------+------------
2941receipt|  12-22-2008
2942(1 row)
2943
2944step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2945step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2946receipt_no|deposit_date|amount
2947----------+------------+------
2948         1|  12-22-2008|  1.00
2949         2|  12-22-2008|  2.00
2950(2 rows)
2951
2952step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2953step c3: COMMIT;
2954step c2: COMMIT;
2955step c1: COMMIT;
2956
2957starting permutation: rx3 rxwy1 ry3 c3 c1 wx2 c2
2958step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2959k      |deposit_date
2960-------+------------
2961receipt|  12-22-2008
2962(1 row)
2963
2964step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2965step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2966receipt_no|deposit_date|amount
2967----------+------------+------
2968         1|  12-22-2008|  1.00
2969         2|  12-22-2008|  2.00
2970(2 rows)
2971
2972step c3: COMMIT;
2973step c1: COMMIT;
2974step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2975step c2: COMMIT;
2976
2977starting permutation: rx3 rxwy1 ry3 c3 wx2 c1 c2
2978step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2979k      |deposit_date
2980-------+------------
2981receipt|  12-22-2008
2982(1 row)
2983
2984step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
2985step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
2986receipt_no|deposit_date|amount
2987----------+------------+------
2988         1|  12-22-2008|  1.00
2989         2|  12-22-2008|  2.00
2990(2 rows)
2991
2992step c3: COMMIT;
2993step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
2994step c1: COMMIT;
2995step c2: COMMIT;
2996
2997starting permutation: rx3 rxwy1 ry3 c3 wx2 c2 c1
2998step rx3: SELECT * FROM ctl WHERE k = 'receipt';
2999k      |deposit_date
3000-------+------------
3001receipt|  12-22-2008
3002(1 row)
3003
3004step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3005step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3006receipt_no|deposit_date|amount
3007----------+------------+------
3008         1|  12-22-2008|  1.00
3009         2|  12-22-2008|  2.00
3010(2 rows)
3011
3012step c3: COMMIT;
3013step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3014step c2: COMMIT;
3015step c1: COMMIT;
3016
3017starting permutation: rx3 wx2 rxwy1 c1 c2 ry3 c3
3018step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3019k      |deposit_date
3020-------+------------
3021receipt|  12-22-2008
3022(1 row)
3023
3024step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3025step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3026step c1: COMMIT;
3027step c2: COMMIT;
3028step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3029receipt_no|deposit_date|amount
3030----------+------------+------
3031         1|  12-22-2008|  1.00
3032         2|  12-22-2008|  2.00
3033(2 rows)
3034
3035step c3: COMMIT;
3036
3037starting permutation: rx3 wx2 rxwy1 c1 ry3 c2 c3
3038step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3039k      |deposit_date
3040-------+------------
3041receipt|  12-22-2008
3042(1 row)
3043
3044step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3045step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3046step c1: COMMIT;
3047step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3048receipt_no|deposit_date|amount
3049----------+------------+------
3050         1|  12-22-2008|  1.00
3051         2|  12-22-2008|  2.00
3052(2 rows)
3053
3054step c2: COMMIT;
3055step c3: COMMIT;
3056
3057starting permutation: rx3 wx2 rxwy1 c1 ry3 c3 c2
3058step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3059k      |deposit_date
3060-------+------------
3061receipt|  12-22-2008
3062(1 row)
3063
3064step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3065step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3066step c1: COMMIT;
3067step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3068receipt_no|deposit_date|amount
3069----------+------------+------
3070         1|  12-22-2008|  1.00
3071         2|  12-22-2008|  2.00
3072(2 rows)
3073
3074step c3: COMMIT;
3075step c2: COMMIT;
3076
3077starting permutation: rx3 wx2 rxwy1 c2 c1 ry3 c3
3078step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3079k      |deposit_date
3080-------+------------
3081receipt|  12-22-2008
3082(1 row)
3083
3084step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3085step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3086step c2: COMMIT;
3087step c1: COMMIT;
3088step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3089receipt_no|deposit_date|amount
3090----------+------------+------
3091         1|  12-22-2008|  1.00
3092         2|  12-22-2008|  2.00
3093(2 rows)
3094
3095step c3: COMMIT;
3096
3097starting permutation: rx3 wx2 rxwy1 c2 ry3 c1 c3
3098step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3099k      |deposit_date
3100-------+------------
3101receipt|  12-22-2008
3102(1 row)
3103
3104step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3105step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3106step c2: COMMIT;
3107step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3108receipt_no|deposit_date|amount
3109----------+------------+------
3110         1|  12-22-2008|  1.00
3111         2|  12-22-2008|  2.00
3112(2 rows)
3113
3114step c1: COMMIT;
3115step c3: COMMIT;
3116
3117starting permutation: rx3 wx2 rxwy1 c2 ry3 c3 c1
3118step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3119k      |deposit_date
3120-------+------------
3121receipt|  12-22-2008
3122(1 row)
3123
3124step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3125step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3126step c2: COMMIT;
3127step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3128receipt_no|deposit_date|amount
3129----------+------------+------
3130         1|  12-22-2008|  1.00
3131         2|  12-22-2008|  2.00
3132(2 rows)
3133
3134step c3: COMMIT;
3135step c1: COMMIT;
3136
3137starting permutation: rx3 wx2 rxwy1 ry3 c1 c2 c3
3138step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3139k      |deposit_date
3140-------+------------
3141receipt|  12-22-2008
3142(1 row)
3143
3144step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3145step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3146step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3147receipt_no|deposit_date|amount
3148----------+------------+------
3149         1|  12-22-2008|  1.00
3150         2|  12-22-2008|  2.00
3151(2 rows)
3152
3153step c1: COMMIT;
3154step c2: COMMIT;
3155step c3: COMMIT;
3156
3157starting permutation: rx3 wx2 rxwy1 ry3 c1 c3 c2
3158step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3159k      |deposit_date
3160-------+------------
3161receipt|  12-22-2008
3162(1 row)
3163
3164step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3165step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3166step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3167receipt_no|deposit_date|amount
3168----------+------------+------
3169         1|  12-22-2008|  1.00
3170         2|  12-22-2008|  2.00
3171(2 rows)
3172
3173step c1: COMMIT;
3174step c3: COMMIT;
3175step c2: COMMIT;
3176
3177starting permutation: rx3 wx2 rxwy1 ry3 c2 c1 c3
3178step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3179k      |deposit_date
3180-------+------------
3181receipt|  12-22-2008
3182(1 row)
3183
3184step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3185step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3186step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3187receipt_no|deposit_date|amount
3188----------+------------+------
3189         1|  12-22-2008|  1.00
3190         2|  12-22-2008|  2.00
3191(2 rows)
3192
3193step c2: COMMIT;
3194step c1: COMMIT;
3195step c3: COMMIT;
3196
3197starting permutation: rx3 wx2 rxwy1 ry3 c2 c3 c1
3198step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3199k      |deposit_date
3200-------+------------
3201receipt|  12-22-2008
3202(1 row)
3203
3204step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3205step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3206step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3207receipt_no|deposit_date|amount
3208----------+------------+------
3209         1|  12-22-2008|  1.00
3210         2|  12-22-2008|  2.00
3211(2 rows)
3212
3213step c2: COMMIT;
3214step c3: COMMIT;
3215step c1: COMMIT;
3216
3217starting permutation: rx3 wx2 rxwy1 ry3 c3 c1 c2
3218step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3219k      |deposit_date
3220-------+------------
3221receipt|  12-22-2008
3222(1 row)
3223
3224step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3225step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3226step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3227receipt_no|deposit_date|amount
3228----------+------------+------
3229         1|  12-22-2008|  1.00
3230         2|  12-22-2008|  2.00
3231(2 rows)
3232
3233step c3: COMMIT;
3234step c1: COMMIT;
3235step c2: COMMIT;
3236
3237starting permutation: rx3 wx2 rxwy1 ry3 c3 c2 c1
3238step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3239k      |deposit_date
3240-------+------------
3241receipt|  12-22-2008
3242(1 row)
3243
3244step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3245step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3246step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3247receipt_no|deposit_date|amount
3248----------+------------+------
3249         1|  12-22-2008|  1.00
3250         2|  12-22-2008|  2.00
3251(2 rows)
3252
3253step c3: COMMIT;
3254step c2: COMMIT;
3255step c1: COMMIT;
3256
3257starting permutation: rx3 wx2 c2 rxwy1 c1 ry3 c3
3258step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3259k      |deposit_date
3260-------+------------
3261receipt|  12-22-2008
3262(1 row)
3263
3264step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3265step c2: COMMIT;
3266step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3267step c1: COMMIT;
3268step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3269receipt_no|deposit_date|amount
3270----------+------------+------
3271         1|  12-22-2008|  1.00
3272         2|  12-22-2008|  2.00
3273(2 rows)
3274
3275step c3: COMMIT;
3276
3277starting permutation: rx3 wx2 c2 rxwy1 ry3 c1 c3
3278step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3279k      |deposit_date
3280-------+------------
3281receipt|  12-22-2008
3282(1 row)
3283
3284step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3285step c2: COMMIT;
3286step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3287step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3288receipt_no|deposit_date|amount
3289----------+------------+------
3290         1|  12-22-2008|  1.00
3291         2|  12-22-2008|  2.00
3292(2 rows)
3293
3294step c1: COMMIT;
3295step c3: COMMIT;
3296
3297starting permutation: rx3 wx2 c2 rxwy1 ry3 c3 c1
3298step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3299k      |deposit_date
3300-------+------------
3301receipt|  12-22-2008
3302(1 row)
3303
3304step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3305step c2: COMMIT;
3306step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3307step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3308receipt_no|deposit_date|amount
3309----------+------------+------
3310         1|  12-22-2008|  1.00
3311         2|  12-22-2008|  2.00
3312(2 rows)
3313
3314step c3: COMMIT;
3315step c1: COMMIT;
3316
3317starting permutation: rx3 wx2 c2 ry3 rxwy1 c1 c3
3318step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3319k      |deposit_date
3320-------+------------
3321receipt|  12-22-2008
3322(1 row)
3323
3324step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3325step c2: COMMIT;
3326step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3327receipt_no|deposit_date|amount
3328----------+------------+------
3329         1|  12-22-2008|  1.00
3330         2|  12-22-2008|  2.00
3331(2 rows)
3332
3333step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3334step c1: COMMIT;
3335step c3: COMMIT;
3336
3337starting permutation: rx3 wx2 c2 ry3 rxwy1 c3 c1
3338step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3339k      |deposit_date
3340-------+------------
3341receipt|  12-22-2008
3342(1 row)
3343
3344step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3345step c2: COMMIT;
3346step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3347receipt_no|deposit_date|amount
3348----------+------------+------
3349         1|  12-22-2008|  1.00
3350         2|  12-22-2008|  2.00
3351(2 rows)
3352
3353step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3354step c3: COMMIT;
3355step c1: COMMIT;
3356
3357starting permutation: rx3 wx2 c2 ry3 c3 rxwy1 c1
3358step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3359k      |deposit_date
3360-------+------------
3361receipt|  12-22-2008
3362(1 row)
3363
3364step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3365step c2: COMMIT;
3366step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3367receipt_no|deposit_date|amount
3368----------+------------+------
3369         1|  12-22-2008|  1.00
3370         2|  12-22-2008|  2.00
3371(2 rows)
3372
3373step c3: COMMIT;
3374step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3375step c1: COMMIT;
3376
3377starting permutation: rx3 wx2 ry3 rxwy1 c1 c2 c3
3378step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3379k      |deposit_date
3380-------+------------
3381receipt|  12-22-2008
3382(1 row)
3383
3384step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3385step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3386receipt_no|deposit_date|amount
3387----------+------------+------
3388         1|  12-22-2008|  1.00
3389         2|  12-22-2008|  2.00
3390(2 rows)
3391
3392step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3393step c1: COMMIT;
3394step c2: COMMIT;
3395step c3: COMMIT;
3396
3397starting permutation: rx3 wx2 ry3 rxwy1 c1 c3 c2
3398step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3399k      |deposit_date
3400-------+------------
3401receipt|  12-22-2008
3402(1 row)
3403
3404step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3405step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3406receipt_no|deposit_date|amount
3407----------+------------+------
3408         1|  12-22-2008|  1.00
3409         2|  12-22-2008|  2.00
3410(2 rows)
3411
3412step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3413step c1: COMMIT;
3414step c3: COMMIT;
3415step c2: COMMIT;
3416
3417starting permutation: rx3 wx2 ry3 rxwy1 c2 c1 c3
3418step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3419k      |deposit_date
3420-------+------------
3421receipt|  12-22-2008
3422(1 row)
3423
3424step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3425step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3426receipt_no|deposit_date|amount
3427----------+------------+------
3428         1|  12-22-2008|  1.00
3429         2|  12-22-2008|  2.00
3430(2 rows)
3431
3432step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3433step c2: COMMIT;
3434step c1: COMMIT;
3435step c3: COMMIT;
3436
3437starting permutation: rx3 wx2 ry3 rxwy1 c2 c3 c1
3438step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3439k      |deposit_date
3440-------+------------
3441receipt|  12-22-2008
3442(1 row)
3443
3444step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3445step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3446receipt_no|deposit_date|amount
3447----------+------------+------
3448         1|  12-22-2008|  1.00
3449         2|  12-22-2008|  2.00
3450(2 rows)
3451
3452step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3453step c2: COMMIT;
3454step c3: COMMIT;
3455step c1: COMMIT;
3456
3457starting permutation: rx3 wx2 ry3 rxwy1 c3 c1 c2
3458step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3459k      |deposit_date
3460-------+------------
3461receipt|  12-22-2008
3462(1 row)
3463
3464step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3465step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3466receipt_no|deposit_date|amount
3467----------+------------+------
3468         1|  12-22-2008|  1.00
3469         2|  12-22-2008|  2.00
3470(2 rows)
3471
3472step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3473step c3: COMMIT;
3474step c1: COMMIT;
3475step c2: COMMIT;
3476
3477starting permutation: rx3 wx2 ry3 rxwy1 c3 c2 c1
3478step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3479k      |deposit_date
3480-------+------------
3481receipt|  12-22-2008
3482(1 row)
3483
3484step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3485step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3486receipt_no|deposit_date|amount
3487----------+------------+------
3488         1|  12-22-2008|  1.00
3489         2|  12-22-2008|  2.00
3490(2 rows)
3491
3492step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3493step c3: COMMIT;
3494step c2: COMMIT;
3495step c1: COMMIT;
3496
3497starting permutation: rx3 wx2 ry3 c2 rxwy1 c1 c3
3498step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3499k      |deposit_date
3500-------+------------
3501receipt|  12-22-2008
3502(1 row)
3503
3504step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3505step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3506receipt_no|deposit_date|amount
3507----------+------------+------
3508         1|  12-22-2008|  1.00
3509         2|  12-22-2008|  2.00
3510(2 rows)
3511
3512step c2: COMMIT;
3513step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3514step c1: COMMIT;
3515step c3: COMMIT;
3516
3517starting permutation: rx3 wx2 ry3 c2 rxwy1 c3 c1
3518step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3519k      |deposit_date
3520-------+------------
3521receipt|  12-22-2008
3522(1 row)
3523
3524step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3525step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3526receipt_no|deposit_date|amount
3527----------+------------+------
3528         1|  12-22-2008|  1.00
3529         2|  12-22-2008|  2.00
3530(2 rows)
3531
3532step c2: COMMIT;
3533step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3534step c3: COMMIT;
3535step c1: COMMIT;
3536
3537starting permutation: rx3 wx2 ry3 c2 c3 rxwy1 c1
3538step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3539k      |deposit_date
3540-------+------------
3541receipt|  12-22-2008
3542(1 row)
3543
3544step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3545step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3546receipt_no|deposit_date|amount
3547----------+------------+------
3548         1|  12-22-2008|  1.00
3549         2|  12-22-2008|  2.00
3550(2 rows)
3551
3552step c2: COMMIT;
3553step c3: COMMIT;
3554step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3555step c1: COMMIT;
3556
3557starting permutation: rx3 wx2 ry3 c3 rxwy1 c1 c2
3558step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3559k      |deposit_date
3560-------+------------
3561receipt|  12-22-2008
3562(1 row)
3563
3564step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3565step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3566receipt_no|deposit_date|amount
3567----------+------------+------
3568         1|  12-22-2008|  1.00
3569         2|  12-22-2008|  2.00
3570(2 rows)
3571
3572step c3: COMMIT;
3573step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3574step c1: COMMIT;
3575step c2: COMMIT;
3576
3577starting permutation: rx3 wx2 ry3 c3 rxwy1 c2 c1
3578step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3579k      |deposit_date
3580-------+------------
3581receipt|  12-22-2008
3582(1 row)
3583
3584step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3585step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3586receipt_no|deposit_date|amount
3587----------+------------+------
3588         1|  12-22-2008|  1.00
3589         2|  12-22-2008|  2.00
3590(2 rows)
3591
3592step c3: COMMIT;
3593step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3594step c2: COMMIT;
3595step c1: COMMIT;
3596
3597starting permutation: rx3 wx2 ry3 c3 c2 rxwy1 c1
3598step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3599k      |deposit_date
3600-------+------------
3601receipt|  12-22-2008
3602(1 row)
3603
3604step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3605step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3606receipt_no|deposit_date|amount
3607----------+------------+------
3608         1|  12-22-2008|  1.00
3609         2|  12-22-2008|  2.00
3610(2 rows)
3611
3612step c3: COMMIT;
3613step c2: COMMIT;
3614step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3615step c1: COMMIT;
3616
3617starting permutation: rx3 ry3 rxwy1 c1 wx2 c2 c3
3618step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3619k      |deposit_date
3620-------+------------
3621receipt|  12-22-2008
3622(1 row)
3623
3624step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3625receipt_no|deposit_date|amount
3626----------+------------+------
3627         1|  12-22-2008|  1.00
3628         2|  12-22-2008|  2.00
3629(2 rows)
3630
3631step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3632step c1: COMMIT;
3633step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3634step c2: COMMIT;
3635step c3: COMMIT;
3636
3637starting permutation: rx3 ry3 rxwy1 c1 wx2 c3 c2
3638step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3639k      |deposit_date
3640-------+------------
3641receipt|  12-22-2008
3642(1 row)
3643
3644step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3645receipt_no|deposit_date|amount
3646----------+------------+------
3647         1|  12-22-2008|  1.00
3648         2|  12-22-2008|  2.00
3649(2 rows)
3650
3651step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3652step c1: COMMIT;
3653step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3654step c3: COMMIT;
3655step c2: COMMIT;
3656
3657starting permutation: rx3 ry3 rxwy1 c1 c3 wx2 c2
3658step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3659k      |deposit_date
3660-------+------------
3661receipt|  12-22-2008
3662(1 row)
3663
3664step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3665receipt_no|deposit_date|amount
3666----------+------------+------
3667         1|  12-22-2008|  1.00
3668         2|  12-22-2008|  2.00
3669(2 rows)
3670
3671step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3672step c1: COMMIT;
3673step c3: COMMIT;
3674step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3675step c2: COMMIT;
3676
3677starting permutation: rx3 ry3 rxwy1 wx2 c1 c2 c3
3678step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3679k      |deposit_date
3680-------+------------
3681receipt|  12-22-2008
3682(1 row)
3683
3684step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3685receipt_no|deposit_date|amount
3686----------+------------+------
3687         1|  12-22-2008|  1.00
3688         2|  12-22-2008|  2.00
3689(2 rows)
3690
3691step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3692step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3693step c1: COMMIT;
3694step c2: COMMIT;
3695step c3: COMMIT;
3696
3697starting permutation: rx3 ry3 rxwy1 wx2 c1 c3 c2
3698step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3699k      |deposit_date
3700-------+------------
3701receipt|  12-22-2008
3702(1 row)
3703
3704step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3705receipt_no|deposit_date|amount
3706----------+------------+------
3707         1|  12-22-2008|  1.00
3708         2|  12-22-2008|  2.00
3709(2 rows)
3710
3711step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3712step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3713step c1: COMMIT;
3714step c3: COMMIT;
3715step c2: COMMIT;
3716
3717starting permutation: rx3 ry3 rxwy1 wx2 c2 c1 c3
3718step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3719k      |deposit_date
3720-------+------------
3721receipt|  12-22-2008
3722(1 row)
3723
3724step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3725receipt_no|deposit_date|amount
3726----------+------------+------
3727         1|  12-22-2008|  1.00
3728         2|  12-22-2008|  2.00
3729(2 rows)
3730
3731step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3732step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3733step c2: COMMIT;
3734step c1: COMMIT;
3735step c3: COMMIT;
3736
3737starting permutation: rx3 ry3 rxwy1 wx2 c2 c3 c1
3738step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3739k      |deposit_date
3740-------+------------
3741receipt|  12-22-2008
3742(1 row)
3743
3744step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3745receipt_no|deposit_date|amount
3746----------+------------+------
3747         1|  12-22-2008|  1.00
3748         2|  12-22-2008|  2.00
3749(2 rows)
3750
3751step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3752step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3753step c2: COMMIT;
3754step c3: COMMIT;
3755step c1: COMMIT;
3756
3757starting permutation: rx3 ry3 rxwy1 wx2 c3 c1 c2
3758step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3759k      |deposit_date
3760-------+------------
3761receipt|  12-22-2008
3762(1 row)
3763
3764step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3765receipt_no|deposit_date|amount
3766----------+------------+------
3767         1|  12-22-2008|  1.00
3768         2|  12-22-2008|  2.00
3769(2 rows)
3770
3771step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3772step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3773step c3: COMMIT;
3774step c1: COMMIT;
3775step c2: COMMIT;
3776
3777starting permutation: rx3 ry3 rxwy1 wx2 c3 c2 c1
3778step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3779k      |deposit_date
3780-------+------------
3781receipt|  12-22-2008
3782(1 row)
3783
3784step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3785receipt_no|deposit_date|amount
3786----------+------------+------
3787         1|  12-22-2008|  1.00
3788         2|  12-22-2008|  2.00
3789(2 rows)
3790
3791step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3792step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3793step c3: COMMIT;
3794step c2: COMMIT;
3795step c1: COMMIT;
3796
3797starting permutation: rx3 ry3 rxwy1 c3 c1 wx2 c2
3798step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3799k      |deposit_date
3800-------+------------
3801receipt|  12-22-2008
3802(1 row)
3803
3804step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3805receipt_no|deposit_date|amount
3806----------+------------+------
3807         1|  12-22-2008|  1.00
3808         2|  12-22-2008|  2.00
3809(2 rows)
3810
3811step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3812step c3: COMMIT;
3813step c1: COMMIT;
3814step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3815step c2: COMMIT;
3816
3817starting permutation: rx3 ry3 rxwy1 c3 wx2 c1 c2
3818step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3819k      |deposit_date
3820-------+------------
3821receipt|  12-22-2008
3822(1 row)
3823
3824step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3825receipt_no|deposit_date|amount
3826----------+------------+------
3827         1|  12-22-2008|  1.00
3828         2|  12-22-2008|  2.00
3829(2 rows)
3830
3831step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3832step c3: COMMIT;
3833step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3834step c1: COMMIT;
3835step c2: COMMIT;
3836
3837starting permutation: rx3 ry3 rxwy1 c3 wx2 c2 c1
3838step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3839k      |deposit_date
3840-------+------------
3841receipt|  12-22-2008
3842(1 row)
3843
3844step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3845receipt_no|deposit_date|amount
3846----------+------------+------
3847         1|  12-22-2008|  1.00
3848         2|  12-22-2008|  2.00
3849(2 rows)
3850
3851step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3852step c3: COMMIT;
3853step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3854step c2: COMMIT;
3855step c1: COMMIT;
3856
3857starting permutation: rx3 ry3 wx2 rxwy1 c1 c2 c3
3858step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3859k      |deposit_date
3860-------+------------
3861receipt|  12-22-2008
3862(1 row)
3863
3864step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3865receipt_no|deposit_date|amount
3866----------+------------+------
3867         1|  12-22-2008|  1.00
3868         2|  12-22-2008|  2.00
3869(2 rows)
3870
3871step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3872step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3873step c1: COMMIT;
3874step c2: COMMIT;
3875step c3: COMMIT;
3876
3877starting permutation: rx3 ry3 wx2 rxwy1 c1 c3 c2
3878step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3879k      |deposit_date
3880-------+------------
3881receipt|  12-22-2008
3882(1 row)
3883
3884step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3885receipt_no|deposit_date|amount
3886----------+------------+------
3887         1|  12-22-2008|  1.00
3888         2|  12-22-2008|  2.00
3889(2 rows)
3890
3891step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3892step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3893step c1: COMMIT;
3894step c3: COMMIT;
3895step c2: COMMIT;
3896
3897starting permutation: rx3 ry3 wx2 rxwy1 c2 c1 c3
3898step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3899k      |deposit_date
3900-------+------------
3901receipt|  12-22-2008
3902(1 row)
3903
3904step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3905receipt_no|deposit_date|amount
3906----------+------------+------
3907         1|  12-22-2008|  1.00
3908         2|  12-22-2008|  2.00
3909(2 rows)
3910
3911step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3912step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3913step c2: COMMIT;
3914step c1: COMMIT;
3915step c3: COMMIT;
3916
3917starting permutation: rx3 ry3 wx2 rxwy1 c2 c3 c1
3918step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3919k      |deposit_date
3920-------+------------
3921receipt|  12-22-2008
3922(1 row)
3923
3924step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3925receipt_no|deposit_date|amount
3926----------+------------+------
3927         1|  12-22-2008|  1.00
3928         2|  12-22-2008|  2.00
3929(2 rows)
3930
3931step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3932step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3933step c2: COMMIT;
3934step c3: COMMIT;
3935step c1: COMMIT;
3936
3937starting permutation: rx3 ry3 wx2 rxwy1 c3 c1 c2
3938step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3939k      |deposit_date
3940-------+------------
3941receipt|  12-22-2008
3942(1 row)
3943
3944step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3945receipt_no|deposit_date|amount
3946----------+------------+------
3947         1|  12-22-2008|  1.00
3948         2|  12-22-2008|  2.00
3949(2 rows)
3950
3951step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3952step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3953step c3: COMMIT;
3954step c1: COMMIT;
3955step c2: COMMIT;
3956
3957starting permutation: rx3 ry3 wx2 rxwy1 c3 c2 c1
3958step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3959k      |deposit_date
3960-------+------------
3961receipt|  12-22-2008
3962(1 row)
3963
3964step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3965receipt_no|deposit_date|amount
3966----------+------------+------
3967         1|  12-22-2008|  1.00
3968         2|  12-22-2008|  2.00
3969(2 rows)
3970
3971step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3972step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3973step c3: COMMIT;
3974step c2: COMMIT;
3975step c1: COMMIT;
3976
3977starting permutation: rx3 ry3 wx2 c2 rxwy1 c1 c3
3978step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3979k      |deposit_date
3980-------+------------
3981receipt|  12-22-2008
3982(1 row)
3983
3984step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
3985receipt_no|deposit_date|amount
3986----------+------------+------
3987         1|  12-22-2008|  1.00
3988         2|  12-22-2008|  2.00
3989(2 rows)
3990
3991step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
3992step c2: COMMIT;
3993step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
3994step c1: COMMIT;
3995step c3: COMMIT;
3996
3997starting permutation: rx3 ry3 wx2 c2 rxwy1 c3 c1
3998step rx3: SELECT * FROM ctl WHERE k = 'receipt';
3999k      |deposit_date
4000-------+------------
4001receipt|  12-22-2008
4002(1 row)
4003
4004step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4005receipt_no|deposit_date|amount
4006----------+------------+------
4007         1|  12-22-2008|  1.00
4008         2|  12-22-2008|  2.00
4009(2 rows)
4010
4011step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4012step c2: COMMIT;
4013step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4014step c3: COMMIT;
4015step c1: COMMIT;
4016
4017starting permutation: rx3 ry3 wx2 c2 c3 rxwy1 c1
4018step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4019k      |deposit_date
4020-------+------------
4021receipt|  12-22-2008
4022(1 row)
4023
4024step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4025receipt_no|deposit_date|amount
4026----------+------------+------
4027         1|  12-22-2008|  1.00
4028         2|  12-22-2008|  2.00
4029(2 rows)
4030
4031step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4032step c2: COMMIT;
4033step c3: COMMIT;
4034step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4035step c1: COMMIT;
4036
4037starting permutation: rx3 ry3 wx2 c3 rxwy1 c1 c2
4038step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4039k      |deposit_date
4040-------+------------
4041receipt|  12-22-2008
4042(1 row)
4043
4044step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4045receipt_no|deposit_date|amount
4046----------+------------+------
4047         1|  12-22-2008|  1.00
4048         2|  12-22-2008|  2.00
4049(2 rows)
4050
4051step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4052step c3: COMMIT;
4053step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4054step c1: COMMIT;
4055step c2: COMMIT;
4056
4057starting permutation: rx3 ry3 wx2 c3 rxwy1 c2 c1
4058step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4059k      |deposit_date
4060-------+------------
4061receipt|  12-22-2008
4062(1 row)
4063
4064step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4065receipt_no|deposit_date|amount
4066----------+------------+------
4067         1|  12-22-2008|  1.00
4068         2|  12-22-2008|  2.00
4069(2 rows)
4070
4071step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4072step c3: COMMIT;
4073step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4074step c2: COMMIT;
4075step c1: COMMIT;
4076
4077starting permutation: rx3 ry3 wx2 c3 c2 rxwy1 c1
4078step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4079k      |deposit_date
4080-------+------------
4081receipt|  12-22-2008
4082(1 row)
4083
4084step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4085receipt_no|deposit_date|amount
4086----------+------------+------
4087         1|  12-22-2008|  1.00
4088         2|  12-22-2008|  2.00
4089(2 rows)
4090
4091step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4092step c3: COMMIT;
4093step c2: COMMIT;
4094step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4095step c1: COMMIT;
4096
4097starting permutation: rx3 ry3 c3 rxwy1 c1 wx2 c2
4098step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4099k      |deposit_date
4100-------+------------
4101receipt|  12-22-2008
4102(1 row)
4103
4104step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4105receipt_no|deposit_date|amount
4106----------+------------+------
4107         1|  12-22-2008|  1.00
4108         2|  12-22-2008|  2.00
4109(2 rows)
4110
4111step c3: COMMIT;
4112step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4113step c1: COMMIT;
4114step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4115step c2: COMMIT;
4116
4117starting permutation: rx3 ry3 c3 rxwy1 wx2 c1 c2
4118step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4119k      |deposit_date
4120-------+------------
4121receipt|  12-22-2008
4122(1 row)
4123
4124step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4125receipt_no|deposit_date|amount
4126----------+------------+------
4127         1|  12-22-2008|  1.00
4128         2|  12-22-2008|  2.00
4129(2 rows)
4130
4131step c3: COMMIT;
4132step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4133step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4134step c1: COMMIT;
4135step c2: COMMIT;
4136
4137starting permutation: rx3 ry3 c3 rxwy1 wx2 c2 c1
4138step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4139k      |deposit_date
4140-------+------------
4141receipt|  12-22-2008
4142(1 row)
4143
4144step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4145receipt_no|deposit_date|amount
4146----------+------------+------
4147         1|  12-22-2008|  1.00
4148         2|  12-22-2008|  2.00
4149(2 rows)
4150
4151step c3: COMMIT;
4152step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4153step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4154step c2: COMMIT;
4155step c1: COMMIT;
4156
4157starting permutation: rx3 ry3 c3 wx2 rxwy1 c1 c2
4158step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4159k      |deposit_date
4160-------+------------
4161receipt|  12-22-2008
4162(1 row)
4163
4164step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4165receipt_no|deposit_date|amount
4166----------+------------+------
4167         1|  12-22-2008|  1.00
4168         2|  12-22-2008|  2.00
4169(2 rows)
4170
4171step c3: COMMIT;
4172step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4173step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4174step c1: COMMIT;
4175step c2: COMMIT;
4176
4177starting permutation: rx3 ry3 c3 wx2 rxwy1 c2 c1
4178step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4179k      |deposit_date
4180-------+------------
4181receipt|  12-22-2008
4182(1 row)
4183
4184step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4185receipt_no|deposit_date|amount
4186----------+------------+------
4187         1|  12-22-2008|  1.00
4188         2|  12-22-2008|  2.00
4189(2 rows)
4190
4191step c3: COMMIT;
4192step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4193step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4194step c2: COMMIT;
4195step c1: COMMIT;
4196
4197starting permutation: rx3 ry3 c3 wx2 c2 rxwy1 c1
4198step rx3: SELECT * FROM ctl WHERE k = 'receipt';
4199k      |deposit_date
4200-------+------------
4201receipt|  12-22-2008
4202(1 row)
4203
4204step ry3: SELECT * FROM receipt WHERE deposit_date = DATE '2008-12-22';
4205receipt_no|deposit_date|amount
4206----------+------------+------
4207         1|  12-22-2008|  1.00
4208         2|  12-22-2008|  2.00
4209(2 rows)
4210
4211step c3: COMMIT;
4212step wx2: UPDATE ctl SET deposit_date = DATE '2008-12-23' WHERE k = 'receipt';
4213step c2: COMMIT;
4214step rxwy1: INSERT INTO receipt VALUES (3, (SELECT deposit_date FROM ctl WHERE k = 'receipt'), 4.00);
4215step c1: COMMIT;
4216