Simplifying XML schema: single-type approximations of regular tree languages

  • Authors:

  • Wouter Gelade;Tomasz Idziaszek;Wim Martens;Frank Neven

  • Affiliations:

  • Hasselt University and Transnational University of Limburg, Hasselt, Belgium;University of Warsaw, Warsaw, Poland;Technical University of Dortmund, Dortmund, Germany;Hasselt University and Transnational University of Limburg, Hasselt, Belgium

  • Venue:
  • Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

XML Schema Definitions (XSDs) can be adequately abstracted by the single-type regular tree languages. It is well-known, that these form a strict subclass of the robust class of regular unranked tree languages. Sadly, in this respect, XSDs are not closed under the basic operations of union and set difference, complicating important tasks in schema integration and evolution. The purpose of this paper is to investigate how the union and difference of two XSDs can be approximated within the framework of single-type regular tree languages. We consider both optimal lower and upper approximations. We also address the more general question of how to approximate an arbitrary regular tree language by an XSD and consider the complexity of associated decision problems.