CheckIfMigrationCompleted queries the system.upgrades table to determine if the upgrade associated with this version has already been completed.

MarkMigrationCompleted inserts a row in system.migrations.

MarkMigrationCompletedIdempotent is like MarkMigrationCompleted, except it can be called multiple times (or by multiple nodes, concurrently) without failing if the respective row already exists.