XML - статьи


              

Остальные свойства интерпретации проверяются аналогично.


Остальные свойства интерпретации проверяются аналогично.

В случае, когда E? E' шестое условие принимает следующий вид p
p'.

Следствие 1 (Критерий эквивалентности схем, отличающихся только структурами) Пусть S=(T,E,A,p,a,r) и S'=( T,E,A,p',a,r) две структурные схемы, у которых множество валидируемых XML документов непустое, и отличающиеся только регулярными выражениями, задающими структурное вложение. Тогда схемы S и S' эквивалентны тогда и только тогда, когда
e
E p(e)
p'(e)

Достаточное условие является следствием теоремы 3, а необходимое условие проверяется на множестве экземпляров XML документов, удовлетворяющих схемам.


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