Error Code: NON FORMULA IC BODY

This guide presents the integrity constraint (IC) body error and describes how to fix it.

An integrity constraint ensures the integrity of the database, requiring that its relations and data obey the specified constraint. It should always be defined as a formula, which evaluates to true or false.

If this isn’t the case, a NON FORMULA IC BODY error is prompted. Consider the following example:

def R = {1, 2}
ic { R[1] }

One solution to the above is:

def R = {1, 2}
ic { R[1] > 0 }

See the Integrity Constraints concept guide and Integrity Constraints Reference for more details.