Version-number-controlled evolution for database changes