Journal of Universal Computer Science
The rapid growth of the World Wide Web has resulted in a dramatic increase in semi-structured data usage, creating a growing need for effective and efficient utilization of semi-structured data. In order to verify the correctness of semi-structured data design, precise descriptions of the schemas and transformations on the schemas must be established. One effective way to achieve this goal is through formal modeling and automated verification. This paper presents the first step towards this goal.