Re: SQL pour trouver le premier libre?

Merci pour cette solution qui parait très forte.
Désolé de ne pas avoir répondu plus tôt.

Pierre Couderc

Jean-Paul Argudo a écrit :
> Re,
>
> Il y a une autre solution, qui me paraît être encore meilleure, et bien
> moins coûteuse, la voici:
>
> explain
> SELECT (x.a+1) AS id_disponible
> FROM nombres x
> LEFT JOIN nombres y
> ON ((x.a + 1) = y.a)
> WHERE y.a IS NULL
> ORDER BY x.a
> LIMIT 1;
> QUERY PLAN
> -----------------------------------------------------------------------------------
> Limit (cost=0.00..1.58 rows=1 width=4)
> -> Nested Loop Left Join (cost=0.00..22.09 rows=14 width=4)
> Join Filter: (("outer".a + 1) = "inner".a)
> Filter: ("inner".a IS NULL)
> -> Index Scan using id_a on nombres x (cost=0.00..3.15
> rows=14 width=4)
> -> Seq Scan on nombres y (cost=0.00..1.14 rows=14 width=4)
> (6 lignes)
>
> test2=> SELECT (x.a+1) AS id_disponible FROM nombres x LEFT JOIN nombres
> y ON ((x.a + 1) = y.a) WHERE y.a IS NULL ORDER BY x.a LIMIT 1;
> id_disponible
> ---------------
> 4
> (1 ligne)
>
> Si vous constatez des lenteurs, il vous faudra créer un index sur a (si
> ce n'est pas déjà fait, ce dont je doute):
>
> create unique index id_a on nombres(a);
>
> Et un index fonctionnel comme suit:
>
> create index id_a_suivant on nombres ((a+1));
>
> En tout cas, cette écriture sera moins coûteuse que celle avec le EXCEPT.
>
> Merci à John Hansen (appeljack) pour cette idée.
>
> Cordialement,
>