Аңдатпа
Мы исследуем реляционные базы данных над упорядоченной областью определения с некоторыми дополнительными отношениями – типичным примером является упорядоченное множество рациональных чисел с операцией сложения. В фокусе наших исследований запросы первого порядка, инвариантные относительно перестановок, сохраняющих порядок, – такие запросы называются порядково-генерическими. Установлено, что для некоторых областей порядково- генерические запросы первого порядка сводятся к запросам чистого порядка. Здесь мы доказываем теорему сводимости над почти омега-категоричной слабо о-минимальной областью определения, имеющей ранг выпуклости 1.