Университеттің 85 жылдығына арналған «Қазіргі заманғы математика:
проблемалары және қолданыстары» III халықаралық Тайманов оқуларының
материалдар жинағы, 25 қараша, 2022 жыл
419
2.
Байбазаров М.Б.
Дифференциалдық және интегралдық есептеулер: Жоғары оқу
орындары студенттеріне арналған оқу құралы/ М.Б. Байбазаров, Ӛ.Д.Ершібаев. – Алматы:
Білім, 1995. -176 б.
3.
Вилeнкин Н. Я. Мaтeматика: aлгeбpa и нaчaлa мaтeмaтичecкoгo aнaлизa,
гeoметpия. Aлгeбpa и нaчaлa мaтeматичecкoгo aнaлизa. 10 клacc :
yчeбник для yчaщихcя
oбщeoбpaзoвaтeльных opганизаций (yглyблeнный ypoвень) – М. : Мнeмoзинa, 2014. –
352 с.
4.
Иванова Ж.В. O мeтoдичecкoм oбecпeчeнии дициплин «Мaтeмaтичecкий
aнaлиз», «Coвpeмeнныe глaвы мaтeмaтичecкoгo aнaлизa». Иннoвaциoнныe тeхнoлoгии
oбyчeния физикo-мaтeмaтичecким и пpoфeccионaльнo-тeхничecким диcциплинaм:
мaтериaлы ХІІ Междунар. Науч.-пыыракт.конф., -Мозырь, 2020.- Ч.1.-С.40-41.
5.
Серікбаева В. Математикалық анализ элементтердің кӛмегімен қолданбалы
есептерді шығарудың маңызы/ В.Серікбаева // «Математика және физика»
ғылыми
әдістемелік журналы. - 2006 - №4. – 7 бет.
ГРНТИ 27.03.66, 27.47.19
ОВЫРАЗИМОСТИ ЗАПРОСОВ БАЗ ДАННЫХ НАД УПОРЯДОЧЕННОЙ
ОБЛАСТЬЮ ОПРЕДЕЛЕНИЯ С МАЛЫМ ЧИСЛОМ СЧЕТНЫХ МОДЕЛЕЙ
Б.Ш. КУЛПЕШОВ
Казахско-Британский технический университет, Алматы, Казахстан
Введение
В
реляционной модели баз данных, введенной Э.Ф. Коддом [1–2], состояние
базыданных понимается как конечная совокупность отношений между элементами. Имена
отношений и их арности (местности)
фиксируются и называются
схемой базы данных
.
Отдельная информация, хранимая в отношениях данной схемы,
называется
состоянием
базы
данных
.
Хотя
реляционные
базы
данных
были
придуманы
для
конечныхсовокупностей данных, часто удобно предполагать, что существует
бесконечная
область определения
–
например, целые или рациональные числа – так что
элементы данных выбираются из этой области. Функции и отношения, определенные на
всей области определения, (например, отношение линейного порядка
и
операция
сложения+) могут быть также использованы при запрашивании. Например, если в
качестве языказапросов используется язык логики предикатов первого порядка, то
запросы могут использовать
как отношения базы данных, так и отношения области
определения, при этом переменные изменяются на всей области определения.
Выразительная сила запросов базданных исследовалась в работах [3–10].
Формальная постановка
Пусть
М
–
бесконечная
структура
сигнатуры
L.
Здесь
мы
рассматриваемупорядоченные структуры. Это означает, что L включает бинарный
реляционный символ <, интерпретация которого в М удовлетворяет аксиомам линейного
порядка. Мы фиксируем схему базы данных SC и вводим следующие обозначения:
L
0
= {<}, L` = L
0
L`` =
