XML - статьи



              

Структурные ограничения XML - часть 4


x

a ? ,где x
F, a
T

В следующем разделе, мы опишем классы регулярных грамматик и их соответствие языкам спецификаций схем.

Следующие определения описывают понятие валидируемости XML документа. Здесь и далее, XML документ рассматривается в рамках модели XML , представленной в первой главе.

Определение 5 (Интерпретация) Интерпретация I XML документа D в терминах структурной схемы S=(T,E,A,p,a,r) - это набор отображений I=(ф ,? ,? ), где

  • ф - это отображение ED, -множества элементов документа, на множество E

  • ? - это отображение AD, -множества атрибутов документа на множество A

    ? - это отображение TD, - множества текстовых узлов документа на множество T

Также должны выполняться следующие условия:

  • (согласование имен элементов)Пусть name - функция, ставящая в соответствие узлу документа его имя. Тогда

    e
    ED: name(e)= name (ф (e))
  • (согласование имен и значений атрибутов)Пусть value- функция, ставящая в соответствие узлу документа его значение. Тогда

    a
    AD: name(a)= name (? (a)) , value(a)
    dom(? (a)), где dom(x) - это домен принимаемых значений типа атрибута

    (согласование текстовых узлов)

    t
    TD: value(t)
    ? (t)

    (согласование атрибутов с элементами)Пусть Ae={ai} i=[0,..,ne] - множество атрибутов элемента е. Тогда

    e
    ED:
    i
    [0,.., ne] ? (ai)
    ; a(ф(e))

    (согласование обязательных атрибутов) ф-1(es) - множество элементов документа D, которые отображаются в тип элемента es. Также пусть R(es) - это подмножество a(es), в которое входят те и только те типы атрибутов, у которых проставлен идентификатор обязательности. Тогда

    es
    E
    as
    R(es)
    e
    ф-1(es)
    a
    Ae : ?(a)= as

    (согласование корневого элемента) Для rD - корневого элемента документа D : ф( rD)=r

    (согласование содержания элемента)Пусть Ce = [e0,..,en] - есть упорядоченная последовательность элементов и текстовых узлов, вложенных в e. Тогда

    e
    ED: I(e0),.., I(en) |= p(ф (e)), где I(ei) - это одно из двух отображений {ф ,? } (в зависимости от типа узла)

Определение 6 (Валидность) Документ D является валидным документом для структурной схемы S (удовлетворяет схеме S), если существует интерпретация I в терминах S (Обозначается D|=S).




Содержание  Назад  Вперед