XML - статьи


              

В следующем разделе, мы опишем


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).


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