Applying Subschemas Conditionally

dependentRequired

The dependentRequired keyword conditionally requires that certain properties must be present if a given property is present in an object. For example, suppose we have a schema representing a customer. If you have their credit card number, you also want to ensure you have a billing address. If you don't have their credit card number, a billing address would not be required. We represent this dependency of one property on another using the dependentRequired keyword. The value of the dependentRequired keyword is an object. Each entry in the object maps from the name of a property, p, to an array of strings listing properties that are required if p is present.

In the following example, whenever a credit_card property is provided, a billing_address property must also be present:

schema

{ "type": "object",
"properties": { "name": { "type": "string" }, "credit_card": { "type": "number" }, "billing_address": { "type": "string" } },
"required": ["name"],
"dependentRequired": { "credit_card": ["billing_address"] }}

data

{ "name": "John Doe", "credit_card": 5555555555555555, "billing_address": "555 Debtor's Lane"}

compliant to schema

This instance has a credit_card, but it's missing a billing_address.

data

{ "name": "John Doe", "credit_card": 5555555555555555}

not compliant to schema

This is okay, since we have neither a credit_card, or a billing_address.

data

{ "name": "John Doe"}

compliant to schema

Note that dependencies are not bidirectional. It's okay to have a billing address without a credit card number.

data

{ "name": "John Doe", "billing_address": "555 Debtor's Lane"}

compliant to schema

To fix the last issue above (that dependencies are not bidirectional), you can, of course, define the bidirectional dependencies explicitly:

schema

{ "type": "object",
"properties": { "name": { "type": "string" }, "credit_card": { "type": "number" }, "billing_address": { "type": "string" } },
"required": ["name"],
"dependentRequired": { "credit_card": ["billing_address"], "billing_address": ["credit_card"] }}

This instance has a credit_card, but it's missing a billing_address.

data

{ "name": "John Doe", "credit_card": 5555555555555555}

not compliant to schema

This has a billing_address, but is missing a credit_card.

data

{ "name": "John Doe", "billing_address": "555 Debtor's Lane"}

not compliant to schema

Draft-specific info

Previously to Draft 2019-09, dependentRequired and dependentSchemas were one keyword called dependencies. If the dependency value was an array, it would behave like dependentRequired and if the dependency value was a schema, it would behave like dependentSchema.

dependentSchemas

The dependentSchemas keyword conditionally applies a subschema when a given property is present. This schema is applied in the same way allOf applies schemas. Nothing is merged or extended. Both schemas apply independently.

For example, here is another way to write the above:

schema

{ "type": "object", "properties": { "name": { "type": "string" }, "credit_card": { "type": "number" } }, "required": ["name"], "dependentSchemas": { "credit_card": { "properties": { "billing_address": { "type": "string" } }, "required": ["billing_address"] } }}

data

{ "name": "John Doe", "credit_card": 5555555555555555, "billing_address": "555 Debtor's Lane"}

compliant to schema

This instance has a credit_card, but it's missing a billing_address:

data

{ "name": "John Doe", "credit_card": 5555555555555555}

not compliant to schema

This has a billing_address, but is missing a credit_card. This passes, because here billing_address just looks like an additional property:

data

{ "name": "John Doe", "billing_address": "555 Debtor's Lane"}

compliant to schema

Draft-specific info

Previously to Draft 2019-09, dependentRequired and dependentSchemas were one keyword called dependencies. If the dependency value was an array, it would behave like dependentRequired and if the dependency value was a schema, it would behave like dependentSchema.

If-Then-Else

New in draft 7

The if, then and else keywords allow the application of a subschema based on the outcome of another schema, much like the if/then/else constructs you've probably seen in traditional programming languages.

If if is valid, then must also be valid (and else is ignored.) If if is invalid, else must also be valid (and then is ignored).

If then or else is not defined, if behaves as if they have a value of true.

If then and/or else appear in a schema without if, then and else are ignored.

We can put this in the form of a truth table, showing the combinations of when if, then, and else are valid and the resulting validity of the entire schema:

For example, let's say you wanted to write a schema to handle addresses in the United States and Canada. These countries have different postal code formats, and we want to select which format to validate against based on the country. If the address is in the United States, the postal_code field is a "zipcode": five numeric digits followed by an optional four digit suffix. If the address is in Canada, the postal_code field is a six digit alphanumeric string where letters and numbers alternate.

