Реализация XPath над S-выражениями 2007 Миленин Евгений, гр. 544 Кафедра Системного Программирования Математико-Механический ф-т, СПбГУ Научный руководитель: О.А. Паращенко Рецензент: Д.Ю. Булычев

S-выражения  Согласно неформальному определению: атомарное значение (строка, число и т.д.) список атомарных значений или s- выражений  Базовые примитивы car и cdr  Удобно рассматривать как деревья в префиксной форме записи  Семантически близки XML

Пример (Scheme) Решение - XPath //my-string[my-string] (define (my-hello who. rest) (display "Hello,_") (display (my-string (my-string who))) (display "!\n")) Hello,_ !

Мотивы и актуальность работы  Microsoft XLinq, но для Lisp  Lisp старше XML, но до сих пор нет специальных инструментов  Есть исследования. TRX (Regular-tree pattern language; Olin Shivers ) – аналоги RELAX NG, XDUCE  SXPath для SXML – среди родственных работ

Постановка задачи  Предложить новый подход для работы с s-выражениями при помощи стандарта XPath  Построить отображение для произвольного s-выражения  Реализовать библиотеку на языке Scheme

Применяемый подход  Отображение s-выражений на XPath Data Model  Использование проекта Generative XPath для реализации библиотеки

Реализация  Устройство узла (box) parent pointers сравнение узлов – ORDPATH (MS SQL Server)  реализация осей и свойств узлов

Использование библиотеки  Применение: Переформулировать задачу в терминах XPath Data Model Скомпилировать XPath запрос Boxing/unboxing  Уже используется в GXPath для компиляции XPath выражений для invalid XML имён  Предполагается использовать для оптимизации генерируемого кода в GXPath

Выводы  Реализована библиотека на языке Scheme  Основная цель - повышение эффективности труда программиста. Пример //a[b]  Вопросы производительности  Практическая польза библиотеки, научный интерес  Релиз на

Спасибо за внимание! Вопросы?