Efficient Constraint Validation for Updated XML Database. INF 31 (3).