Static analysis of XML transformation and schema languages

Abstract

XML (eXtensible Markup Language) is tijdens de laatste jaren ge¨evolueerd tot het standaard-dataformaat voor de uitwisseling van gegevens op het internet [ABS99]. De belangrijkste voordelen van XML zijn dat het een standaard- en intuitive manier voorziet om een zeer groot bereik aan gegevens te modelleren, en dat het gebruikers toelaat om hun eigen tags in documenten te defini¨eren. Dit laatste geeft gebruikers de mogelijkheid om een eigen formaat voor XML-documenten te ontwikkelen, hetwelk wordt gedefinieerd aan de hand van een XML-schema. De aanwezigheid van zo’n schema verbetert de effici¨entie van de automatisering van vele taken, zoals bijvoorbeeld het verwerken van query’s, query-optimalisatie en automatische data-integratie.