public boolean canRedo() {
		return !txStarted && bufferMgr != null && bufferMgr.hasRedoCheckpoints();
	}
Determine if there are any changes which can be redone
@return true if a redo can be performed.
Ghidra/Framework/DB/src/main/java/db/DBHandle.java