A framework for automatic schema mapping verification through reasoning.

Paolo Cappellari, Denilson Barbosa, Paolo Atzeni

Browse the full ICDE paper archive.