Schema mapping verification: the spicy way.

Angela Bonifati Giansalvatore Mecca Alessandro Pappalardo Salvatore Raunich Gianvito Summa

Published in: EDBT (2008)

Keyphrases

schema mappings
data exchange
data integration
database schema
query answering
high level specifications
model checking
data management
data complexity
xml schema
high level declarative
finite sets
xml data exchange
conjunctive queries
databases
np hard
data model
database