Сборники трудов ИСП РАН


Свойства схем данных XML.

Л.Г. Новак, С.Д. Кузнецов.

Аннотация

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

Издание

Труды Института системного программирования РАН, том 4, 2003, стр. 191-218.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома