public boolean redo() throws IOException {
		boolean success = false;
		synchronized (this) {
			if (canRedo() && bufferMgr.redo()) {
				++checkpointNum;
				reloadTables();
				cacheChangedState();
				success = true;
			}
		}
		if (success) {
			notifyDbRestored();
		}
		return success;
	}
Redo previously undone transaction checkpoint.
Moves forward by one checkpoint only.
All upper-levels must clear table-based cached data prior to 
invoking this method.
@return boolean if redo is successful, else false if undo not allowed
@throws IOException if IO error occurs
Ghidra/Framework/DB/src/main/java/db/DBHandle.java