A framework for automatic schema mapping verification through reasoning.

Paolo Cappellari Denilson Barbosa Paolo Atzeni

Published in: ICDE Workshops (2010)

Keyphrases

data exchange
schema mappings
database
data sets
object oriented
decision support
model checking
query answering