Relatore: dott. Paolo Papotti

martedì 3 luglio 2007, ore 12:30, aula 39 del Dipartimento di Matematica

Sommario: Many problems in information integration rely on specifications, called schema mappings, that model the relationships between schemas. Schema mappings are convenient abstractions for the runtime transformation of data and for rewriting of queries from one schema to another. Being able to automatically generate such mappings and then to automatically generate the necessary runtime artifacts based on mappings is a major step towards making heterogeneous information more readily accessible to human users and applications. In this talk I will give an overview of the Clio project at IBM Almaden. I will discuss how schema mappings arise and are used in Clio and I will describe the two major formalisms for schema mappings that have been considered at the core of Clio: first, the flat mappings, which are source-to-target constraints (or GLAV assertions, commonly used in data integration and exchange), and more recently, the nested mappings, which are an extension that allows (sub)mappings to be nested in the context of other mappings. I will overview our generation algorithms for mappings, under both formalisms, and show significant advantages of nested mappings in terms of specification power and flexibility.