Целю проекта является представление структур, индуцируемых позитивными графами, как математических моделей баз данных, исследования алгебраических и алгоритмических свойств структуры степеней позитивных графов относительно алгоритмической сводимости.