Методами классической математической логики исследована сводимость расширенных запросов к ограниченным над С-минимальной областью определения баз данных. Доказана эквивалентность конечной переменчивости в исчислении длительности и 0-минимальности. Получено описание обогащения почти 0-минимальных теорий выпуклым предикатом.
