Salve.
Da programmatore, mi verebbe anche in mente un'altra soluzione, cioè di tenere un campo ''progressivo_immagini'' (anche in un semplice campo di un file sequenziale), che conterrebbe l'ultimo progressivo assegnato al nome del file.
Quindi, nel codice del tuo programma, al momento della creazione dell'immagine, vai a leggere il contenuto, ci sommi 1 - rinomini il file (es. 'image & progr'), risalvi il nuovo progressivo e così via... .