If a simple update violates a constraint, all changes are rolled back and an error thrown