I will talk about some joint work with Thomas Schwentick. We present a framework for specifying integrity constraints for XML documents, which covers many different approaches of the past. The complexity of the implication problem for these constraints varies from PTIME to undecidable depending on the exact formulation of the constraints.