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