Contains the algorithm for comparing two database models and determining what needs to be changed to migrate one to the other.