Disjoint by id

[Mark Stobbe]

Hi,

I was wondering if this is correct:

I am using an fetch limit for some queries, though I also need to make sure
I add the prefetch rules to refresh the data. I read in the documentation
that i should use DISJOINT_BY_ID_PREFETCH_SEMANTICS, so I did. Now when I
look at the queries I am a little bit surprised because I see the same id
occur many times. Shouldn't this be purged before building the query?

Example query would be:

SELECT t0.*
FROM   djem_account t0
WHERE  ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 217 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 )
        OR ( t0.id = 219 );

Best regards,
Mark Stobbe