performance tuning: avoid redundant db access;

performance tuning: avoid multiple db roundtrips;

clarified signature: more robust treatment of implicit state;

proper sync_database for Database_Progress consumer; more efficient (but less reactive) Database_Progress.stopped;

tuned message;

tuned;

tuned messages;

tuned signature: removed unused arguments;

minor performance tuning: avoid multiple db roundtrips;

more operations;