a state of a relation that requires that certain rules regarding relationships between attributes are satisfied
a state of a relation that requires that certain rules regarding relationships between attributes (or functional dependencies) are satisfied.
another term for a computational model.