A structural decomposition for hypergraphsA Test for TractabilityClosure Properties of ConstraintsOn the algebraic structure of combinatorial problemsTractable constraints on ordered domains