Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Tuple

A specific instance of a relation, consisting of a set of values for the attributes of the relation schema.
📜

The statement of the theorem

Let RR be a relation with schema Schema(R)=(A1,...,An)\text{Schema}(R) = (A_1, \text{...}, A_n). A tuple tt is an ordered nn-tuple of values, t=(v1,v2,...,vn)t = (v_1, v_2, \text{...}, v_n), such that for every i in [1,n]i \text{ } \text{in } [1, n], the value viv_i belongs to the domain Dom(Ai)\text{Dom}(A_i). Formally, t is an element of  Dom(A1)× ...× Dom(An)t \text{ } \text{is an element of } \text{ } \text{Dom}(A_1) \times \text{ } \text{...} \times \text{ } \text{Dom}(A_n).