Constraint analysis of many-dimensional relations.