Filip Murlak Knihy

Focusing on the complexities of data exchange, this work explores how to effectively transform data from a source schema to a target schema while maintaining semantic consistency. It addresses both relational and XML contexts, highlighting key tasks such as schema mappings, target instance materialization, and query rewriting. Additionally, it delves into metadata management, examining operations like schema mapping composition and inverses. The discussion extends to XML-specific challenges, including consistency issues and the need for stricter mapping and query constraints for efficient data handling.

Provides a summary of the key developments of a decade of research into the area of data exchange.

This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011. The 48 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 129 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.