2. Прикладная математика
Программа 2.5. Проблемы теоретической кибернетики, дискретного анализа, исследования операций и искусственного интеллекта

Предложена XML-алгебра, поддерживающая язык запросов Xquery и определяющая набор операторов конструирования выражений. Введение таких операторов вместо операций высокого уровня, использующих функции в качестве аргументов, позволило остаться в рамках логики первого порядка. Предложенный набор операторов существенно отличается по составу от набора операторов реляционной алгебры.