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

---

---

Лектор: аспирант Лизоркин Д. А.

В 2004 году лекции по специальному курсу проводятся с 6 октября, по средам, в 18:05, в П-12.

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

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

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

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


Программа


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

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

Дополнительная информация
Старая программа курса

---

---