High-level Database Document Specifications Using XML