Система анализа и верификации структуры гипермедийных ресурсов WWW-сайта

Рассматривается организация и функциональные возможности разработанного лабораторией систем баз данных ИПР РАН прототипа программной системы для анализа и верификации структурной целостности гипермедийных ресурсов WWW-сайта, обнаружения некоторых синтаксических ошибок в его HTM-страницах. После инвентаризации ресурсов сайта и реконструкции их гиперструктуры, верификация структуры осуществляется с помощью операций реляционной алгебры без непосредственного обхода графа гиперсвязей. Наряду с диагностикой различного характера, система формирует НТМL-страницу, содержащую список гипертекстовых ссылок на внешние ресурсы сайта, что позволяет естественным образом проверить их актуальность с помощью Web-браузера. Единственное ограничение, отличающее прототип от функционально-полной системы, состоит в том, что должны удовлетворяться требования операционной системы MS-DOS к именованию файлов и директорий на диске. Прототип функционирует на платформе IBM PC в операционной среде MS DOS и в настоящее время используется в работах по развитию ресурсов WWW-сайта ИПР РАН