DB improvements (better eager reduction, more incremental, etc.)