Toolset for bringing database to well-determined (final) state from another (initial) state.