having - Post condition

The HAVING clause defines a post condition in terms of the view properties. The condition is defined as ODABA OSI condition, which applies on data type defined by SELECT attributes, when no grouping is defined. In case of grouping, the condition must be valid in the context of the GROUP data type.

Only instances from the view, which satisfy the HAVING condition, will be selected for the view.