Главная страница « Научно-исследовательский семинар «

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

Специфика работы состоит в выявлении близкого соответствия между вложенными списками языка функционального программирования Scheme и древовидной структурой XML-документа и использовании вложенных списков языка Scheme и методов их обработки для представления и обработки XML-данных. Научной новизной обладают следующие результаты работы: преодолена проблема потери соответствия при интеграции языка адресации частей XML-документа XPath с языком программирования общего назначения; разработан язык запросов к совокупности XML-документов, связанных между собой при помощи XLink – языка ссылок XML; разработан оригинальный подход к устранению дублирующих узлов в процессе вычисления выражений языка XPath.

В работе получены следующие основные результаты: предложены средства интеграции языка адресации частей XML-документа XPath с языком программирования общего назначения Scheme на уровне представления данных и вычислительной парадигмы, благодаря чему достигается выразительная мощь языка запросов к XML-данным; предложено расширение предлагаемого языка запросов прозрачной поддержкой семантики языка XLink – языка ссылок XML; разработаны алгоритмы вычисления запросов предлагаемого языка с гарантированной полиномиальной сложностью.

Приглашаются аспиранты и стажеры программистских кафедр.