having - Post condition

The HAVING clause defines a post condition in terms of the view properties. The condition is defined as ODABA OSI function, which may refer to properties defined in the view.

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