Позитивные графы и вычислимая сводимость на них как математические модели баз данных
Full Name of the work head: Калмурзаев Биржан Сеилханович
Исполнители проекта:
: АО «Казахстанско-Британский технический университет»
Inventory number: 0222РК00212
Registration number: 0120РК00517
Keywords: Вычислимо перечислимые отношения эквивалентности,вычислимые нумерации,конструктивные алгебраические системы,позитивные графы,позитивные предпорядки
В результате исследований были установлены сложность индексных множеств для следующих классов предпорядков: отношения эквивалентности, линейные предпорядки, светлые и темные предпорядки, самополные предпорядки, а также supp-определимые предпорядки. Была установлена в классе арифметических предпорядков сложность отношения вычислимой сводимости позитивных эквивалентностей. А также были установлены достаточные условия для существования универсальных нумераций и универсальных степеней относительно вычислимой сводимости.
