Open AccessON DATABASE QUERIES OVER ALMOST OMEGA-CATEGORICAL ORDERED DOMAIN
Author(s) -
B. Sh. Kulpeshov,
Timur Mustafin
Publication year - 2021
Publication title -
ķazaķstan-britan tehnikalyķ universitetìnìņ habaršysy
Language(s) - Russian
Resource type - Journals
eISSN - 2959-8109
pISSN - 1998-6688
DOI - 10.55452/1998-6688-2021-18-2-73-78
Subject(s) - omega , categorical variable , domain (mathematical analysis) , database , computer science , information retrieval , combinatorics , mathematics , statistics , linguistics , philosophy , mathematical analysis
Мы исследуем реляционные базы данных над упорядоченной областью определения с некоторыми дополнительными отношениями – типичным примером является упорядоченное множество рациональных чисел с операцией сложения. В фокусе наших исследований запросы первого порядка, инвариантные относительно перестановок, сохраняющих порядок, – такие запросы называются порядково-генерическими. Установлено, что для некоторых областей порядково- генерические запросы первого порядка сводятся к запросам чистого порядка. Здесь мы доказываем теорему сводимости над почти омега-категоричной слабо о-минимальной областью определения, имеющей ранг выпуклости 1.