2.2.1 Typdefinitions-Komponenten

Das abstrakte Modell definiert zwei Arten von Typdefinitions-Komponenten: einfache und komplexe.

[Definition:] In dieser Spezifikation wird der Ausdruck Typdefinition verwendet, wenn keine Unterscheidung zwischen einfachen und komplexen Typen gemacht wird.

Typdefinitionen bilden eine Hierarchie mit einer einzigen Wurzel. Die nachfolgenden Unterabschnitte beschreiben zuerst die Merkmale dieser Hierarchie; anschließend werden Definitionen des einfachen und komplexen Typs eingeführt.

2.2.2 Deklarations-Komponenten

Es gibt drei Arten von Deklarations-Komponenten: Element, Attribut und Notation. Diese drei Komponenten werden in den folgenden Unterabschnitten beschrieben. Außerdem werden Element-Ersetzungsgruppen diskutiert, die in Verbindung mit Element-Deklarationen angewendet werden können.

<!ELEMENT A . . .>
<!ATTLIST A . . .>

2.2.3 Elementgruppen-Komponenten

Elementgruppen-, Partikel- und Wildcard-Komponenten tragen zur Definition eines komplexen Typs bei, die den Inhalt einer Element-Informationseinheit kontrolliert.

2.2.4 Komponenten zur Definition von Identitätsbeschränkungen

Eine identitätsbeschränkende Definition ist eine Assoziation zwischen einem Namen und einer von mehreren Varianten von Identitätsbeschränkungen hinsichtlich Eindeutigkeit und Referenz. Alle diese Varianten verwenden [XPath]-Ausdrücke, um Mengen von Informationseinheiten auszuwählen, die in Bezug zu bestimmten Ziel-Element-Informationseinheiten stehen, die eindeutig, ein Schlüssel oder eine gültige Referenz innerhalb eines spezifizierten Bereichs sind. Eine Element-Informationseinheit ist hinsichtlich einer Element-Deklaration mit identitätsbeschränkenden Definitionen nur gültig, wenn diese Definitionen für alle Nachkommen der ausgewählten Element-Informationseinheiten erfüllt sind.

Ausführliche Informationen zu identitätsbeschränkenden Definitionen sind in Identitätsbeschränkungs-Definitionen (§3.11) enthalten.

2.2.5 Gruppen-Definitions-Komponenten

Es werden zwei Arten von „Bequemlichkeitsdefinitionen“ zur Verfügung gestellt, um die Wiederverwendung von Teilen komplexer Typdefinitionen zu ermöglichen: Elementgruppen-Definitionen und Attributgruppen-Definitionen.

2.2.6 Anmerkungs-Komponenten

Eine Anmerkung ist Information für Personen und/oder für maschinelle Verarbeitung. Die Interpretation einer solchen Information ist in dieser Spezifikation nicht definiert.

Ausführliche Informationen über Anmerkungen sind in Anmerkungen (§3.13) enthalten.

2.6.1 xsi:type

Die bei der Validierung eines Elements benutzte Einfache Typdefinition (§2.2.1.2) oder Komplexe Typdefinition (§2.2.1.3) wird normalerweise durch Referenz auf die entsprechenden Schemakomponenten bestimmt. Eine Element-Informationseinheit in einer Instanz darf aber explizit ihren Typ mit Hilfe des Attributs xsi:type bestimmen. Der Wert dieses Attributs ist ein QName; siehe QName-Interpretation (§3.15.3) für eine Beschreibung, wie QName mit einer Typdefinition assoziiert wird.

2.6.2 xsi:nil

XML Schema: Strukturen führt einen Mechanismus ein, der anzeigt, dass ein Element als gültig akzeptiert werden sollte, wenn es keinen Inhalt hat, trotz eines Inhaltstyps, der leeren Inhalt nicht erfordert oder sogar nicht notwendigerweise zulässt. Ein Element kann ohne Inhalt gültig sein, wenn es das Attribut xsi:nil mit dem Wert true (wahr) hat. Ein dementsprechend beschriftetes Element muss leer sein, kann aber Attribute enthalten, sofern dies vom entsprechenden komplexen Typ gestattet wird.

2.6.3 xsi:schemaLocation, xsi:noNamespaceSchemaLocation

Die Attribute xsi:SchemaLocation und xsi:noNamespaceSchemaLocation können in einem Dokument verwendet werden, um Hinweise über den physikalischen Ort von Schemadokumenten zu geben, die im Validierungsprozess verwendet werden können. Einzelheiten über die Verwendung dieser Attribute sind in Finden von Schemadefinitionen im Web (§4.3.2) enthalten.

3.1.1 Komponenten und ihre Eigenschaften

