要素間に循環参照がないという制約を指定できるXMLのスキーマ言語はありますか?
おもちゃの例として:
<animal name="A" eats="B">
<animal name="B" eats="C">
<animal name="C" eats="D">
検証しますが
<animal name="A" eats="B">
<animal name="B" eats="C">
<animal name="C" eats="D">
<animal name="D" eats="A">
検証されません。