Спецкурс
«Функциональные и логические методы обработки слабоструктурированной информации»
2003

---

---

Лектор: к.т.н. Лисовский К.Ю.

Спецкурс посвящен широкому кругу вопросов, связанных с хранением и обработкой частично-структурированной информации. Рассматривается язык XML и основанные на нем технологии, дается обзор спецификаций консорциума W3C. Рассматриваются вопросы интеграции с реляционными СУБД, дается представление о исследовательских проектах в данной области.

Изучаются методы функционального программирования на языке Scheme применительно к задачам обработки слабоструктурированных данных. Язык XML рассматривается как синтаксис для текстового представления S-выражений, алгоритмы обработки таких данных могут быть реализованы на языке Scheme просто и наглядно. Изучаются и исследуются реализации промышленных стандартов (XPath, XSLT, DOM, DSSSL), а также академических разработок (DataGuide).

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

Особое внимание уделяется практическому применению исследуeмых технологий в информационных системах Internet/intranet.


Программа

Лямбда-исчисление
Синтаксис и семантика
Свободные и связанные переменные
Редукция и нормальные формы
Рекурсия и неподвижная точка
Язык Scheme
Авторекурсия и передача продолжений
Присваивание и побочные эффекты
Объектные расширения
DSSSL
Язык Дейталог
Синтаксис и семантика
Итерация наименьшей неподвижной точки
Трансляция Дейталога в реляционную алгебру
Слабоструктурированные данные
XML и инфраструктура
Схема - описывающая и предписывающая
DTD, XML Schema и DataGuide
XML и S-выражения. XML Information Set
Реализация XML-инфраструктуры на Scheme
Использование Дейталог-программ для представления частично структурированной информации
Дейталог как язык запросов
Интеграция с системами управления базами данных


Основная литература

  1. А.Филд, П.Харрисон. Функциональное программирование
    М., Мир, 1993.
  2. Дж.Д.Ульман, Дж.Уидом. Введение в системы баз данных
    М., Лори, 2000.
  3. С.Чери, Г.Готтлоб, Л.Танка. Логическое программирование и базы данных.
    М., Мир, 1993.

Дополнительная информация
Программа курса в 2004 году

---

---