Komponenten werden hinsichtlich ihrer Eigenschaften definiert und jede Eigenschaft wird ihrerseits durch Angabe ihres Wertebereichs definiert. Dies kann man als das Definieren eines Schemas als beschrifteten gerichteten Graphen verstehen, wobei die Wurzel das Schema, jeder Knoten eine Schemakomponente oder ein Literal (Zeichenkette, boolescher Wert, Zahl) und jede beschriftete Kante eine Eigenschaft ist. Der Graph ist nicht azyklisch: Es dürfen nicht mehrere Kopien von Komponenten mit dem gleichen Namen im gleichen Symbolbereich existieren. Das heißt, dass in manchen Fällen neu eintretende Ketten von Eigenschaften existieren müssen. Die Gleichheit von Komponenten zum Zweck dieser Spezifikation wird immer als Gleichheit von Namen (einschließlich Ziel-Namensräume) innerhalb von Symbolbereichen definiert.

[Definition:] In dieser Spezifikation wird der Begriff nicht verwendet benutzt, um nicht angegebene Eigenschaftswerte eindeutig zu bezeichnen.

Jede nicht als optional identifizierte Eigenschaft muss zwingend vorhanden sein; optionale Eigenschaften, die nicht vorhanden sind, haben als Wert nicht verwendet. Jede Eigenschaft, die einen Mengen-, Teilmengen- oder Listenwert hat kann einen leeren Wert haben, sofern dies nicht ausdrücklich ausgeschlossen wird. Dies ist nicht das Gleiche wie nicht verwendet. Eine als Super- oder Submenge einer bestimmten Menge identifizierte Eigenschaft kann gleich dieser Menge sein, sofern nicht eine entsprechende Super- oder Submenge ausdrücklich verlangt wird. Mit 'string' in Teil 1 dieser Spezifikation ist eine Folge von ISO-10646-Zeichen gemeint (siehe zulässige XML-Zeichen in [XML 1.0 (Second Edition)]).

3.1.2 XML-Darstellung von Komponenten

Der hauptsächliche Zweck von XML Schema: Strukturen ist die Definition einer Menge von Schemakomponenten, die den Inhalt von Instanzen einschränken und deren Information-Set erweitern. Obwohl für diesen Zweck keine externe Darstellung von Schemata erforderlich ist, werden solche Darstellungen natürlich häufig benutzt. Um dies entsprechend zu unterstützen, bietet diese Spezifikation eine normative XML-Darstellung für Schemata, die jede Art von Schemakomponente bereitstellt. [Definition:] Ein Dokument in dieser Form (d.h. eine Element-Informationseinheit <schema>) ist ein Schemadokument . Für das Schemadokument insgesamt und seine Bestandteile definieren die folgenden Abschnitte Beziehungen zwischen Element-Informationseinheiten (mit Deklarationen in Schema für Schemata (normativ) (§A) und DTD für Schemata (nicht-normativ) (§G)) und Schemakomponenten. Alle Element-Informationseinheiten in der XML-Darstellung eines Schemas müssen sich im XML-Schema-Namensraum befinden, d.h. ihr [Namensraum-Name] muss http://www.w3.org/2001/XMLSchema lauten. Obwohl normalerweise zur Erstellung von XML Information-Sets, die Schemadokumente sind oder solche enthalten, ein XML-Parser verwendet wird, ist dies keine Voraussetzung. Jeder Mechanismus, der konforme XML Information-Sets gemäß Definition in [XML-Infoset] bildet, ist ein möglicher Ausgangspunkt.

Zwei Aspekte der XML-Darstellungen von Komponenten, die in den folgenden Abschnitten beschrieben werden, sind für alle Komponenten gleichbleibend:

1. Alle erlauben die Qualifizierung von Attributen mit anderen Namensraum-Namen als dem XML-Schema-Namensraum; diese erscheinen als Anmerkungen in der entsprechenden Schemakomponente
2. Alle erlauben eine <annotation> als ihr erstes Kindelement zur Bereitstellung von für Personen lesbaren Dokumentationen und/oder maschinenlesbaren Informationen.

3.1.3 Die Abbildung zwischen XML-Darstellungen und Komponenten

Für jede Art von Schemakomponente gibt es eine entsprechende normative XML-Darstellung. Die nachfolgenden Abschnitte beschreiben die Beziehungen zwischen den Eigenschaften jeder Schemakomponentenart einerseits und den Eigenschaften von Informationseinheiten in der betreffenden XML-Darstellung andererseits, zusammen mit Einschränkungen für die Darstellung über diejenigen hinaus, die implizit in Schema für Schemata (normativ) (§A) definiert sind.

Die Beschreibung erfolgt so, als ob die Beziehungen Abbildungen von der XML-Darstellung auf die Schemakomponente wären. Die Abbildung in die andere Richtung und damit die Entsprechung im Abstrakten kann aber immer daraus gebildet werden.

Bei der Beschreibung der Abbildung von XML-Darstellungen auf Schemakomponenten wird der Wert einer Komponenteneigenschaft oft durch den Wert einer Attribut-Informationseinheit, eines der [Attribute] einer Element-Informationseinheit, bestimmt. Da Schemadokumente auf Schema für Schemata (normativ) (§A) eingeschränkt sind, steht mit einer solchen Attribut-Informationseinheit immer eine einfache Typdefinition in Verbindung. [Definition:] Der Begriff tatsächlicher Wert wird verwendet, um auf das Mitglied des Wertebereichs der einfachen Typdefinition in Verbindung mit einer Attribut-Informationseinheit, die ihrem normalisierten Wert entspricht, Bezug zu nehmen. Dies wird oft eine Zeichenkette (string) sein, kann aber auch eine Ganzzahl (integer), ein boolescher Wert (boolean), eine URI-Referenz usw. sein. Der Begriff wird auch gelegentlich in Bezug auf Element- oder Attribut-Informationseinheiten in einem zu validierenden Dokument verwendet.

Viele Eigenschaften werden im Folgenden so identifiziert, dass sie andere Schemakomponenten oder Mengen von Komponenten als Werte haben. Der besseren Verständlichkeit halber wird bei den Definitionen in diesem Abschnitt davon ausgegangen, dass alle diese Werte tatsächlich vorhanden sind (sofern die Eigenschaft nicht explizit als optional identifiziert wird). Wenn Schemakomponenten aus XML-Darstellungen gebildet werden, die Referenzen auf Namen anderer Komponenten beinhalten, kann diese Annahme verletzt werden, falls eine oder mehrere Referenzen nicht aufgelöst werden können. Diese Spezifikation greift das Thema fehlender Komponenten auf einheitliche Weise auf; siehe Beschreibung in Fehlende Subkomponenten (§5.3). In den folgenden Beschreibungen der einzelnen Komponenten wird die Behandlung fehlender Komponenten nicht erwähnt.

Vorwärtsreferenzen auf benannte Definitionen und Deklarationen sind zulässig, sowohl innerhalb als auch zwischen Schemadokumenten. Bis die Komponente, die einer XML-Darstellung entspricht und eine Vorwärtsreferenz enthält, tatsächlich für die Validierung benötigt wird, kann eine entsprechend benannte Komponente verfügbar sein, so dass die Referenz nicht mehr gebraucht wird; siehe Einzelheiten hierzu in Schemata und Namensräume: Zugriff und Komposition (§4).

3.1.4 Leerraum-Normalisierung während der Validierung

In dieser Spezifikation gilt die [Definition:] Der initiale Wert einer Attribut-Informationseinheit ist der Wert der Eigenschaft [normalisierter Wert] dieser Informationseinheit. Ebenso ist der initiale Wert einer Element-Informationseinheit die Zeichenkette, die sich (in dieser Reihenfolge) aus dem [Zeichencode] jeder Zeichen-Informationseinheit in den [Kindelementen] dieser Element-Informationseinheit zusammensetzt.

Die obige Definition bedeutet, dass Kommentare und Verarbeitungsanweisungen auch mitten im Text bezüglich aller Validierungs-Zwecke ignoriert werden.

[Definition:] Der normalisierte Wert einer Element- oder Attribut-Informationseinheit ist ein initialer Wert, dessen Leerraum, soweit vorhanden, entsprechend dem Wert der Leerraum-Fassette der einfachen Typdefinition, die bei der Validierung herangezogen wird, normalisiert wurde:

preserve

keine Normalisierung; der Wert ist der normalisierte Wert

replace

Alle Vorkommen von #x9 (Tabulator), #xA (Zeilenvorschub) und #xD (Wagenrücklauf) werden durch #x20 (Leerzeichen) ersetzt.

collapse

Im Anschluss an die unter replace beschriebenen Ersetzungen werden aufeinanderfolgende Folgen von #x20-Vorkommen zu einem einzigen #x20 reduziert und beginnende und/oder endende #x20-Vorkommen werden gelöscht.

Es gibt drei alternative Validierungsregeln, die den nötigen Hintergrund für das Obige liefern können: lokal gültiges Attribut (§3.2.4) (Klausel 3), lokal gültiges Element (Typ) (§3.3.4) (Klausel 3.1.3) oder lokal gültiges Element (komplexer Typ) (§3.4.4) (Klausel 2.2).

Diese drei Normalisierungsebenen entsprechen der in XML 1.0 für Elementinhalt, CDATA-Attributinhalt bzw. Token-Attributinhalt vorgeschriebenen Verarbeitung. Die Attributwert-Normalisierung in [XML 1.0 (Second Edition)] enthält weitere Erklärungen über replace und collapse für Attribute. Die Erweiterung dieser Verarbeitung auf Elementinhalt ist notwendig, um eine konsistente Validierungs-Semantik für einfache Typen sicherzustellen, ungeachtet dessen, ob sie auf Attribute oder Elemente angewandt wird. Die zweimalige Durchführung im Fall von Attributen, deren [normalisierter Wert] bereits einer Ersetzung (replace) oder einer Zusammenfassung (collapse) auf der Grundlage von Informationen in einer DTD unterzogen wurde, ist notwendig, um die konsistente Behandlung von Attributen sicherzustellen, ungeachtet des Umfangs, in dem die DTD-Information während der XML-Information-Set-Erzeugung verwendet wurde.

3.2.1 Die Schemakomponente Attribut-Deklaration

Die Attribut-Deklaration für Schemakomponenten hat folgende Eigenschaften:

Die Eigenschaft {Name} muss mit dem lokalen Teil der Namen von zu validierenden Attributen übereinstimmen.

Der Wert des Attributs muss mit der bereitgestellten {Typdefinition} konform sein.

Ein Wert der Eigenschaft {Ziel-Namensraum}, der ungleich nicht verwendet ist, sieht die Validierung von Namensraum-qualifizierten Attribut-Informationseinheiten vor (die ausdrücklich mit einem Präfix auf der Ebene der Zeichen von XML-Dokumenten versehen sein müssen). Nicht verwendet-Werte von {Ziel-Namensraum}validieren unqualifizierte Informationseinheiten (ohne Präfix).

Ein {Gültigkeitsbereich}global identifiziert Attribut-Deklarationen, die für die Verwendung in komplexen Typdefinitionen durch das Schema verfügbar sind. Deklarationen des lokalen Bereichs sind nur für die Verwendung innerhalb der Definition eines komplexen Typs verfügbar, die von der Eigenschaft {Gültigkeitsbereich} identifiziert wird. Diese Eigenschaft wird im Fall von Deklarationen innerhalb von Attributgruppen-Definitionen nicht verwendet: Ihr Gültigkeitsbereich wird bestimmt, wenn sie in der Konstruktion von komplexen Typdefinitionen benutzt werden.

{Wertebereich-Beschränkung} reproduziert die Funktionen der Attributwerte default und #FIXED gemäß XML 1.0. Default spezifiziert, dass das Attribut zwingend im Post-Schema-Information-Set nach der Schema-Validierung enthalten sein muss, und zwar mit dem vorgegebenen Wert, falls das Attribut nicht vorhanden ist; fixed bedeutet, dass der Attributwert, falls vorhanden, gleich dem gelieferten Einschränkungswert sein muss oder, falls nicht vorhanden, wie bei default, den vorgegebenen Wert annimmt. Man beachte, dass es Werte und nicht Zeichenketten sind, die vorgegeben und/oder geprüft werden.

Siehe Anmerkungen (§3.13) mit Informationen zur Rolle der Eigenschaft {Anmerkung}.

[XML-Infoset] unterscheidet Attribute mit Namen wie xmlns oder xmlns:xsl von gewöhnlichen Attributen und identifiziert sie damit als [Namensraum-Attribute]. Dementsprechend ist es unnötig und tatsächlich auch gar nicht möglich, dass Schemata Attribut-Deklarationen enthalten, die solchen Namensraum-Deklarationen entsprechen; siehe xmlns nicht erlaubt (§3.2.6). Diese Spezifikation erlaubt es nicht, einen Vorgabe-Wert für eine Namensraum-Deklaration bereitzustellen.

3.2.2 XML-Darstellung der Schemakomponente Attribut-Deklaration

Die XML-Darstellung einer Schemakomponente Attribut-Deklaration ist eine Element-Informationseinheit <attribute>. Sie spezifiziert eine einfache Typdefinition für ein Attribut entweder durch Referenz oder explizit und kann Vorgabe-Informationen bereitstellen. Die Beziehungen zwischen den Eigenschaften der Informationseinheit und den Eigenschaften der Komponente sind wie folgt:

Attribut-Deklarationen können auf der obersten Ebene eines Schemadokuments oder innerhalb komplexer Typdefinitionen vorkommen, entweder als komplette (lokale) Deklarationen oder durch Referenz auf Deklarationen der obersten Ebene oder innerhalb von Attributgruppen-Definitionen. Für komplette Deklarationen, lokal oder auf der obersten Ebene, wird das Attribut type verwendet, falls die Deklaration eine vordefinierte oder im Voraus deklarierte einfache Typdefinition benutzen kann. Andernfalls wird ein anonymer <simpleType> innerhalb der Deklaration bereitgestellt.

Der Vorgabe-Wert, wenn keine einfache Typdefinition referenziert oder bereitgestellt wird, ist die einfache Urtyp-Definition, die keinerlei Einschränkungen auferlegt.

Die von einer Deklaration der obersten Ebene validierten Attribut-Informationseinheiten müssen mit dem {Ziel-Namensraum} dieser Deklaration qualifiziert werden (falls dieser nicht verwendet wird, muss die Informationseinheit unqualifiziert sein). Die Kontrolle darüber, ob Attribut-Informationseinheiten, die von einer lokalen Deklaration validiert werden, qualifiziert sein müssen oder nicht, wird durch das form-[Attribut] bereitgestellt. Dessen Vorgabe-Wert wird vom [Attribut]attributeFormDefault des einschließenden <schema>, über dessen Festlegung des {Ziel-Namensraum}s, bereitgestellt.

Die Namen der Attribut-Deklarationen der obersten Ebene haben ihren eigenen Symbolbereich. Die Namen von lokalen Attribut-Deklarationen befinden sich im lokalen Symbolbereich der enthaltenden Typdefinition.

3.2.3 Bedingungen an die XML-Darstellung von Attribut-Deklarationen

3.2.4 Validierungsregeln für Attribut-Deklarationen

3.2.5 Beiträge von Attribut-Deklarationen zum XML-Information-Set

3.2.6 Bedingungen an die Schemakomponente Attribut-Deklaration

Alle Attribut-Deklarationen (siehe Attribut-Deklarationen (§3.2)) müssen die folgenden Bedingungen erfüllen.

3.2.7 Vordefinierte Attribut-Deklarationen

In jedem Schema sind per Definition vier Attribut-Deklarationen vorhanden:

3.3.1 Die Schemakomponente Element-Deklaration

Die Schemakomponente Element-Deklaration hat die folgenden Eigenschaften:

Die Eigenschaft {Name} muss mit dem lokalen Teil der Namen von zu validierenden Element-Informationseinheiten übereinstimmen.

Ein {Gültigkeitsbereich}global identifiziert Element-Deklarationen, die zur Verwendung in Inhaltsmodellen innerhalb des Schemas verfügbar sind. Lokal gültige Deklarationen sind nur für die Verwendung innerhalb des komplexen Typs verfügbar, der durch die Eigenschaft {Gültigkeitsbereich} identifiziert wird. Diese Eigenschaft wird im Fall von Deklarationen innerhalb von benannten Elementgruppen nicht verwendet: Ihr {Gültigkeitsbereich} wird bestimmt, wenn sie in der Konstruktion komplexer Typdefinitionen verwendet werden.

Ein Wert der Eigenschaft {Ziel-Namensraum}, der nicht nicht verwendet ist, trägt zur Validierung von Namensraum-qualifizierten Element-Informationseinheiten bei. Nicht verwendete Werte von {Ziel-Namensraum}validieren unqualifizierte Informationseinheiten.

Eine Element-Informationseinheit ist gültig, wenn sie die {Typdefinition} erfüllt. Für eine solche Informationseinheit werden Beiträge zum Schema Information-Set, gemäß {Typdefinition}, der entsprechenden Element-Informationseinheit im Post-Schema-Validierungs-Information-Set hinzugefügt.

Wenn {nullwertfähig}wahr ist, kann ein Element auch gültig sein, wenn es das Namensraum-qualifizierte Attribut mit [lokalem Namen]nil aus dem Namensraum http://www.w3.org/2001/XMLSchema-instance mit dem Wert wahr (siehe xsi:nil (§2.6.2)) besitzt, auch wenn es keinen Text- oder Elementinhalt hat, trotz eines {Inhaltstyp}s, der andernfalls Inhalt voraussetzen würde. Formale Einzelheiten über die Element-Validierung sind in lokal gültiges Element (Element) (§3.3.4) beschrieben.

{Wertebereich-Beschränkung} definiert einen Vorgabe- oder festen Wert für ein Element. Wenn default spezifiziert wurde und das zu validierende Element leer ist, wird die kanonische Form des vorgegebenen Einschränkungswerts zum Schema-normalisierten Wert des validierten Elements im Post-Schema-Validierungs-Information-Set. Wenn fixed spezifiziert wurde, muss der Inhalt des Elements entweder leer sein, wobei sich fixed wie default verhält, oder sein Wert muss mit dem vorgegebenen Einschränkungswert übereinstimmen.

{Identitätsbeschränkungs-Definitionen} drücken Einschränkungen aus, die Eindeutigkeiten und Referenzbeziehungen zwischen den Werten in Beziehung stehender Elemente und Attribute festlegen; siehe Identitätsbeschränkungs-Definitionen (§3.11).

Element-Deklarationen sind Mitglieder der eventuell vorhandenen Ersetzungsgruppe, die durch {Ersetzungsgruppen-Zugehörigkeit} identifiziert wird. Die Mitgliedschaft ist transitiv, aber nicht symmetrisch; eine Element-Deklaration ist Mitglied einer beliebigen Gruppe, wenn die {Ersetzungsgruppen-Zugehörigkeit} der Deklaration Mitglied ist.

Eine leere Eigenschaft {Ersetzungsgruppen-Ausschlüsse} erlaubt es, eine Deklaration als {Ersetzungsgruppen-Zugehörigkeit} anderer Element-Deklarationen zu benennen, die die gleiche {Typdefinition} oder davon abgeleitete Typen haben. Die expliziten Werte von {Ersetzungsgruppen-Ausschlüsse} schließen Element-Deklarationen aus, die Typen haben, die Erweiterungen bzw. Beschränkungen der {Typdefinition} sind. Wenn beide Werte spezifiziert wurden, darf die Deklaration nicht als {Ersetzungsgruppen-Zugehörigkeit} einer anderen Deklaration benannt werden.

Die für {Nicht erlaubte Ersetzungen} gelieferten Werte bestimmen, ob eine Element-Deklaration, die in einem Inhaltsmodell erscheint, von zusätzlich validierenden Element-Deklarationen verhindert werden kann, die (a) einen xsi:type (§2.6.1) haben, der eine Erweiterung oder Beschränkung des Typs des deklarierten Elements bestimmt, und/oder (b) validierende Elemente haben, denen in der Ersetzungsgruppe das deklarierte Element als Ursprungs-Element voransteht. Wenn {Nicht erlaubte Ersetzungen} leer ist, dann sind alle abgeleiteten Typen und Ersetzungsgruppen-Mitglieder zulässig.

Element-Deklarationen, für die {abstrakt}wahr ist, können in Inhaltsmodellen nur erscheinen, wenn eine Ersetzung zulässig ist; solche Deklarationen dürfen nicht zur Validierung von Elementinhalt verwendet werden.

Siehe Anmerkungen (§3.13) für Informationen zur Rolle der Eigenschaft {Anmerkung}.

3.3.2 XML-Darstellung der Schemakomponente Element-Deklaration

Die XML-Darstellung für die Schemakomponente Element-Deklaration ist eine Element-Informationseinheit <element>. Sie spezifiziert eine Typdefinition für ein Element entweder durch Referenz oder explizit und darf Häufigkeits- und Vorgabe-Informationen bereitstellen. Die Beziehungen zwischen den Eigenschaften der Informationseinheiten und den Eigenschaften der entsprechenden Komponenten sind wie folgt:

<element> entspricht einer Element-Deklaration und ermöglicht, dass die Typdefinition dieser Deklaration entweder durch Referenz oder explizite Inklusion spezifiziert wird.

<element>-Einheiten innerhalb von <schema> erzeugen globale Element-Deklarationen; <element>e innerhalb von <group> oder <complexType> erzeugen entweder Partikel, die globale Element-Deklarationen enthalten (falls es ein Attribut ref gibt) oder (ansonsten) lokale Deklarationen. Für vollständige Deklarationen, Deklarationen der obersten Ebene oder lokale Deklarationen wird das Attribut type verwendet, falls die Deklaration eine vordefinierte oder vordeklarierte Typdefinition verwenden kann. Andernfalls wird ein anonymer <simpleType> oder <complexType> innerhalb der Deklaration zur Verfügung gestellt.

Die von einer Deklaration der obersten Ebene validierten Element-Informationseinheiten müssen mit dem {Ziel-Namensraum} dieser Deklaration qualifiziert werden (falls dieser nicht verwendet wird, muss die Informationseinheit unqualifiziert sein). Die Kontrolle darüber, ob Element-Informationseinheiten durch eine lokale Deklaration validiert werden, muss ähnlich qualifiziert oder nicht qualifiziert sein und wird vom [Attribut]form bereitgestellt, dessen Vorgabe-Wert von einem [Attribut]elementFormDefault im einschließenden <schema> über die Ermittlung von {Ziel-Namensraum} bereitgestellt wird.

Wie oben erwähnt, befinden sich die Namen für Element-Deklarationen der obersten Ebene in einem von den Symbolbereichen für die Namen von Typdefinitionen getrennten Symbolbereich, so dass es eine einfache oder komplexe Typdefinition und ein Element mit gleichen Namen auf oberster Ebene geben kann (aber nicht muss). Wie bei Attributnamen befinden sich die Namen lokaler Element-Deklarationen ohne {Ziel-Namensraum} in lokalen Symbolbereichen der enthaltenden Typdefinition.

Dies ermöglicht zwei Ebenen für die Bereitstellung von Vorgabe-Werten für nicht spezifizierte Typdefinitionen. Ein <element> ohne referenzierte oder eingeschlossene Typdefinition wird einer Element-Deklaration entsprechen, die die gleiche Typdefinition wie die des Ursprungs-Elements seiner Ersetzungsgruppe hat, soweit vorhanden; andernfalls die Urtyp-Definition. Dies führt zu der wichtigen Konsequenz, dass die minimal gültige Element-Deklaration, d.h. eine mit nur einem Attribut name und keinen Inhalten, ebenfalls die generellste ist, die jede Kombination aus Text- und Elementinhalt validiert und beliebige Attribute zulässt.

Siehe XML-Darstellung der Schemakomponente Identitätsbeschränkungs-Definition (§3.11.2) für Informationen über <key>, <unique> und <keyref>.

<xs:element name="Unbeschränkt"/>

<xs:element name="LeeresElement">
 <xs:complexType>
  <xs:attribute ...>. . .</xs:attribute>
 </xs:complexType>
</xs:element>

<xs:element name="Kontext1">
 <xs:complexType>
  <xs:sequence>
   <xs:element name="MeinLokalesElement" type="MeinErsterTyp"/>
   <xs:element ref="GlobalesElement"/>
  </xs:sequence>
 </xs:complexType>
</xs:element>

<xs:element name="Kontext2">
 <xs:complexType>
  <xs:sequence>
   <xs:element name="MeinLokalesElement" type="MeinZweiterTyp"/>
   <xs:element ref="GlobalesElement"/>
  </xs:sequence>
 </xs:complexType>
</xs:element>

 <xs:complexType name="facet">
  <xs:complexContent>
   <xs:extension base="xs:annotated">
    <xs:attribute name="value" use="required"/>
   </xs:extension>
  </xs:complexContent>
 </xs:complexType>

 <xs:element name="facet" type="xs:facet" abstract="true"/>

 <xs:element name="encoding" substitutionGroup="xs:facet">
  <xs:complexType>
   <xs:complexContent>
    <xs:restriction base="xs:facet">
     <xs:sequence>
      <xs:element ref="annotation" minOccurs="0"/>
     </xs:sequence>
     <xs:attribute name="value" type="xs:encodings"/>
    </xs:restriction>
   </xs:complexContent>
  </xs:complexType>
 </xs:element>

 <xs:element name="period" substitutionGroup="xs:facet">
  <xs:complexType>
   <xs:complexContent>
    <xs:restriction base="xs:facet">
     <xs:sequence>
      <xs:element ref="annotation" minOccurs="0"/>
     </xs:sequence>
     <xs:attribute name="value" type="xs:duration"/>
    </xs:restriction>
   </xs:complexContent>
  </xs:complexType>
 </xs:element>

 <xs:complexType name="datatype">
  <xs:sequence>
   <xs:element ref="facet" minOccurs="0" maxOccurs="unbounded"/>
  </xs:sequence>
  <xs:attribute name="name" type="xs:NCName" use="optional"/>
  . . .
 </xs:complexType>

3.3.3 Bedingungen an die XML-Darstellung von Element-Deklarationen

3.3.4 Validierungsregeln für Element-Deklarationen

3.3.5 Beiträge von Element-Deklarationen zum XML-Information-Set

3.3.6 Bedingungen an die Schemakomponente Element-Deklaration

Alle Element-Deklarationen (siehe Element-Deklarationen (§3.3)) müssen die folgenden Bedingungen erfüllen.

Die folgenden Bedingungen definieren Beziehungen, die sich auf andere Stellen in dieser Spezifikation berufen.

3.4.1 Die Schemakomponente Definition eines komplexen Typs

Komplexe Typdefinitionen, sofern sie keine anonymen komplexen Typdefinitionen (ohne {Name}n) sind, werden durch ihren {Name}n und {Ziel-Namensraum} identifiziert. Da Typdefinitionen (d.h. einfache und komplexe Typdefinitionen zusammen genommen) eindeutig innerhalb eines XML Schemas identifiziert werden müssen, kann keine komplexe Typdefinition den gleichen Namen wie eine andere einfache oder komplexe Typdefinition haben. Komplexe Typ-Namen und Ziel-Namensräume werden zur Referenzierung aus Instanzen (siehe xsi:type (§2.6.1)) und für die Verwendung in der XML-Repräsentation von Schemakomponenten (insbesondere in <element>) bereitgestellt. Siehe Referenzen auf Schemakomponenten in Namensräumen (§4.2.3) für die Verwendung von Komponenten-Bezeichnern beim Importieren eines Schemas in ein anderes.

Wie in Typhierarchie (§2.2.1.1) beschrieben, ist jeder komplexe Typ von einer {Basistyp-Definition} abgeleitet, die wiederum entweder eine Einfache Typdefinition (§2.2.1.2) oder eine Komplexe Typdefinition (§2.2.1.3) ist. {Ableitungsmethode} spezifiziert entweder extension oder restriction als Methode zur Ableitung (siehe Typhierarchie (§2.2.1.1)).

Ein komplexer Typ mit einer leeren Spezifikation für {abgeschlossen} kann als {Basistyp-Definition} für andere Typen verwendet werden, die entweder durch Erweiterung oder Restriktion abgeleitet werden; die expliziten Werte extension und restriction verhindern weitere Ableitungen durch Erweiterung bzw. Restriktion. Falls beide Werte spezifiziert wurden, dann gilt: [Definition:] Ein komplexer Typ wird abgeschlossen genannt, weil keine weiteren Ableitungen möglich sind. Abgeschlossen wird nicht geerbt, d.h. eine Typdefinition, die von einer Typdefinition durch Restriktion abgeleitet wurde, aber von der Erweiterungen nicht zulässig sind, ist keinesfalls für Ableitungen eingeschränkt, es sei denn, sie hat selbst ein explizites final-Attribut.

Komplexe Typen, für die {abstrakt}wahr ist, dürfen nicht als {Typdefinition} für die Validierung von Element-Informationseinheiten verwendet werden. Folglich dürfen sie nicht von einem Attribut xsi:type (§2.6.1) in einem Instanzdokument referenziert werden. Abstrakte komplexe Typen können als {Basistyp-Definition}en verwendet werden oder sogar als {Typdefinition}en von Element-Deklarationen, sofern in jedem Fall eine konkrete abgeleitete Typdefinition entweder über xsi:type (§2.6.1) oder das Verfahren einer Ersetzungsgruppe für die Validierung bereitgestellt wird.

{Attribut-Verwendungen} sind eine Menge von Attribut-Verwendungen. Siehe lokal gültiges Element (komplexer Typ) (§3.4.4) und lokal gültiges Attribut (§3.2.4) für Details der Attribut-Validierung.

{Attribut-Wildcard}s stellen eine flexiblere Spezifikation der Validierung für Attribute bereit, die nicht explizit in {Attribut-Verwendungen} eingeschlossen sind. Informell werden die spezifischen Werte aus {Attribut-Wildcard} wie folgt interpretiert:

• any: [Attribute] können Attribute mit einem beliebigen qualifizierten oder unqualifizierten Namen beinhalten.
• Eine Menge, deren Mengenelemente entweder Namensraum-Namen sind oder nicht verwendet werden: [Attribute] können beliebige Attribute aus dem/den spezifizierten Namensraum/-räumen beinhalten. Falls nicht verwendet in der Menge enthalten ist, sind (auch) beliebige unqualifizierte Attribute erlaubt.
• 'not' und ein Namensraum-Name: [Attribute] können keine Attribute aus dem spezifizierten Namensraum beinhalten.
• 'not' und nicht verwendet: [Attribute] können unqualifizierte Attribute beinhalten.

Siehe lokal gültiges Element (komplexer Typ) (§3.4.4) und Wildcard erlaubt Namensraum-Namen (§3.10.4) für formale Details über Attribut-Wildcard-Validierung.

{Inhaltstyp} legt die Validierung der [Kindelemente] von Element-Informationseinheiten fest. Informell:

• Ein {Inhaltstyp} mit einem unterscheidbaren Wert leer validiert Elemente ohne Zeichen- oder Element-Informationseinheiten-[Kindelemente].
• Ein {Inhaltstyp}, der eine Einfache Typdefinition (§2.2.1.2) ist, validiert Elemente mit Nur-Zeichen-[Kindelementen].
• Ein {Inhaltstyp} element-only validiert Elemente, deren [Kindelemente] dem gelieferten Inhaltsmodell entsprechen.
• Ein {Inhaltstyp} mixed validiert Elemente, deren Element-[Kindelemente] dem gelieferten Inhaltsmodell entsprechen (d.h. ausdrückliches Ignorieren anderer [Kindelemente] wie Zeichen-Informationseinheiten).

{Verbotene Ersetzungen} legt fest, ob eine Element-Deklaration, die in einem Inhaltsmodell vorkommt, daran gehindert wird, zusätzlich Element-Einheiten zu validieren, die ein Attribut xsi:type (§2.6.1) haben, das eine komplexe Typdefinition identifiziert und durch extension oder restriction von dieser Definition abgeleitet ist, oder die sich in einer Ersetzungsgruppe befinden, deren Typdefinition ebenso abgeleitet wird. Falls {Verbotene Ersetzungen} leer ist, sind alle diese Ersetzungen zulässig, andernfalls ist/sind die benannte(n) Ableitungsmethode(n) nicht zulässig.

Siehe Anmerkungen (§3.13) für Informationen zur Rolle der Eigenschaft {Anmerkungen}.

3.4.2 XML-Darstellung der komplexen Typdefinition

Die XML-Darstellung der Schemakomponente komplexe Typdefinition ist eine Element-Informationseinheit <complexType>.

Die XML-Darstellung für komplexe Typdefinitionen mit dem {Inhaltstyp} einfache Typdefinition ist signifikant anders als die mit anderen {Inhaltstyp}en. Dies schlägt sich auch in unten stehender Darstellung nieder, die zuerst die Elemente zeigt, die in den ersten Fall involviert sind und dann diese für den zweiten. Die Abbildung der Eigenschaften wird für jeden Fall einmal gezeigt.