XML Schema Boolean Type

Welcome to our deep dive into the world of XML Schema! Today, we're focusing on the Boolean type, a fundamental data type that plays a crucial role in XML data validation.

Before we jump in, let's quickly recap what XML Schema is all about:

XML Schema is a language for defining the structure, data types, and constraints of XML documents.
It helps ensure consistency and accuracy of data by defining rules that XML documents must follow.

Understanding the Boolean Type 💡

The Boolean type in XML Schema represents two possible values: true or false. It's often used to validate the presence or absence of certain conditions or data in an XML document.

Simple Examples 📝

To illustrate the Boolean type, let's consider a simple XML document that represents a user's subscription status:

xml

<user>
  <subscription>true</subscription>
</user>

In this example, the subscription element is of type Boolean, indicating that it can only contain the values true or false.

Here's an example of what an invalid XML document would look like:

xml

<user>
  <subscription>subscribed</subscription>
</user>

In the above example, the subscription element contains a string value subscribed, which is not a valid Boolean value. To fix this, we can modify the XML Schema as follows:

xml

<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema">
  <xsd:element name="user">
    <xsd:complexType>
      <xsd:sequence>
        <xsd:element name="subscription" type="xsd:boolean" />
      </xsd:sequence>
    </xsd:complexType>
  </xsd:element>
</xsd:schema>

With this XML Schema, the validator will reject any XML document with a subscription element containing anything other than true or false.

Advanced Boolean Examples 🎯

Now that we've covered the basics, let's explore some more advanced examples to showcase the power of the Boolean type.

Validating Presence and Absence

In some cases, you might want to ensure that an element is either present or absent. For this purpose, you can use the minOccurs and maxOccurs attributes in XML Schema:

xml

<xsd:element name="user" minOccurs="0" maxOccurs="1">
  <xsd:complexType>
    <xsd:sequence>
      <xsd:element name="subscription" type="xsd:boolean" minOccurs="0" maxOccurs="1" />
    </xsd:sequence>
  </xsd:complexType>
</xsd:element>

In this example, the user and subscription elements can either be present or absent in an XML document, but they cannot co-exist.

Boolean Conditional Checks

XML Schema allows you to perform conditional checks using the xsd:if and xsd:choose elements. These elements can help you create more complex validation rules based on the values of other elements.

For example, consider an XML document that represents a purchase order:

xml

<order>
  <product id="1">
    <name>Product A</name>
    <price>10.00</price>
    <quantity>2</quantity>
  </product>
  <product id="2">
    <name>Product B</name>
    <price>5.00</price>
    <quantity>3</quantity>
  </product>
</order>

In this case, we want to validate that the total price of the order is greater than 15. We can achieve this using the xsd:if element:

xml

<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema">
  <xsd:element name="order">
    <xsd:complexType>
      <xsd:sequence>
        <xsd:element name="product" maxOccurs="unbounded">
          <xsd:complexType>
            <xsd:sequence>
              <xsd:element name="name" type="xsd:string" />
              <xsd:element name="price" type="xsd:decimal" />
              <xsd:element name="quantity" type="xsd:nonNegativeInteger" />
            </xsd:sequence>
          </xsd:complexType>
        </xsd:element>
      </xsd:sequence>
      <xsd:attribute name="total" use="optional">
        <xsd:simpleType>
          <xsd:restriction base="xsd:decimal">
            <xsd:totalDigits value="15" />
          </xsd:restriction>
        </xsd:simpleType>
      </xsd:attribute>
    </xsd:complexType>
  </xsd:element>

  <xsd:element name="order" type="OrderType" />

  <xsd:complexType name="OrderType">
    <xsd:sequence>
      <xsd:element name="product" maxOccurs="unbounded">
        <xsd:complexType>
          <xsd:sequence>
            <xsd:element name="name" type="xsd:string" />
            <xsd:element name="price" type="xsd:decimal" />
            <xsd:element name="quantity" type="xsd:nonNegativeInteger" />
          </xsd:sequence>
        </xsd:complexType>
      </xsd:element>
    </xsd:sequence>
    <xsd:attribute name="total">
      <xsd:simpleType>
        <xsd:restriction base="xsd:decimal">
          <xsd:totalDigits value="15" />
        </xsd:restriction>
      </xsd:simpleType>
    </xsd:attribute>
    <xsd:assert test="sum(product[price]) > 15">
      The total price of the order must be greater than 15.
    </xsd:assert>
  </xsd:complexType>
</xsd:schema>

In this example, the xsd:assert element is used to validate that the total price of the order is greater than 15.