A unified constraint model for XML