See the implementation for Saxon: the expath-zip project.
BaseX supports the ZIP module out of the box.