Рассмотрен основанный на логике подход к описанию и поддержке ограничений целостности в базах данных при их модификации. Сформулированы условия, при которых модификация базы данных может быть выполнена корректно. Определены границы модификаций БД, гарантирующие целостность и согласованность неоднородных структур данных.