修改某个元组的值时需要参照其旧值，并且新旧值之间需要满足某种约束条件叫做