Reasoning About XML Constraints Based on XML-to-Relational Mappings