Для описания гибридных систем реального времени и приближенного описания нелинейных процессов построены логические языки спецификаций. Доказана их непротиворечивость. Составлена интерпретация языков в логике предикатов. Исследованы выразительные способности запросов первого порядка баз данных над о-минимальными теориями. Установлена связь между реляционными базами данных на расширенном и обедненном языках. Результаты могут быть применены при разработке программного обеспечения.
