IS OF type Conditions

Use the IS OF type condition to test object instances based on their specific type information.

is_of_type_condition::=

Text description of is_of_type_condition

You must have EXECUTE privilege on all types referenced by type, and all types must belong to the same type family.

This condition evaluates to NULL if expr is null. If expr is not null, the condition evaluates to TRUE (or FALSE if you specify the NOT keyword) under either of these circumstances:

1. The most specific type of expr is the subtype of one of the types specified in the type list and you have not specified ONLY for the type, or

2. The most specific type of expr is explicitly specified in the type list.