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