Validating XML documents in the streaming model with external memory