Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner. Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings. Volume 4524 of Lecture Notes in Computer Science, pages 374-376, Springer, 2007. [doi]
Abstract is missing.