Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Schemas for safe and efficient XML processing

Dario Colazzo 1, 2
1 OAK - Database optimizations and architectures for complex large data
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : This Habilitation Thesis manuscript presents main results obtained during my research activities carried out as Assistant Professor at Université Paris-Sud since 2005. At the beginning of this period the eXtensible Markup Language (XML) was already recognized as the de facto standard for representing semi-structured data. Also, XML acquired an important role in data exchange and data integration systems. During this period my research interests were in the intersection of database and programming languages, and focused on the use of type-based static analysis to ensure safe and efficient XML processing. In more detail, I focused on three research directions: i) type-projection for efficient main-memory XML processing, ii) checking correctness of schema-to-schema XML mappings in the context of data integration systems, and iii) efficient algorithms to check XML schema inclusion (a crucial property to type-check XML queries and updates). This Habilitation Thesis presents motivations, techniques and results obtained along these lines of research.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download
Contributor : Dario Colazzo <>
Submitted on : Saturday, September 24, 2011 - 12:18:29 AM
Last modification on : Thursday, June 17, 2021 - 3:49:50 AM
Long-term archiving on: : Sunday, December 25, 2011 - 2:20:16 AM


  • HAL Id : tel-00626227, version 1



Dario Colazzo. Schemas for safe and efficient XML processing. Other [cs.OH]. Université Paris Sud - Paris XI, 2011. ⟨tel-00626227⟩



Record views


Files downloads