XML - статьи



              

Преобразования структурных схем - часть 2


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

В случае, когда 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 документов, удовлетворяющих схемам.




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