The Knowledge Based Systems Group cordially invites you to the following talk:
In data management, and in particular in data integration, data exchange, query optimization, and data privacy, the notion of view plays a central role. In several contexts, such as data integration, data mashups, and data warehousing, the need arises of designing views starting from a set of known correspondences between queries over different schemas. In this paper we deal with the issue of automating such a design process. We call this novel problem ``view synthesis from schema mappings'': given a set of schema mappings, each relating a query over a source schema to a query over a target schema, automatically synthesize for each source a view over the target schema in such a way that for each mapping, the query over the source is a rewriting of the query over the target wrt the synthesized views. We study view synthesis from schema mappings both in the relational
setting, where queries and views are (unions of) conjunctive queries, and in the semistructured data setting, where queries and views are (two-way)
regular path queries, as well as unions of conjunctions thereof. We provide techniques and complexity upper bounds for each of these cases.
Joint work with G. De Giacomo, M. Lenzerini, M.Y. Vardi
Diego Calvanese is associate professor at the KRDB Research Centre of the Faculty of Computer Science, Free University of Bozen-Bolzano, where he teaches graduate and undergraduate courses on theory of computing, formal languages, knowledge bases and databases, and information integration. His research interests include formalisms for knowledge representation and reasoning, ontology languages, Description Logics, conceptual data modeling, data integration, semistructured data management, and web service modeling and composition. He has been principal investigator or co-investigator in several national and international research projects, and he has been the coordinator of the EU STREP FET Project "Thinking ONtologiES" (TONES). He is the author of more than 200 refereed publications, including ones in the most prestigious international journals and conferences in the areas of databases and artificial intelligence. He is one of the editors of the "Description Logics Handbook".
With kind support of the Wolfgang-Pauli-Institute and the Center for Computer Science