A lazy-loading DOM implementation for processing huge XML documents