[IMP] database manager: options on dump format