schema

{ "type": "object", "properties": { "street_address": { "type": "string" }, "country": { "default": "United States of America", "enum": ["United States of America", "Canada"] } }, "if": { "properties": { "country": { "const": "United States of America" } } }, "then": { "properties": { "postal_code": { "pattern": "[0-9]{5}(-[0-9]{4})?" } } }, "else": { "properties": { "postal_code": { "pattern": "[A-Z][0-9][A-Z] [0-9][A-Z][0-9]" } } }}

data

{ "street_address": "1600 Pennsylvania Avenue NW", "country": "United States of America", "postal_code": "20500"}

compliant to schema

data

{ "street_address": "1600 Pennsylvania Avenue NW", "postal_code": "20500"}

compliant to schema

data

{ "street_address": "24 Sussex Drive", "country": "Canada", "postal_code": "K1M 1M4"}

compliant to schema

data

{ "street_address": "24 Sussex Drive", "country": "Canada", "postal_code": "10000"}

not compliant to schema

data

{ "street_address": "1600 Pennsylvania Avenue NW", "postal_code": "K1M 1M4"}

not compliant to schema

Unfortunately, the approach above doesn't scale to more than two countries. You can, however, wrap pairs of if and then inside an allOf to create something that would scale. In this example, we'll use United States and Canadian postal codes, but also add Netherlands postal codes, which are 4 digits followed by two letters. It's left as an exercise to the reader to expand this to the remaining postal codes of the world.

schema

{ "type": "object", "properties": { "street_address": { "type": "string" }, "country": { "default": "United States of America", "enum": ["United States of America", "Canada", "Netherlands"] } }, "allOf": [ { "if": { "properties": { "country": { "const": "United States of America" } } }, "then": { "properties": { "postal_code": { "pattern": "[0-9]{5}(-[0-9]{4})?" } } } }, { "if": { "properties": { "country": { "const": "Canada" } }, "required": ["country"] }, "then": { "properties": { "postal_code": { "pattern": "[A-Z][0-9][A-Z] [0-9][A-Z][0-9]" } } } }, { "if": { "properties": { "country": { "const": "Netherlands" } }, "required": ["country"] }, "then": { "properties": { "postal_code": { "pattern": "[0-9]{4} [A-Z]{2}" } } } } ]}

data

{ "street_address": "1600 Pennsylvania Avenue NW", "country": "United States of America", "postal_code": "20500"}

compliant to schema

data

{ "street_address": "1600 Pennsylvania Avenue NW", "postal_code": "20500"}

compliant to schema

data

{ "street_address": "24 Sussex Drive", "country": "Canada", "postal_code": "K1M 1M4"}

compliant to schema

data

{ "street_address": "Adriaan Goekooplaan", "country": "Netherlands", "postal_code": "2517 JX"}

compliant to schema

data

{ "street_address": "24 Sussex Drive", "country": "Canada", "postal_code": "10000"}

not compliant to schema

data

{ "street_address": "1600 Pennsylvania Avenue NW", "postal_code": "K1M 1M4"}

not compliant to schema

Implication

Before Draft 7, you can express an "if-then" conditional using the Schema composition keywords and a boolean algebra concept called "implication". A -> B (pronounced, A implies B) means that if A is true, then B must also be true. It can be expressed as !A || B which can be expressed as a JSON Schema.

schema

{ "type": "object", "properties": { "restaurantType": { "enum": ["fast-food", "sit-down"] }, "total": { "type": "number" }, "tip": { "type": "number" } }, "anyOf": [ { "not": { "properties": { "restaurantType": { "const": "sit-down" } }, "required": ["restaurantType"] } }, { "required": ["tip"] } ]}

data

{ "restaurantType": "sit-down", "total": 16.99, "tip": 3.4}

compliant to schema

data

{ "restaurantType": "sit-down", "total": 16.99}

not compliant to schema

data

{ "restaurantType": "fast-food", "total": 6.99}

compliant to schema

data

{ "total": 5.25 }

compliant to schema

Variations of implication can be used to express the same things you can express with the if/then/else keywords. if/then can be expressed as A -> B, if/else can be expressed as !A -> B, and if/then/else can be expressed as A -> B AND !A -> C.