Relation Schema
The formal description of a relation, specifying its attributes and their data types within the relational model.
📜
The statement of the theorem
Define a relation schema as a tuple , where is the name of the -th attribute, and is the specified domain (set of allowed values) for that attribute. The set of all possible tuples for is the Cartesian product of the domains: .