r(R) , a set of tuples. Each tuple is an ordered list of values, corresponding with the domain of their attribute, and representing a fact. A
relation state is a subset of the Cartesian product of the domains defining the
relation schema.
read more >>