The domain constraint is an implicit constraint that every value in a tuple must be from the domain of its attribute.
Each value in a tuple must be from the domain of the attribute for that column. If , in relation state of then must be a value from the domain .