Usiłuję zaimplementować bardzo proste ograniczenie schematu XML.

Theidref atrybut na elementy typu<batz> powinien mieć tylko taką wartość, która pasuje doID atrybut co najmniej jednego elementu<bar>.

Jeśli nie ma to dla ciebie żadnego sensu, spójrz na przykładowy dokument XML poniżej, myślę, że to wyjaśnia to lepiej niż próba ujęcia go w słowa.

Tak więc pytanie: dlaczego xmllint przepuszcza poniższą kombinację schematu / xml (mówi, że dokument jest ważny)? Jak to naprawić, aby osiągnąć pożądane ograniczenie?

Schemat:

<?xml version="1.0"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
    targetNamespace="test" xmlns="test" elementFormDefault="qualified">

    <xs:element name="foo">
        <xs:complexType>
            <xs:sequence>
                <xs:element name="bar" minOccurs="0" maxOccurs="unbounded">
                    <xs:complexType>
                        <xs:attribute name="id" use="required" type="xs:string" />
                    </xs:complexType>
                </xs:element>
                <xs:element name="batz" minOccurs="0" maxOccurs="unbounded">
                    <xs:complexType>
                        <xs:attribute name="idref" use="required" type="xs:string" />
                    </xs:complexType>
                </xs:element>
            </xs:sequence>
        </xs:complexType>

        <xs:key name="ID">
            <xs:selector xpath="./bar" />
            <xs:field xpath="@id" />
        </xs:key>

        <xs:keyref name="IDREF" refer="ID">
            <xs:selector xpath="./batz" />
            <xs:field xpath="@idref" />
        </xs:keyref>

    </xs:element>
</xs:schema>

Dokument:

<?xml version="1.0"?>
<foo xmlns="test">
    <bar id="1" />
    <bar id="2" />
    <batz idref="1" /> <!-- this should succeed because <bar id="1"> exists -->
    <batz idref="3" /> <!-- this should FAIL -->
</foo>