1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
|
Parsed test spec with 2 sessions
starting permutation: delete c1 select2 c2
step delete: DELETE FROM target t WHERE t.key = 1;
step c1: COMMIT;
step select2: SELECT * FROM target;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete_pa c1 select2_pa c2
step delete_pa: DELETE FROM target_pa t WHERE t.key = 1;
step c1: COMMIT;
step select2_pa: SELECT * FROM target_pa;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete_tg c1 select2_tg c2
s1: NOTICE: Delete: (1,setup1)
step delete_tg: DELETE FROM target_tg t WHERE t.key = 1;
step c1: COMMIT;
step select2_tg: SELECT * FROM target_tg;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete c1 update2 select2 c2
step delete: DELETE FROM target t WHERE t.key = 1;
step c1: COMMIT;
step update2: UPDATE target t SET val = t.val || ' updated by update2' WHERE t.key = 1;
step select2: SELECT * FROM target;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete_pa c1 update2_pa select2_pa c2
step delete_pa: DELETE FROM target_pa t WHERE t.key = 1;
step c1: COMMIT;
step update2_pa: UPDATE target_pa t SET val = t.val || ' updated by update2_pa' WHERE t.key = 1;
step select2_pa: SELECT * FROM target_pa;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete_tg c1 update2_tg select2_tg c2
s1: NOTICE: Delete: (1,setup1)
step delete_tg: DELETE FROM target_tg t WHERE t.key = 1;
step c1: COMMIT;
step update2_tg: UPDATE target_tg t SET val = t.val || ' updated by update2_tg' WHERE t.key = 1;
step select2_tg: SELECT * FROM target_tg;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete c1 merge2 select2 c2
step delete: DELETE FROM target t WHERE t.key = 1;
step c1: COMMIT;
step merge2: MERGE INTO target t USING (SELECT 1 as key, 'merge2' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set key = t.key + 1, val = t.val || ' updated by ' || s.val;
step select2: SELECT * FROM target;
key|val
---+------
1|merge2
(1 row)
step c2: COMMIT;
starting permutation: delete_pa c1 merge2_pa select2_pa c2
step delete_pa: DELETE FROM target_pa t WHERE t.key = 1;
step c1: COMMIT;
step merge2_pa: MERGE INTO target_pa t USING (SELECT 1 as key, 'merge2_pa' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set key = t.key + 1, val = t.val || ' updated by ' || s.val;
step select2_pa: SELECT * FROM target_pa;
key|val
---+---------
1|merge2_pa
(1 row)
step c2: COMMIT;
starting permutation: delete_tg c1 merge2_tg select2_tg c2
s1: NOTICE: Delete: (1,setup1)
step delete_tg: DELETE FROM target_tg t WHERE t.key = 1;
step c1: COMMIT;
s2: NOTICE: Insert: (1,merge2_tg)
step merge2_tg: MERGE INTO target_tg t USING (SELECT 1 as key, 'merge2_tg' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set key = t.key + 1, val = t.val || ' updated by ' || s.val;
step select2_tg: SELECT * FROM target_tg;
key|val
---+---------
1|merge2_tg
(1 row)
step c2: COMMIT;
starting permutation: delete c1 merge_delete2 select2 c2
step delete: DELETE FROM target t WHERE t.key = 1;
step c1: COMMIT;
step merge_delete2: MERGE INTO target t USING (SELECT 1 as key, 'merge_delete2' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN DELETE;
step select2: SELECT * FROM target;
key|val
---+-------------
1|merge_delete2
(1 row)
step c2: COMMIT;
starting permutation: delete_tg c1 merge_delete2_tg select2_tg c2
s1: NOTICE: Delete: (1,setup1)
step delete_tg: DELETE FROM target_tg t WHERE t.key = 1;
step c1: COMMIT;
s2: NOTICE: Insert: (1,merge_delete2_tg)
step merge_delete2_tg: MERGE INTO target_tg t USING (SELECT 1 as key, 'merge_delete2_tg' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN DELETE;
step select2_tg: SELECT * FROM target_tg;
key|val
---+----------------
1|merge_delete2_tg
(1 row)
step c2: COMMIT;
starting permutation: delete update2 c1 select2 c2
step delete: DELETE FROM target t WHERE t.key = 1;
step update2: UPDATE target t SET val = t.val || ' updated by update2' WHERE t.key = 1; <waiting ...>
step c1: COMMIT;
step update2: <... completed>
step select2: SELECT * FROM target;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete_pa update2_pa c1 select2_pa c2
step delete_pa: DELETE FROM target_pa t WHERE t.key = 1;
step update2_pa: UPDATE target_pa t SET val = t.val || ' updated by update2_pa' WHERE t.key = 1; <waiting ...>
step c1: COMMIT;
step update2_pa: <... completed>
step select2_pa: SELECT * FROM target_pa;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete_tg update2_tg c1 select2_tg c2
s1: NOTICE: Delete: (1,setup1)
step delete_tg: DELETE FROM target_tg t WHERE t.key = 1;
step update2_tg: UPDATE target_tg t SET val = t.val || ' updated by update2_tg' WHERE t.key = 1; <waiting ...>
step c1: COMMIT;
step update2_tg: <... completed>
step select2_tg: SELECT * FROM target_tg;
key|val
---+---
(0 rows)
step c2: COMMIT;
starting permutation: delete merge2 c1 select2 c2
step delete: DELETE FROM target t WHERE t.key = 1;
step merge2: MERGE INTO target t USING (SELECT 1 as key, 'merge2' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set key = t.key + 1, val = t.val || ' updated by ' || s.val; <waiting ...>
step c1: COMMIT;
step merge2: <... completed>
step select2: SELECT * FROM target;
key|val
---+------
1|merge2
(1 row)
step c2: COMMIT;
starting permutation: delete_pa merge2_pa c1 select2_pa c2
step delete_pa: DELETE FROM target_pa t WHERE t.key = 1;
step merge2_pa: MERGE INTO target_pa t USING (SELECT 1 as key, 'merge2_pa' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set key = t.key + 1, val = t.val || ' updated by ' || s.val; <waiting ...>
step c1: COMMIT;
step merge2_pa: <... completed>
step select2_pa: SELECT * FROM target_pa;
key|val
---+---------
1|merge2_pa
(1 row)
step c2: COMMIT;
starting permutation: delete_tg merge2_tg c1 select2_tg c2
s1: NOTICE: Delete: (1,setup1)
step delete_tg: DELETE FROM target_tg t WHERE t.key = 1;
step merge2_tg: MERGE INTO target_tg t USING (SELECT 1 as key, 'merge2_tg' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set key = t.key + 1, val = t.val || ' updated by ' || s.val; <waiting ...>
step c1: COMMIT;
s2: NOTICE: Insert: (1,merge2_tg)
step merge2_tg: <... completed>
step select2_tg: SELECT * FROM target_tg;
key|val
---+---------
1|merge2_tg
(1 row)
step c2: COMMIT;
starting permutation: delete merge_delete2 c1 select2 c2
step delete: DELETE FROM target t WHERE t.key = 1;
step merge_delete2: MERGE INTO target t USING (SELECT 1 as key, 'merge_delete2' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN DELETE; <waiting ...>
step c1: COMMIT;
step merge_delete2: <... completed>
step select2: SELECT * FROM target;
key|val
---+-------------
1|merge_delete2
(1 row)
step c2: COMMIT;
starting permutation: delete_tg merge_delete2_tg c1 select2_tg c2
s1: NOTICE: Delete: (1,setup1)
step delete_tg: DELETE FROM target_tg t WHERE t.key = 1;
step merge_delete2_tg: MERGE INTO target_tg t USING (SELECT 1 as key, 'merge_delete2_tg' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN DELETE; <waiting ...>
step c1: COMMIT;
s2: NOTICE: Insert: (1,merge_delete2_tg)
step merge_delete2_tg: <... completed>
step select2_tg: SELECT * FROM target_tg;
key|val
---+----------------
1|merge_delete2_tg
(1 row)
step c2: COMMIT;
|
