Какие ограничения целостности обеспечивают логическую непротиворечивость данных при переводе БД из одного состояния в другое?