Finitary relation

This is an old revision of this page, as edited by 132.177.4.58 (talk) at 22:56, 30 September 2005 (misspelling - "quarternary" should be "quaternary"). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, an n-ary relation (or n-place relation or often simply relation) is a generalization of binary relations such as "=" and "<" which occur in statements such as "5 < 6" or "2 + 2 = 4". It is the fundamental notion in the relational model for databases.

Definition

A relation over the sets X1, ..., Xn is an (n + 1)-tuple R=(X1, ..., Xn, G(R)) where G(R) is a subset of X1 × ... × Xn (the Cartesian product of these sets). If X=X1=X2=...=Xn, R is simply called a relation over X. G(R) is called the graph of R and, similar to the case of binary relations, R is often identified with its graph.

An n-ary predicate is a truth-valued function of n variables.

Remarks

Because a relation as above defines uniquely an n-ary predicate that holds for x1, ..., xn if (x1, ..., xn) is in G(R), and vice versa, the relation and the predicate are often denoted with the same symbol. So, for example, the following two statements are considered to be equivalent:

 
 

Relations are classified according to the number of sets in the Cartesian product; in other words the number of terms in the expression:

  • unary relation or property: R(x)
  • binary relation: R(x, y) or x R y
  • ternary relation: R(x, y, z)
  • quaternary relation: R(x, y, z, w)

Relations with more than 4 terms are usually called n-ary; for example "a 5-ary relation".

See also