Отношения эквивалентности, предупорядоченные структуры и алгоритмические сводимости на них как математическая модель баз данных
Full Name of the work head: Кыдырбекулы А.Б.
Исполнители проекта: Бадаев С.А., Абешев К.Ш., Исахов А.А. и др.
: Научно-исследовательский институт математики и механики при КазНУ
Inventory number: 0217РК01317
Registration number: 0115РК00769
Keywords: алгоритмические сводимости*улорядоченные структуры
Разработана математическая концепция построения баз данных на основе теории вычислимости и теории позитивно нумерованных алгебраических структур. Установлены существование принципиально различных универсальных объектов, распределение слабо предполных эквивалентностей в структуре степеней. Доказано существование универсального вычислимо перечислимого линейного порядка относительно вычислимой сводимости.
