要素がランダムな順序で表示されるDTDに対するXMLの妥当性チェック

Question

<!ELEMENT myxml (first,second,third)> 
<!ELEMENT first (#PCDATA)> 
<!ELEMENT second (#PCDATA)> 
<!ELEMENT third (#PCDATA)> 

上記のDTDは、子要素（1番目、2番目、および3番目）がXMLで同じ順序になるように制限します。このDTDが必須要素であるが任意の順序で出現する可能性のあるXMLを検証できる方法はありますか？

Answer 1

これは、それぞれの子要素の1つが正確に必要な場合には、微妙なことです。次のような子を少なくとも1つは必要とします。これが私が考えることができる唯一の方法であり、あまりにもかわいいわけではありません。これは、しかし...

<!ELEMENT myxml ( 
       (first,second,third)| 
       (first,third,second)| 
       (second,first,third)| 
       (second,third,first)| 
       (third,first,second)| 
       (third,second,first) 
       )> 
<!ELEMENT first (#PCDATA)> 
<!ELEMENT second (#PCDATA)> 
<!ELEMENT third (#PCDATA)> 

は基本的に私は、正確に一つfirstのすべての組み合わせを指定second、およびthird要素だ作品。

ここに例があります。 first,second、およびthirdの順序は任意ですが、それぞれ正確に1回発生する必要があります。

<!DOCTYPE myxml [ 
<!ELEMENT myxml ( 
       (first,second,third)| 
       (first,third,second)| 
       (second,first,third)| 
       (second,third,first)| 
       (third,first,second)| 
       (third,second,first) 
       )> 
<!ELEMENT first (#PCDATA)> 
<!ELEMENT second (#PCDATA)> 
<!ELEMENT third (#PCDATA)> 
]> 
<myxml> 
    <third></third> 
    <first></first> 
    <second></second> 
</myxml> 

Answer 2

上記はあまり役に立ちませんが、

<!ELEMENT myxml (first|second|third)+> 
<!ELEMENT first (#PCDATA)> 
<!ELEMENT second (#PCDATA)> 
<!ELEMENT third (#PCDATA)> 

Answer 3

XML DTDでは、この制約を明確に指定する方法はありません。 @DevNullが示唆するようにすることができます。それは合法ですが、要素の数が多い場合は技術が扱いにくくなります。

これがSGML DTDに関するものだった場合は、& (AND) connectorを使用できました。しかし、これはXMLが作成されたときのremovedの機能の1つです。