• Getting Started
• HELP
• Error Messages
• NON_FORMULA_IC_BODY

# Error code: NON_FORMULA_IC_BODY

This guide presents the integrity constraint (IC) body error and how to solve 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 is not the case, a NON_FORMULA_IC_BODY error is prompted. See the following example:

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

A solution to the above could be something like this:

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