Database constraints

reduction of data redundancy

in database theory, a full constraint between two sets of attributes in a relation; requires that certain tuples be present in a relation, in contrast to functional dependency

decomposition of a database relation such that a natural join of the resulting relations yields back the original relation