Re: BUG #15577: Query returns different results when executed multiple times

On Tue, Jan 8, 2019 at 1:31 PM David Rowley
<david.rowley@2ndquadrant.com> wrote:
> On Tue, 8 Jan 2019 at 13:09, Bartosz Polnik <bartoszpolnik@gmail.com> wrote:
> > (26 rows)
> >
> > Here's an example with only 21 rows:
>
> Interestingly between those two results, all your 31 distinct rows
> exist. I threw them into a table and did:
>
> # select * from t1 full join t2 on t1.a=t2.a and t1.b=t2.b and t1.c=t2.c;
>     a     |   b    |    c    |    a     |   b    |    c
> ----------+--------+---------+----------+--------+---------
>  16114789 | 292051 | 3038539 | 16114789 | 292051 | 3038539
>  16114811 | 298605 | 2893188 |          |        |
>  16114811 | 298605 | 2893391 |          |        |
>  16114811 | 298605 | 2893809 | 16114811 | 298605 | 2893809
>  16114811 | 298605 | 2983360 |          |        |
>  16114811 | 298605 | 2987038 |          |        |
>  16114811 | 298605 | 2998909 |          |        |
>  16114811 | 298605 | 2998966 |          |        |
>  16114811 | 298605 | 3010694 |          |        |
>  16114811 | 298605 | 3026078 |          |        |
>  16114811 | 298605 | 3038221 |          |        |
>  16114811 | 298605 | 3038877 |          |        |
>  16114813 | 342353 | 3052371 | 16114813 | 342353 | 3052371
>  16114814 | 331329 | 2946332 | 16114814 | 331329 | 2946332
>  16115106 | 350047 | 2902075 | 16115106 | 350047 | 2902075
>  16115788 | 348539 | 2913754 | 16115788 | 348539 | 2913754
>  16115788 | 348539 | 2913874 | 16115788 | 348539 | 2913874
>  16115788 | 348539 | 3039173 | 16115788 | 348539 | 3039173
>  16115861 | 350487 | 2933633 | 16115861 | 350487 | 2933633
>  16116066 | 351434 | 3010909 | 16116066 | 351434 | 3010909
>  16116069 | 351585 | 3025941 | 16116069 | 351585 | 3025941
>  16116185 | 328860 | 2936924 | 16116185 | 328860 | 2936924
>  16116241 | 295971 | 3038921 | 16116241 | 295971 | 3038921
>  16116249 | 296708 | 3038888 | 16116249 | 296708 | 3038888
>           |        |         | 16116256 | 293541 | 2901933
>  16116256 | 293541 | 2901938 | 16116256 | 293541 | 2901938
>           |        |         | 16116256 | 293541 | 2997160
>           |        |         | 16116260 | 290583 | 2901669
>           |        |         | 16116260 | 290583 | 2921135
>           |        |         | 16116260 | 290583 | 2947914
>  16116260 | 290583 | 2955483 | 16116260 | 290583 | 2955483
> (31 rows)
>
> IOW, it does not seem like there's a particlar pattern to what rows are missing.

Is the pattern something like this?  When the index probe of b should
find multiple matches, it's returning only one and then we move onto
the next outer row?  For example we see this for table_c_id = 298605,
of which we see 11 examples in the 31-row output (with different
table_b_id values), but only one in the 21-row output, with the first
table_b_id value.

-- 
Thomas Munro
http://www.enterprisedb.com