Университеттің 85 жылдығына арналған Қазіргі заманғы математика
Университеттің 85 жылдығына арналған «Қазіргі заманғы математика
жүктеу/скачать 12,2 Mb. Pdf көрінісі
|
TaimanovMatem
- Бұл бет үшін навигация:
- Овыразимости запросов баз данных над упорядоченной областью определения с малым числом счетных моделей Аннотация
| Университеттің 85 жылдығына арналған «Қазіргі заманғы математика:
проблемалары және қолданыстары» III халықаралық Тайманов оқуларының материалдар жинағы, 25 қараша, 2022 жыл 423 выпуклой формулой 1 ( x , b 1 ) для некоторого b 1 b . В силу почти омега-категоричности i i i i попарно неэквивалентных выпуклых формул ( x , b 1 ) с условием p ( M ) ( M , b 1 ) конечное i i число. Таким образом, мы заключаем что левая граница множества р(М) определяется счетным числом констант из А. Поэтому в качестве подмножество множества А. A 0 можем взять счетное Случай 3. р(х) – иррациональный.В этом случае можно показать аналогично Случаю 2, что как левая, так и правая границы множества р(М), определяются счетным множеством констант из А. Таким образом, в качестве можем взять первый несчетный кардинал Следовательно, Т имеет Свойство Изоляции. 1 . Заключение Таким образом,в качестве следствия получаем что если Т – слабо о-минимальная теория ранга выпуклости 1с малым счетным спектром, то любой расширенный запрос, являющийся локально генерическим над конечными состояниями, эквивалентен ограниченному запросу. Благодарности Данные исследования поддержаны РНФ (Проект № 22-21-00044). Овыразимости запросов баз данных над упорядоченной областью определения с малым числом счетных моделей Аннотация В реляционной моделибаз данных, введенной Э.Ф. Коддом,состояние базы данных понимается как конечная совокупность отношений между элементами. Имена отношений и их арности (местности) фиксируются и называются схемой базы данных . Отдельная информация, хранимая в отношениях данной схемы, называется состоянием базы данных . Хотя реляционные базы данных были придуманы для конечныхсовокупностей данных, часто удобно предполагать, что существует бесконечная область определения. Мы исследуем реляционные базы данных над упорядоченной областью определения с некоторыми дополнительными отношениями – типичным примером является множество рациональных чисел с отношением линейного порядка и бинарной операцией сложения. Если в качестве языка запросов используется язык логики предикатов первого порядка, то запросы могут использовать как отношения базы данных, так и отношения области определения, при этом переменные изменяются на всей области определения. В фокусе наших исследований запросы первого порядка(FO), инвариантные относительно перестановок, сохраняющих порядок, – такие запросы называются порядково-генерическими. Установлено что для некоторых областей порядково- генерические запросы первого порядка сводятся к запросам чистого порядка. Здесь мы доказываем теорему сводимости над слабо о-минимальной областью определения, имеющей ранг выпуклости 1 и малый счетный спектр. жүктеу/скачать 12,2 Mb. Достарыңызбен бөлісу:
|