Построена интерпретация оператора конкатенации спецификации информационных гибридных систем в логике предикатов первого порядка на основе упорядоченной делимой абелевой группы с двумя архимедовыми классами. Исследованы вопросы сводимости расширенных запросов баз данных к ограниченным над слабо циклически минимальной областью определения. Построены категории и функторы для описания диаграмм классов, компонентов, развертывания объектов, пакетов, деятельности для формализации фрагментов унифицированного языка моделирования (UML).