Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 4 (in Russian), 2003, Стр. 191-218.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume