XML Schema Documentation

Table of Contents

top

Schema Document Properties

Target Namespace None
Element and Attribute Namespaces
  • Global element and attribute declarations belong to this schema's target namespace.
  • By default, local element declarations belong to this schema's target namespace.
  • By default, local attribute declarations have no namespace.

Declared Namespaces

Prefix Namespace
xml http://www.w3.org/XML/1998/namespace
xs http://www.w3.org/2001/XMLSchema
Schema Component Representation
<xs:schema elementFormDefault="qualified">
...
</xs:schema>
top

Global Declarations

Element: AND

  • This element can be used wherever the following element is referenced:
Name AND
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical conjunction.
XML Instance Representation
<AND>
<FORMULATYPE> ... </FORMULATYPE> [1..*]
</AND>
Schema Component Representation
<xs:element name="AND" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: AXIOM

  • This element can be used wherever the following element is referenced:
Name AXIOM
Type Locally-defined complex type
Nillable no
Abstract no
Documentation An axiom formula.
XML Instance Representation
<AXIOM>
<FORMULA> ... </FORMULA> [1]
</AXIOM>
Schema Component Representation
<xs:element name="AXIOM" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULA "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: DEFINITION

  • This element can be used wherever the following element is referenced:
Name DEFINITION
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Definition of predicate or term constants.
XML Instance Representation
<DEFINITION
kind=" xs:string [1]"
id=" xs:NMTOKEN [1]"
arguments=" xs:NMTOKEN [1]">
<LATEXPATTERN> xs:string </LATEXPATTERN> [1]
<VARLIST> [1]
<VAR> ... </VAR> [1..*]
</VARLIST>
Start Sequence [0..1]
<FORMULA> ... </FORMULA> [1]
End Sequence
</DEFINITION>
Schema Component Representation
<xs:element name="DEFINITION" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element name="LATEXPATTERN" type=" xs:string "/>
<xs:element name="VARLIST">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:sequence minOccurs="0">
<xs:element ref=" FORMULA "/>
</xs:sequence>
</xs:sequence>
<xs:attribute name="kind" type=" xs:string " use="required"/>
<xs:attribute name="id" type=" xs:NMTOKEN " use="required"/>
<xs:attribute name="arguments" type=" xs:NMTOKEN " use="required"/>
</xs:complexType>
</xs:element>
top

Element: EQUI

  • This element can be used wherever the following element is referenced:
Name EQUI
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical equivalence.
XML Instance Representation
<EQUI>
<FORMULATYPE> ... </FORMULATYPE> [1..*]
</EQUI>
Schema Component Representation
<xs:element name="EQUI" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: EXISTS

  • This element can be used wherever the following element is referenced:
Name EXISTS
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical existence quantor.
XML Instance Representation
<EXISTS>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
<FORMULATYPE> ... </FORMULATYPE> [0..1]
</EXISTS>
Schema Component Representation
<xs:element name="EXISTS" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR "/>
<xs:element ref=" FORMULATYPE "/>
<xs:element ref=" FORMULATYPE " minOccurs="0"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: FORALL

  • This element can be used wherever the following element is referenced:
Name FORALL
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical universal quantor.
XML Instance Representation
<FORALL>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
<FORMULATYPE> ... </FORMULATYPE> [0..1]
</FORALL>
Schema Component Representation
<xs:element name="FORALL" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR "/>
<xs:element ref=" FORMULATYPE "/>
<xs:element ref=" FORMULATYPE " minOccurs="0"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: FORMULA

Name FORMULA
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<FORMULA>
<FORMULATYPE> ... </FORMULATYPE> [1]
</FORMULA>
Schema Component Representation
<xs:element name="FORMULA">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: FORMULATYPE

Name FORMULATYPE
Type anyType
Nillable no
Abstract yes
XML Instance Representation
<FORMULATYPE> ... </FORMULATYPE>
Schema Component Representation
<xs:element name="FORMULATYPE" abstract="true"/>
top

Element: FUNCON

  • This element can be used wherever the following element is referenced:
Name FUNCON
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<FUNCON
id=" xs:string [1]">
<TERMTYPE> ... </TERMTYPE> [1..*]
</FUNCON>
Schema Component Representation
<xs:element name="FUNCON" substitutionGroup="TERMTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TERMTYPE " maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="id" type=" xs:string " use="required"/>
</xs:complexType>
</xs:element>
top

Element: FUNVAR

  • This element can be used wherever the following element is referenced:
Name FUNVAR
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<FUNVAR
id=" xs:string [1]">
<TERMTYPE> ... </TERMTYPE> [1..*]
</FUNVAR>
Schema Component Representation
<xs:element name="FUNVAR" substitutionGroup="TERMTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TERMTYPE " maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="id" type=" xs:string " use="required"/>
</xs:complexType>
</xs:element>
top

Element: IMPL

  • This element can be used wherever the following element is referenced:
Name IMPL
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical implication.
XML Instance Representation
<IMPL>
<FORMULATYPE> ... </FORMULATYPE> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
</IMPL>
Schema Component Representation
<xs:element name="IMPL" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE "/>
<xs:element ref=" FORMULATYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: LATEX

Name LATEX
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<LATEX
language=" xs:language [0..1]"
level=" LEVELTYPE [0..1]">
xs:string
</LATEX>
Schema Component Representation
<xs:element name="LATEX">
<xs:complexType>
<xs:simpleContent>
<xs:extension base=" xs:string ">
<xs:attribute name="language" type=" xs:language " use="optional" default="en"/>
<xs:attribute name="level" type=" LEVELTYPE "/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>
</xs:element>
top

Element: NODE

  • This element can be used wherever the following element is referenced:
Name NODE
Type Locally-defined complex type
Nillable no
Abstract no
Documentation This part is the smallest unit and carries formulas.
XML Instance Representation
<NODE
label=" xs:NMTOKEN [1]"
level=" xs:string [0..1]">
<NAME> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</NAME>
<TITLE> ... </TITLE> [0..1] ?
<PRECEDING> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</PRECEDING>
<NODETYPE> ... </NODETYPE> [1]
<SUCCEEDING> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</SUCCEEDING>
</NODE>
Schema Component Representation
<xs:element name="NODE" substitutionGroup="SUBSECTIONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element name="NAME" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element ref=" TITLE " minOccurs="0"/>
<xs:element name="PRECEDING" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " minOccurs="1" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element ref=" NODETYPE "/>
<xs:element name="SUCCEEDING" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " minOccurs="1" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
</xs:sequence>
<xs:attribute name="label" type=" xs:NMTOKEN " use="required"/>
<xs:attribute name="level" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

Element: NODETYPE

Name NODETYPE
Type anyType
Nillable no
Abstract yes
XML Instance Representation
<NODETYPE> ... </NODETYPE>
Schema Component Representation
<xs:element name="NODETYPE" abstract="true"/>
top

Element: NOT

  • This element can be used wherever the following element is referenced:
Name NOT
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical negation.
XML Instance Representation
<NOT>
<FORMULATYPE> ... </FORMULATYPE> [1]
</NOT>
Schema Component Representation
<xs:element name="NOT" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: OR

  • This element can be used wherever the following element is referenced:
Name OR
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical disjunction.
XML Instance Representation
<OR>
<FORMULATYPE> ... </FORMULATYPE> [1..*]
</OR>
Schema Component Representation
<xs:element name="OR" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: PREDCON

  • This element can be used wherever the following element is referenced:
Name PREDCON
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<PREDCON
ref=" xs:NMTOKEN [1]">
<TERMTYPE> ... </TERMTYPE> [1..*]
</PREDCON>
Schema Component Representation
<xs:element name="PREDCON" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TERMTYPE " maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:NMTOKEN " use="required"/>
</xs:complexType>
</xs:element>
top

Element: PREDVAR

  • This element can be used wherever the following element is referenced:
Name PREDVAR
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<PREDVAR
ref=" xs:NMTOKEN [1]">
<TERMTYPE> ... </TERMTYPE> [1..*]
</PREDVAR>
Schema Component Representation
<xs:element name="PREDVAR" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TERMTYPE " maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:NMTOKEN " use="required"/>
</xs:complexType>
</xs:element>
top

Element: QEDEQ

Name QEDEQ
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Root element.
XML Instance Representation
<QEDEQ>
<HEADER
email=" EMAILTYPE [0..1] ?"> [1] ?
<SPEC> ... </SPEC> [1] ?
<TITLE> ... </TITLE> [1] ?
<ABSTRACT> [1] ?
<LATEX> ... </LATEX> [1..*]
</ABSTRACT>
<AUTHORS> [1] ?
<AUTHOR
email=" EMAILTYPE [0..1]"> [1] ?
<LATEX> ... </LATEX> [1]
</AUTHOR>
</AUTHORS>
<IMPORTS> [0..1] ?
<IMPORT
label=" xs:NMTOKEN [1] ?"> [1..*] ?
<SPEC> ... </SPEC> [1]
</IMPORT>
</IMPORTS>
<USEDBY> [0..1] ?
<SPEC> ... </SPEC> [1]
</USEDBY>
</HEADER>
<CHAPTER
noNumber=" xs:boolean [0..1]"> [1..*]
<TITLE> ... </TITLE> [1] ?
<INTRODUCTION> [1] ?
<LATEX> ... </LATEX> [1..*]
</INTRODUCTION>
<SECTION
noNumber=" xs:boolean [0..1]"> [0..*] ?
<TITLE> ... </TITLE> [1] ?
<INTRODUCTION> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</INTRODUCTION>
</SECTION>
</CHAPTER>
</QEDEQ>
Schema Component Representation
<xs:element name="QEDEQ">
<xs:complexType>
<xs:sequence>
<xs:element name="HEADER">
<xs:complexType>
<xs:sequence>
<xs:element ref=" SPEC "/>
<xs:element ref=" TITLE "/>
<xs:element name="ABSTRACT">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element name="AUTHORS">
<xs:complexType>
<xs:sequence>
<xs:element name="AUTHOR">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX "/>
</xs:sequence>
<xs:attribute name="email" type=" EMAILTYPE "/>
</xs:complexType>
</xs:element>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element name="IMPORTS" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="IMPORT" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element ref=" SPEC "/>
</xs:sequence>
<xs:attribute name="label" type=" xs:NMTOKEN " use="required"/>
</xs:complexType>
</xs:element>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element name="USEDBY" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element ref=" SPEC "/>
</xs:sequence>
</xs:complexType>
</xs:element>
</xs:sequence>
<xs:attribute name="email" type=" EMAILTYPE "/>
</xs:complexType>
</xs:element>
<xs:element name="CHAPTER" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TITLE "/>
<xs:element name="INTRODUCTION">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " minOccurs="1" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element name="SECTION" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TITLE "/>
<xs:element name="INTRODUCTION" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " minOccurs="1" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element ref=" SUBSECTIONTYPE " minOccurs="0" maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="noNumber" type=" xs:boolean " use="optional" default="false"/>
</xs:complexType>
</xs:element>
</xs:sequence>
<xs:attribute name="noNumber" type=" xs:boolean " use="optional" default="false"/>
</xs:complexType>
</xs:element>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: SPEC

Name SPEC
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<SPEC
name=" xs:string [1]"
ruleVersion=" xs:string [1]">
<LOCATIONS> [1]
<LOCATION
value=" LOCATIONTYPE [1]"/> [1..*]
</LOCATIONS>
</SPEC>
Schema Component Representation
<xs:element name="SPEC">
<xs:complexType>
<xs:sequence>
<xs:element name="LOCATIONS">
<xs:complexType>
<xs:sequence>
<xs:element name="LOCATION" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="value" type=" LOCATIONTYPE " use="required"/>
</xs:complexType>
</xs:element>
</xs:sequence>
</xs:complexType>
</xs:element>
</xs:sequence>
<xs:attribute name="name" type=" xs:string " use="required"/>
<xs:attribute name="ruleVersion" type=" xs:string " use="required"/>
</xs:complexType>
</xs:element>
top

Element: SUBSECTION

  • This element can be used wherever the following element is referenced:
Name SUBSECTION
Type Locally-defined complex type
Nillable no
Abstract no
Documentation This a normal LaTeX subsection of a section.
XML Instance Representation
<SUBSECTION
label=" xs:NMTOKEN [0..1]"
level=" xs:string [0..1]">
<TITLE> ... </TITLE> [1] ?
<TEXT> [0..1] ?
<LATEX> ... </LATEX> [0..*]
</TEXT>
</SUBSECTION>
Schema Component Representation
<xs:element name="SUBSECTION" substitutionGroup="SUBSECTIONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TITLE "/>
<xs:element name="TEXT" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " minOccurs="0" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
</xs:sequence>
<xs:attribute name="label" type=" xs:NMTOKEN " use="optional"/>
<xs:attribute name="level" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

Element: SUBSECTIONTYPE

  • The following elements can be used wherever this element is referenced:
Name SUBSECTIONTYPE
Type anyType
Nillable no
Abstract yes
XML Instance Representation
<SUBSECTIONTYPE> ... </SUBSECTIONTYPE>
Schema Component Representation
<xs:element name="SUBSECTIONTYPE" abstract="true"/>
top

Element: TERM

Name TERM
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<TERM>
<TERMTYPE> ... </TERMTYPE> [1]
</TERM>
Schema Component Representation
<xs:element name="TERM">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TERMTYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: TERMTYPE

  • The following elements can be used wherever this element is referenced:
Name TERMTYPE
Type anyType
Nillable no
Abstract yes
XML Instance Representation
<TERMTYPE> ... </TERMTYPE>
Schema Component Representation
<xs:element name="TERMTYPE" abstract="true"/>
top

Element: THEOREM

  • This element can be used wherever the following element is referenced:
Name THEOREM
Type Locally-defined complex type
Nillable no
Abstract no
Documentation A theorem and it's proof.
XML Instance Representation
<THEOREM>
<FORMULA> ... </FORMULA> [1]
<PROOF
kind=" xs:NMTOKEN [1]"
level=" xs:string [1]"> [0..*]
<LATEX> ... </LATEX> [1..*]
</PROOF>
</THEOREM>
Schema Component Representation
<xs:element name="THEOREM" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULA "/>
<xs:element name="PROOF" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " minOccurs="1" maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="kind" type=" xs:NMTOKEN " use="required"/>
<xs:attribute name="level" type=" xs:string " use="required"/>
</xs:complexType>
</xs:element>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: TITLE

Name TITLE
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<TITLE>
<LATEX> ... </LATEX> [1..*]
</TITLE>
Schema Component Representation
<xs:element name="TITLE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: VAR

  • This element can be used wherever the following element is referenced:
Name VAR
Type Locally-defined complex type
Nillable no
Abstract no
XML Instance Representation
<VAR
id=" xs:string [1]"/>
Schema Component Representation
<xs:element name="VAR" substitutionGroup="TERMTYPE">
<xs:complexType>
<xs:attribute name="id" type=" xs:string " use="required"/>
</xs:complexType>
</xs:element>
top

Global Definitions

Simple Type: EMAILTYPE

Super-types: xs:token < EMAILTYPE (by restriction)
Sub-types: None
Name EMAILTYPE
Content
  • Base XSD Type: token
  • length >= 0
Documentation An email address.
Schema Component Representation
<xs:simpleType name="EMAILTYPE">
<xs:restriction base=" xs:token ">
<xs:minLength value="0"/>
<xs:maxLength value="100"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: LEVELTYPE

Super-types: xs:byte < LEVELTYPE (by restriction)
Sub-types: None
Name LEVELTYPE
Content
  • Base XSD Type: byte
Documentation Level information.
Schema Component Representation
<xs:simpleType name="LEVELTYPE">
<xs:restriction base=" xs:byte "/>
</xs:simpleType>
top

Simple Type: LOCATIONTYPE

Super-types: xs:anyURI < LOCATIONTYPE (by restriction)
Sub-types: None
Name LOCATIONTYPE
Content
  • Base XSD Type: anyURI
Documentation Location directory of module.
Schema Component Representation
<xs:simpleType name="LOCATIONTYPE">
<xs:restriction base=" xs:anyURI "/>
</xs:simpleType>
top

Legend

Complex Type:

Schema Component Type

AusAddress

Schema Component Name
Super-types: Address < AusAddress (by extension)
Sub-types:
  • QLDAddress (by restriction)
If this schema component is a type definition, its type hierarchy is shown in a gray-bordered box.
Name AusAddress
Abstract no
The table above displays the properties of this schema component.
XML Instance Representation
<... country="Australia" >
<unitNo> string </unitNo> [0..1]
<houseNo> string </houseNo> [1]
<street> string </street> [1]
Start Choice [1]
<city> string </city> [1]
<town> string </town> [1]
End Choice
<state> AusStates </state> [1]
<postcode> string <<pattern = [1-9][0-9]{3}>> </postcode> [1] ?
</...>

The XML Instance Representation table above shows the schema component's content as an XML instance.

Schema Component Representation
<complexType name="AusAddress">
<complexContent>
<extension base=" Address ">
<sequence>
<element name="state" type=" AusStates "/>
<element name="postcode">
<simpleType>
<restriction base=" string ">
<pattern value="[1-9][0-9]{3}"/>
</restriction>
</simpleType>
</element>
</sequence>
<attribute name="country" type=" string " fixed="Australia"/>
</extension>
</complexContent>
</complexType>
The Schema Component Representation table above displays the underlying XML representation of the schema component. (Annotations are not shown.)
top

Glossary

Abstract (Applies to complex type definitions and element declarations). An abstract element or complex type cannot used to validate an element instance. If there is a reference to an abstract element, only element declarations that can substitute the abstract element can be used to validate the instance. For references to abstract type definitions, only derived types can be used.

All Model Group Child elements can be provided in any order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-all.

Choice Model Group Only one from the list of child elements and model groups can be provided in instances. See: http://www.w3.org/TR/xmlschema-1/#element-choice.

Collapse Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32). Then, collapse contiguous sequences of space characters into single space character, and remove leading and trailing space characters.

Disallowed Substitutions (Applies to element declarations). If substitution is specified, then substitution group members cannot be used in place of the given element declaration to validate element instances. If derivation methods, e.g. extension, restriction, are specified, then the given element declaration will not validate element instances that have types derived from the element declaration's type using the specified derivation methods. Normally, element instances can override their declaration's type by specifying an xsi:type attribute.

Key Constraint Like Uniqueness Constraint, but additionally requires that the specified value(s) must be provided. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Key Reference Constraint Ensures that the specified value(s) must match value(s) from a Key Constraint or Uniqueness Constraint. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Model Group Groups together element content, specifying the order in which the element content can occur and the number of times the group of element content may be repeated. See: http://www.w3.org/TR/xmlschema-1/#Model_Groups.

Nillable (Applies to element declarations). If an element declaration is nillable, instances can use the xsi:nil attribute. The xsi:nil attribute is the boolean attribute, nil, from the http://www.w3.org/2001/XMLSchema-instance namespace. If an element instance has an xsi:nil attribute set to true, it can be left empty, even though its element declaration may have required content.

Notation A notation is used to identify the format of a piece of data. Values of elements and attributes that are of type, NOTATION, must come from the names of declared notations. See: http://www.w3.org/TR/xmlschema-1/#cNotation_Declarations.

Preserve Whitespace Policy Preserve whitespaces exactly as they appear in instances.

Prohibited Derivations (Applies to type definitions). Derivation methods that cannot be used to create sub-types from a given type definition.

Prohibited Substitutions (Applies to complex type definitions). Prevents sub-types that have been derived using the specified derivation methods from validating element instances in place of the given type definition.

Replace Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32).

Sequence Model Group Child elements and model groups must be provided in the specified order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-sequence.

Substitution Group Elements that are members of a substitution group can be used wherever the head element of the substitution group is referenced.

Substitution Group Exclusions (Applies to element declarations). Prohibits element declarations from nominating themselves as being able to substitute a given element declaration, if they have types that are derived from the original element's type using the specified derivation methods.

Target Namespace The target namespace identifies the namespace that components in this schema belongs to. If no target namespace is provided, then the schema components do not belong to any namespace.

Uniqueness Constraint Ensures uniqueness of an element/attribute value, or a combination of values, within a specified scope. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

top

Generated by xs3p. Last modified: