Schema mapping verification: the spicy way.

Angela Bonifati, Giansalvatore Mecca, Alessandro Pappalardo, Salvatore Raunich, Gianvito Summa

Browse the full EDBT paper archive.