Формализация средств доступа к базам данных произвольной структуры

Abstract

Рассмотрен основанный на логике подход к формированию запросов в среде неоднородных баз данных. Определен алфавит с расширенной сигнатурой, позволяющий выполнять операции над данными нереляционной структуры. Сформулированы условия, обеспечивающие целостность данных при переходе состояний базы данных. Предложен алгоритм проверки соответствия текущего состояния данных заданным ограничениям. Explore and propose formal means querying relational data, not structure. The basic properties and characteristics of the states integrable database. The algorithm for checking the conformity database defined constraints.