Skip to content
  • Getting Started
  • HELP
  • Error Messages


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] }
Error example from the RAI Console

A solution to the above could be something like this:

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

See the IC concept guide and IC Reference to learn more about ICs.

Was this doc helpful?