an n-ary relation is interpreted, under the Closed-World Assumption, as the extension of some n-adic predicate: all and only those n-tuples whose values, substituted for corresponding free variables in the predicate, yield propositions that hold true, appear in the relation.

A heading paired with a set of constraints defined in terms of that heading is called a relation schema. A relation can thus be seen as an instantiation