Старая версия

На CITForum'е опубликована статья Новака Л.Г. и Кузнецова С.Д. «Свойства схем данных XML». Для чтения работы требуется математическая подготовка.

Из тезисов:

Определяются нормальные формы структурных ограничений, и доказывается теорема существования нормальных форм для произвольных структурных схем. Нормальные формы — это способ приведения схемы к более простому виду с возможной потерей части семантики. К числу возможных приложений нормальных форм относятся валидация XML-документов, сопоставление схем, трансляция моделей.