Validation and boolean operations for attribute-element constraints