Efficient constraint validation for updated XML databases