在数据约束条件中，【 】用来限定符合数据模型的数据状态，以及状态的变化，以保证数据的正确、有效和相容。