Не знам какво имаш предвид под липсващи, но ако приемем, че общият брой на всички ID-та е този на стойностите за дадения тип, то липсващите са всички останали освен съществуващите.

Т.е. ако имаш съществуващи стойности {1, 2 ,3}, то липсващите за беззнаковия тип tinyint са всички от интервала [4, 127]; за тип smallint - [4, 32767], и т.н.

Everything louder than everything else...